GuessPolynomialInteger

mantepse.spad line 3890 [edit on github]

This package exports guessing of sequences of rational functions over the integers

algDepHP: (List List Fraction Polynomial Integer, List GuessOption) -> Record(degreeStream: Stream NonNegativeInteger, guessStream: UnivariateFormalPowerSeries Fraction Polynomial Integer -> Stream UnivariateFormalPowerSeries Fraction Polynomial Integer, guessModGen: NonNegativeInteger -> (List U32Vector, Integer, Integer) -> Vector U32Vector, testGen: List PositiveInteger -> UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger) -> Vector UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), exprStream: (Expression Integer, Symbol) -> Stream Expression Integer, kind: Symbol, qvar: Symbol, A: (NonNegativeInteger, NonNegativeInteger, SparseUnivariatePolynomial Polynomial Integer) -> Polynomial Integer, AF: (NonNegativeInteger, NonNegativeInteger, UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger)) -> SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), AX: (NonNegativeInteger, Symbol, Expression Integer) -> Expression Integer, C: NonNegativeInteger -> List Polynomial Integer)

diffHP: List GuessOption -> Record(degreeStream: Stream NonNegativeInteger, guessStream: UnivariateFormalPowerSeries Fraction Polynomial Integer -> Stream UnivariateFormalPowerSeries Fraction Polynomial Integer, guessModGen: NonNegativeInteger -> (List U32Vector, Integer, Integer) -> Vector U32Vector, testGen: List PositiveInteger -> UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger) -> Vector UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), exprStream: (Expression Integer, Symbol) -> Stream Expression Integer, kind: Symbol, qvar: Symbol, A: (NonNegativeInteger, NonNegativeInteger, SparseUnivariatePolynomial Polynomial Integer) -> Polynomial Integer, AF: (NonNegativeInteger, NonNegativeInteger, UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger)) -> SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), AX: (NonNegativeInteger, Symbol, Expression Integer) -> Expression Integer, C: NonNegativeInteger -> List Polynomial Integer)

diffHP: Symbol -> List GuessOption -> Record(degreeStream: Stream NonNegativeInteger, guessStream: UnivariateFormalPowerSeries Fraction Polynomial Integer -> Stream UnivariateFormalPowerSeries Fraction Polynomial Integer, guessModGen: NonNegativeInteger -> (List U32Vector, Integer, Integer) -> Vector U32Vector, testGen: List PositiveInteger -> UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger) -> Vector UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), exprStream: (Expression Integer, Symbol) -> Stream Expression Integer, kind: Symbol, qvar: Symbol, A: (NonNegativeInteger, NonNegativeInteger, SparseUnivariatePolynomial Polynomial Integer) -> Polynomial Integer, AF: (NonNegativeInteger, NonNegativeInteger, UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger)) -> SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), AX: (NonNegativeInteger, Symbol, Expression Integer) -> Expression Integer, C: NonNegativeInteger -> List Polynomial Integer)

guess: (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guess: (List Fraction Polynomial Integer, List((List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer), List Symbol) -> List Expression Integer

guess: (List Fraction Polynomial Integer, List((List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer), List Symbol, List GuessOption) -> List Expression Integer

guess: List Fraction Polynomial Integer -> List Expression Integer

guessADE: (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessADE: List Fraction Polynomial Integer -> List Expression Integer

guessADE: Symbol -> (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessAlg: (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessAlg: List Fraction Polynomial Integer -> List Expression Integer

guessAlgDep: (List List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessAlgDep: List List Fraction Polynomial Integer -> List Expression Integer

guessBinRat: (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessBinRat: List Fraction Polynomial Integer -> List Expression Integer

guessBinRat: Symbol -> (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessExpRat: (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessExpRat: List Fraction Polynomial Integer -> List Expression Integer

guessExpRat: Symbol -> (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessFE: (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessFE: List Fraction Polynomial Integer -> List Expression Integer

guessHolo: (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessHolo: List Fraction Polynomial Integer -> List Expression Integer

guessHolo: Symbol -> (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessPade: (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessPade: List Fraction Polynomial Integer -> List Expression Integer

guessPRec: (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessPRec: List Fraction Polynomial Integer -> List Expression Integer

guessPRec: Symbol -> (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessRat: (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessRat: List Fraction Polynomial Integer -> List Expression Integer

guessRat: Symbol -> (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessRec: (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

guessRec: List Fraction Polynomial Integer -> List Expression Integer

guessRec: Symbol -> (List Fraction Polynomial Integer, List GuessOption) -> List Expression Integer

shiftHP: List GuessOption -> Record(degreeStream: Stream NonNegativeInteger, guessStream: UnivariateFormalPowerSeries Fraction Polynomial Integer -> Stream UnivariateFormalPowerSeries Fraction Polynomial Integer, guessModGen: NonNegativeInteger -> (List U32Vector, Integer, Integer) -> Vector U32Vector, testGen: List PositiveInteger -> UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger) -> Vector UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), exprStream: (Expression Integer, Symbol) -> Stream Expression Integer, kind: Symbol, qvar: Symbol, A: (NonNegativeInteger, NonNegativeInteger, SparseUnivariatePolynomial Polynomial Integer) -> Polynomial Integer, AF: (NonNegativeInteger, NonNegativeInteger, UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger)) -> SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), AX: (NonNegativeInteger, Symbol, Expression Integer) -> Expression Integer, C: NonNegativeInteger -> List Polynomial Integer)

shiftHP: Symbol -> List GuessOption -> Record(degreeStream: Stream NonNegativeInteger, guessStream: UnivariateFormalPowerSeries Fraction Polynomial Integer -> Stream UnivariateFormalPowerSeries Fraction Polynomial Integer, guessModGen: NonNegativeInteger -> (List U32Vector, Integer, Integer) -> Vector U32Vector, testGen: List PositiveInteger -> UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger) -> Vector UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), exprStream: (Expression Integer, Symbol) -> Stream Expression Integer, kind: Symbol, qvar: Symbol, A: (NonNegativeInteger, NonNegativeInteger, SparseUnivariatePolynomial Polynomial Integer) -> Polynomial Integer, AF: (NonNegativeInteger, NonNegativeInteger, UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger)) -> SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), AX: (NonNegativeInteger, Symbol, Expression Integer) -> Expression Integer, C: NonNegativeInteger -> List Polynomial Integer)

substHP: List GuessOption -> Record(degreeStream: Stream NonNegativeInteger, guessStream: UnivariateFormalPowerSeries Fraction Polynomial Integer -> Stream UnivariateFormalPowerSeries Fraction Polynomial Integer, guessModGen: NonNegativeInteger -> (List U32Vector, Integer, Integer) -> Vector U32Vector, testGen: List PositiveInteger -> UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger) -> Vector UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), exprStream: (Expression Integer, Symbol) -> Stream Expression Integer, kind: Symbol, qvar: Symbol, A: (NonNegativeInteger, NonNegativeInteger, SparseUnivariatePolynomial Polynomial Integer) -> Polynomial Integer, AF: (NonNegativeInteger, NonNegativeInteger, UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger)) -> SparseMultivariatePolynomial(Fraction Polynomial Integer, NonNegativeInteger), AX: (NonNegativeInteger, Symbol, Expression Integer) -> Expression Integer, C: NonNegativeInteger -> List Polynomial Integer)