GuessFinite FΒΆ

mantepse.spad line 3802 [edit on github]

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

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

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

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

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

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

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

guess: List F -> List Expression Integer

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

guessADE: List F -> List Expression Integer

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

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

guessAlg: List F -> List Expression Integer

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

guessAlgDep: List List F -> List Expression Integer

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

guessBinRat: List F -> List Expression Integer

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

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

guessExpRat: List F -> List Expression Integer

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

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

guessFE: List F -> List Expression Integer

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

guessHolo: List F -> List Expression Integer

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

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

guessPade: List F -> List Expression Integer

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

guessPRec: List F -> List Expression Integer

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

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

guessRat: List F -> List Expression Integer

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

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

guessRec: List F -> List Expression Integer

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

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

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

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