GuessExpBin(F, S, EXPRR, retract, coerce)

mantepse.spad line 494 [edit on github]

• F : Join(Field, PolynomialFactorizationExplicit)
• S : GcdDomain
• EXPRR : JoinFunctionSpace(Integer), IntegralDomain, RetractableTo(Symbol), RetractableTo(Integer), CombinatorialOpsCategory, PartialDifferentialRing(Symbol)) with

  * : (%, %) -> %

  / : (%, %) -> %

  ^ : (%, %) -> %

  numerator : % -> %

  denominator : % -> %

  ground? : % -> Boolean

• retract : Mapping(F, EXPRR)
• coerce : Mapping(EXPRR, F)

This package implements guessing GuessExpRat and GuessBinRat functions of guessing package.

guessBinRat : (List(F), List(GuessOption)) -> List(EXPRR)

guessBinRat(l, options) tries to find a function of the form n+->binomial(a+b n, n) r(n), where r(n) is a rational function, that fits l.

guessBinRat : Symbol -> Mapping(List(EXPRR), List(F), List(GuessOption)) if F has RetractableTo(Symbol) and S has RetractableTo(Symbol)

guessBinRat q returns a guesser that tries to find a function of the form n+->qbinomial(a+b n, n) r(n), where r(q^n) is a q-rational function, that fits l.

guessExpRat : (List(F), List(GuessOption)) -> List(EXPRR)

guessExpRat(l, options) tries to find a function of the form n+->(a+b n)^n r(n), where r(n) is a rational function, that fits l.

guessExpRat : Symbol -> Mapping(List(EXPRR), List(F), List(GuessOption)) if F has RetractableTo(Symbol) and S has RetractableTo(Symbol)

guessExpRat q returns a guesser that tries to find a function of the form n+->(a+b q^n)^n r(q^n), where r(q^n) is a q-rational function, that fits l.