GuessFinite(F)

mantepse.spad line 3802 [edit on github]

• F : Join(FiniteFieldCategory, ConvertibleTo(Integer))

This package exports guessing of sequences of numbers in a finite field

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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