GuessAlgebraicNumberΒΆ

mantepse.spad line 3913

This package exports guessing of sequences of rational functions

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

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

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

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

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

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

guess: List AlgebraicNumber -> List Expression Integer

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

guessADE: List AlgebraicNumber -> List Expression Integer

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

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

guessAlg: List AlgebraicNumber -> List Expression Integer

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

guessAlgDep: List List AlgebraicNumber -> List Expression Integer

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

guessBinRat: List AlgebraicNumber -> List Expression Integer

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

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

guessExpRat: List AlgebraicNumber -> List Expression Integer

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

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

guessFE: List AlgebraicNumber -> List Expression Integer

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

guessHolo: List AlgebraicNumber -> List Expression Integer

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

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

guessPade: List AlgebraicNumber -> List Expression Integer

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

guessPRec: List AlgebraicNumber -> List Expression Integer

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

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

guessRat: List AlgebraicNumber -> List Expression Integer

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

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

guessRec: List AlgebraicNumber -> List Expression Integer

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

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

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

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