GuessPolynomial(R)

mantepse.spad line 3881 [edit on github]

• R : Ring

This package exports guessing of sequences of rational functions

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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