InnerNumericFloatSolvePackage(K, F, Par)¶
This is an internal package for computing approximate solutions to systems of polynomial equations. The parameter
K specifies the coefficient field of the input polynomials and must be either
Complex(Fraction Integer). The parameter
F specifies where the solutions must lie and can be one of the following:
Complex(Fraction Integer). The last parameter specifies the type of the precision operand and must be either
- innerSolve1: (Polynomial K, Par) -> List F
innerSolve1(p, eps)returns the list of the zeros of the polynomial
pwith precision eps.
- innerSolve1: (SparseUnivariatePolynomial K, Par) -> List F
innerSolve1(up, eps)returns the list of the zeros of the univariate polynomial
upwith precision eps.
- innerSolve: (List Polynomial K, List Polynomial K, List Symbol, Par) -> List List F
innerSolve(lnum, lden, lvar, eps)returns a list of solutions of the system of polynomials
lnum, with the side condition that none of the members of
ldenvanish identically on any solution. Each solution is expressed as a list corresponding to the list of variables in
lvarand with precision specified by eps.