GuessOptionFunctions0¶

mantepse.spad line 229 [edit on github]

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, …

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