mantepse.spad line 229

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

=: (%, %) -> Boolean
from BasicType
~=: (%, %) -> Boolean
from BasicType
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, ...
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
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.
Somos: List GuessOption -> Union(PositiveInteger, Boolean)
Somos returns whether we allow only Somos-like operators, default being false
variableName: List GuessOption -> Symbol
variableName returns the name of the variable used in by the algebraic differential equation, default being x


CoercibleTo OutputForm