GuessAlgebraicNumber

mantepse.spad line 3897 [edit on github]

This package exports guessing of sequences of rational functions

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

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

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

guess : List(AlgebraicNumber) -> List(Expression(Integer))

guess : (List(AlgebraicNumber), List(GuessOption)) -> List(Expression(Integer))

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

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

guessADE : List(AlgebraicNumber) -> List(Expression(Integer))

guessADE : (List(AlgebraicNumber), List(GuessOption)) -> List(Expression(Integer))

guessADE : Symbol -> Mapping(List(Expression(Integer)), List(AlgebraicNumber), List(GuessOption)) if AlgebraicNumber has RetractableTo(Symbol)

guessAlg : List(AlgebraicNumber) -> List(Expression(Integer))

guessAlg : (List(AlgebraicNumber), List(GuessOption)) -> List(Expression(Integer))

guessAlgDep : List(List(AlgebraicNumber)) -> List(Expression(Integer))

guessAlgDep : (List(List(AlgebraicNumber)), List(GuessOption)) -> List(Expression(Integer))

guessBinRat : List(AlgebraicNumber) -> List(Expression(Integer))

guessBinRat : (List(AlgebraicNumber), List(GuessOption)) -> List(Expression(Integer))

guessBinRat : Symbol -> Mapping(List(Expression(Integer)), List(AlgebraicNumber), List(GuessOption)) if AlgebraicNumber has RetractableTo(Symbol)

guessExpRat : List(AlgebraicNumber) -> List(Expression(Integer))

guessExpRat : (List(AlgebraicNumber), List(GuessOption)) -> List(Expression(Integer))

guessExpRat : Symbol -> Mapping(List(Expression(Integer)), List(AlgebraicNumber), List(GuessOption)) if AlgebraicNumber has RetractableTo(Symbol)

guessFE : List(AlgebraicNumber) -> List(Expression(Integer))

guessFE : (List(AlgebraicNumber), List(GuessOption)) -> List(Expression(Integer))

guessHolo : List(AlgebraicNumber) -> List(Expression(Integer))

guessHolo : (List(AlgebraicNumber), List(GuessOption)) -> List(Expression(Integer))

guessHolo : Symbol -> Mapping(List(Expression(Integer)), List(AlgebraicNumber), List(GuessOption)) if AlgebraicNumber has RetractableTo(Symbol)

guessPRec : List(AlgebraicNumber) -> List(Expression(Integer))

guessPRec : (List(AlgebraicNumber), List(GuessOption)) -> List(Expression(Integer))

guessPRec : Symbol -> Mapping(List(Expression(Integer)), List(AlgebraicNumber), List(GuessOption)) if AlgebraicNumber has RetractableTo(Symbol)

guessPade : List(AlgebraicNumber) -> List(Expression(Integer))

guessPade : (List(AlgebraicNumber), List(GuessOption)) -> List(Expression(Integer))

guessRat : List(AlgebraicNumber) -> List(Expression(Integer))

guessRat : (List(AlgebraicNumber), List(GuessOption)) -> List(Expression(Integer))

guessRat : Symbol -> Mapping(List(Expression(Integer)), List(AlgebraicNumber), List(GuessOption)) if AlgebraicNumber has RetractableTo(Symbol)

guessRec : List(AlgebraicNumber) -> List(Expression(Integer))

guessRec : (List(AlgebraicNumber), List(GuessOption)) -> List(Expression(Integer))

guessRec : Symbol -> Mapping(List(Expression(Integer)), List(AlgebraicNumber), List(GuessOption)) if AlgebraicNumber has RetractableTo(Symbol)

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

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

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