Macaulay2 » Documentation
Packages » NumericSolutions :: NumericSolutions
next | previous | forward | backward | up | index | toc

NumericSolutions -- solving systems of polynomial equalities


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).



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.


  • Functions and commands
  • 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.