GuessOptionFunctions0

mantepse.spad line 229 [edit on github]

GuessOptionFunctions0 provides operations that extract the values of options for Guess.

= : (%, %) -> Boolean: from BasicType

Somos : List(GuessOption) -> Union(PositiveInteger, Boolean): Somos returns whether we allow only Somos-like operators, default being false

allDegrees : List(GuessOption) -> Boolean: allDegrees returns whether all possibilities of the degree vector should be tried, the default being false.

check : List(GuessOption) -> Union("skip", "MonteCarlo", "deterministic"): check(d) specifies how we want to check the solution. If the value is "skip", we return the solutions found by the interpolation routine without checking. If the value is "MonteCarlo", we use a probabilistic check. The default is "deterministic".

checkExtraValues : List(GuessOption) -> Boolean: checkExtraValues(d) specifies whether we want to check the solution beyond the order given by the degree bounds. The default is true.

checkOptions : List(GuessOption) -> Void: checkOptions checks whether the given options are consistent, and yields an error otherwise

coerce : % -> OutputForm: from CoercibleTo(OutputForm)

debug : List(GuessOption) -> Boolean: debug returns whether we want additional output on the progress, default being false

displayKind : List(GuessOption) -> Symbol: displayKind(d) specifies kind of the result: generating function, recurrence or equation. This option should not be set by the user, but rather by the HP-specification.

functionName : List(GuessOption) -> Symbol: functionName returns the name of the function given by the algebraic differential equation, default being f

functionNames : List(GuessOption) -> List(Symbol): functionNames returns the names for the function in the algebraic dependence, default being %f1, %f2, ...

homogeneous : List(GuessOption) -> Union(PositiveInteger, Boolean): homogeneous returns whether we allow only homogeneous algebraic differential equations, default being false

indexName : List(GuessOption) -> Symbol: indexName returns the name of the index variable used for the formulas, default being n

latex : % -> String: from SetCategory

maxDegree : List(GuessOption) -> Union(NonNegativeInteger, "arbitrary"): maxDegree returns the specified maxDegree.

maxDerivative : List(GuessOption) -> Union(NonNegativeInteger, "arbitrary"): maxDerivative returns the specified maxDerivative.

maxLevel : List(GuessOption) -> Union(NonNegativeInteger, "arbitrary"): maxLevel returns the specified maxLevel.

maxMixedDegree : List(GuessOption) -> NonNegativeInteger: maxMixedDegree returns the specified maxMixedDegree.

maxPower : List(GuessOption) -> Union(PositiveInteger, "arbitrary"): maxPower returns the specified maxPower.

maxShift : List(GuessOption) -> Union(NonNegativeInteger, "arbitrary"): maxShift returns the specified maxShift.

maxSubst : List(GuessOption) -> Union(PositiveInteger, "arbitrary"): maxSubst returns the specified maxSubst.

one : List(GuessOption) -> Boolean: one returns whether we need only one solution, default being true.

safety : List(GuessOption) -> NonNegativeInteger: safety returns the specified safety or 1 as default.

variableName : List(GuessOption) -> Symbol: variableName returns the name of the variable used in by the algebraic differential equation, default being x

~= : (%, %) -> Boolean: from BasicType

CoercibleTo(OutputForm)