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 : Mapping(Stream(UnivariateFormalPowerSeries(Fraction(Polynomial(Integer)))), UnivariateFormalPowerSeries(Fraction(Polynomial(Integer)))), guessModGen : Mapping(Mapping(Vector(U32Vector), List(U32Vector), Integer, Integer), NonNegativeInteger), testGen : Mapping(Mapping(Vector(UnivariateFormalPowerSeries(SparseMultivariatePolynomial(Fraction(Polynomial(Integer)), NonNegativeInteger))), UnivariateFormalPowerSeries(SparseMultivariatePolynomial(Fraction(Polynomial(Integer)), NonNegativeInteger))), List(PositiveInteger)), exprStream : Mapping(Stream(Expression(Integer)), Expression(Integer), Symbol), kind : Symbol, qvar : Symbol, A : Mapping(Polynomial(Integer), NonNegativeInteger, NonNegativeInteger, SparseUnivariatePolynomial(Polynomial(Integer))), AF : Mapping(SparseMultivariatePolynomial(Fraction(Polynomial(Integer)), NonNegativeInteger), NonNegativeInteger, NonNegativeInteger, UnivariateFormalPowerSeries(SparseMultivariatePolynomial(Fraction(Polynomial(Integer)), NonNegativeInteger))), AX : Mapping(Expression(Integer), NonNegativeInteger, Symbol, Expression(Integer)), C : Mapping(List(Polynomial(Integer)), NonNegativeInteger))

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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