Top
Back: opposite
Forward: preimage
FastBack: Functions
FastForward: Mathematical background
Up: Functions
Top: Plural Manual
Contents: Table of Contents
Index: Index
About: About this document

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 [ $d$] computations of the $d$-th syzygy module
all other characters: like the output of std
minres [ $d$] minimizing of the $d$-th syzygy module
reduce r reduced a leading term
std [ $m$: $n$] internal ring change to poly representation with exponent bound $m$ and $n$ words in exponent vector
syz all characters: like the output of std

See std.


Top Back: opposite Forward: preimage FastBack: Functions FastForward: Mathematical background Up: Functions Top: Plural Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-1-99, August 2004, generated by texi2html.