ModularHermitePadeSolver(F, S)

modhpsol.spad line 1586 [edit on github]

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

HP_solve : (List(List(F)), List(Integer), Symbol, Symbol, NonNegativeInteger, Mapping(Vector(U32Vector), List(U32Vector), Integer, Integer), Mapping(Union("good", "reject", "no_solution"), List(SparseUnivariatePolynomial(S)))) -> 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

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

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.