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: UnivariateFormalPowerSeries Fraction Integer -> Stream UnivariateFormalPowerSeries Fraction Integer, guessModGen: NonNegativeInteger -> (List U32Vector, Integer, Integer) -> Vector U32Vector, testGen: List PositiveInteger -> UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Integer, NonNegativeInteger) -> Vector UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Integer, NonNegativeInteger), exprStream: (Expression Integer, Symbol) -> Stream Expression Integer, kind: Symbol, qvar: Symbol, A: (NonNegativeInteger, NonNegativeInteger, SparseUnivariatePolynomial Integer) -> Integer, AF: (NonNegativeInteger, NonNegativeInteger, UnivariateFormalPowerSeries SparseMultivariatePolynomial(Fraction Integer, NonNegativeInteger)) -> SparseMultivariatePolynomial(Fraction Integer, NonNegativeInteger), AX: (NonNegativeInteger, Symbol, Expression Integer) -> Expression Integer, C: NonNegativeInteger -> List Integer)

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

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

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

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

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

guess: List Fraction Integer -> List Expression Integer

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

guessADE: List Fraction Integer -> List Expression Integer

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

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

guessAlg: List Fraction Integer -> List Expression Integer

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

guessAlgDep: List List Fraction Integer -> List Expression Integer

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

guessBinRat: List Fraction Integer -> List Expression Integer

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

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

guessExpRat: List Fraction Integer -> List Expression Integer

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

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

guessFE: List Fraction Integer -> List Expression Integer

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

guessHolo: List Fraction Integer -> List Expression Integer

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

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

guessPade: List Fraction Integer -> List Expression Integer

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

guessPRec: List Fraction Integer -> List Expression Integer

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

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

guessRat: List Fraction Integer -> List Expression Integer

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

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

guessRec: List Fraction Integer -> List Expression Integer

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

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

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

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