InnerNumericFloatSolvePackage(K, F, Par)¶

K: GcdDomain
F: Field
Par: Join(Field, OrderedRing)

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 Fraction(Integer) or Complex(Fraction Integer). The parameter F specifies where the solutions must lie and can be one of the following: Float, Fraction(Integer), Complex(Float), Complex(Fraction Integer). The last parameter specifies the type of the precision operand and must be either Fraction(Integer) or Float.

innerSolve1: (Polynomial K, Par) -> List F: innerSolve1(p, eps) returns the list of the zeros of the polynomial p with precision eps.

innerSolve1: (SparseUnivariatePolynomial K, Par) -> List F: innerSolve1(up, eps) returns the list of the zeros of the univariate polynomial up with 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 lden vanish identically on any solution. Each solution is expressed as a list corresponding to the list of variables in lvar and with precision specified by eps.

makeEq: (List F, List Symbol) -> List Equation Polynomial F: makeEq(lsol, lvar) returns a list of equations formed by corresponding members of lvar and lsol.