|
3.19 option
Syntax:
option ()
Type:
- string
Purpose:
- lists all defined options.
Syntax:
option ( option_name )
Type:
- none
Purpose:
- sets an option.
Note:
- To disable an option, use the prefix
no .
Syntax:
option ( get )
Type:
- intvec
Purpose:
- dumps the state of all options to an intvec.
Syntax:
option ( set, intvec_expression )
Type:
- none
Purpose:
- restores the state of all options from an intvec (produced by
option(get) ).
Values:
- The following options are used to manipulate the behavior of
computations and act like boolean switches. Use the prefix
no to
disable an option. Notice that some options are ring dependent and reset
to their default values on a change of the current basering.
prot
-
shows protocol information indicating the
progress during the following computations:
mres ,
minres ,
res ,
std ,
syz .
redSB
-
computes a reduced Groebner basis in any related computation.
redTail
-
reduction of the tails of polynomials during Groebner basis
computations. This option is ring dependent. By default, it is set for
rings with global degree orderings and not set for all other rings.
The following options, which also control computations, are special,
since they are not manipulated by the option command but by a
direct assignment of a value. Reset the option by assigning the value 0;
the command option(none) will not reset them! If there is a
non-zero value assigned, the command option() prints the option.
The last set of options controls the output of PLURAL:
mem
-
shows memory usage in square brackets (see memory).
The output reported on option(prot) has the following meaning:
| | | |
| mres |
[
 ]
| computations of the
-th syzygy module
|
| | | all other characters: like the output of std |
| | | |
| minres |
[
 ]
| minimizing of the
-th syzygy module
|
| | | |
| reduce |
r | reduced a leading term
|
| | | |
| std |
[
 :
 ]
| internal ring change to poly representation with exponent bound
and
words in exponent vector
|
| | | |
| syz | | all characters: like the output of std |
See
std.
|