GuessPolynomial RΒΆ

mantepse.spad line 3897

This package exports guessing of sequences of rational functions

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

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

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

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

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

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

guess: List Fraction Polynomial R -> List Expression Integer

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

guessADE: List Fraction Polynomial R -> List Expression Integer

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

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

guessAlg: List Fraction Polynomial R -> List Expression Integer

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

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

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

guessBinRat: List Fraction Polynomial R -> List Expression Integer

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

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

guessExpRat: List Fraction Polynomial R -> List Expression Integer

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

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

guessFE: List Fraction Polynomial R -> List Expression Integer

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

guessHolo: List Fraction Polynomial R -> List Expression Integer

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

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

guessPade: List Fraction Polynomial R -> List Expression Integer

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

guessPRec: List Fraction Polynomial R -> List Expression Integer

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

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

guessRat: List Fraction Polynomial R -> List Expression Integer

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

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

guessRec: List Fraction Polynomial R -> List Expression Integer

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

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

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

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