NumericSolutions -- solving systems of polynomial equalities

Description

NumericSolutions is a package for solving systems of polynomial equalities. It is used to compute the points in the affine variety V(I) of a zero dimensional ideal I. Note that this package can be used only to compute the solution to a system of polynomial equalities having a finite number of solutions (i.e., it can be used only if the ideal I is zero dimensional).

Authors

Laura Menini <[email protected]>
Corrado Possieri <[email protected]>
Antonio Tornambe <[email protected]>

Version

This documentation describes version 1.0 of NumericSolutions.

Source code

The source code from which this documentation is derived is in the file NumericSolutions.m2.

Exports

Functions and commands
- compMatr -- companion matrix
- jordanForm -- Jordan canonical form
- solveSystem -- solutions to a system of equalities
- traceForm -- trace matrix of an ideal
Methods
- "compMatr(Ideal,RingElement)" -- see compMatr -- companion matrix
- "jordanForm(Matrix)" -- see jordanForm -- Jordan canonical form
- "solveSystem(Ideal)" -- see solveSystem -- solutions to a system of equalities
- "traceForm(Ideal)" -- see traceForm -- trace matrix of an ideal
Symbols
- Tolerance (missing documentation)

For the programmer

The object NumericSolutions is a package.