GuessInteger

mantepse.spad line 3774 [edit on github]

This package exports guessing of sequences of rational numbers

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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