ModularHermitePadeSolver(F, S)ΒΆ

modhpsol.spad line 1584 [edit on github]

This package provides generic interface to modular Hermite-Pade solver.

gen_Monte_Carlo_check: (List SparseUnivariatePolynomial S -> Union(good, reject, no_solution), List List F, Symbol, Symbol, NonNegativeInteger, (List U32Vector, Integer, Integer) -> Vector U32Vector) -> List SparseUnivariatePolynomial S -> Union(good, reject, no_solution)

gen_Monte_Carlo_check(check, l, kind, qvar, sigma, gen) returns Monte Carlo check for solutions to guessing problem. If Monte Carlo check is unavailable returns check.

HP_solve: (List List F, List Integer, Symbol, Symbol, NonNegativeInteger, (List U32Vector, Integer, Integer) -> Vector U32Vector, List SparseUnivariatePolynomial S -> Union(good, reject, no_solution)) -> Union(Matrix SparseUnivariatePolynomial S, Boolean)

HP_solve(l, degs, kind, sigma, gen check) finds a sigma basis with degree bounds given by degs. It returns false if there is no interpolating vector that is correct up to (and including) z^(sigma-1) with sigma >= |degs+[1, 1, ..., 1]| or if check rejects all solutions. It returns true if it can not handle given problem.

LLF_to_LPA: (List List F, Integer, List Symbol, List Integer, Integer) -> Union(List U32Vector, failed)

modular reduction

VSUPS_to_VPA: (Vector SparseUnivariatePolynomial S, List Symbol, List Integer, Integer) -> Vector U32Vector

modular reduction