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.