previous
next
|
Set, Unset
|
|
Syntax
|
Set O
Set O := B:BOOL
UnSet O
where O is a panel option.
|
Summary
|
set and unset panel options
|
Description
|
The command 'Set' in its first form sets a panel option to TRUE.
The command 'UnSet' sets a panel option to FALSE. The command 'Set'
in the second-listed form can be used to set an option to TRUE or
FALSE. A list of panels is returned by 'Panels()', and a list of
panel options for a panel with name P is printed by 'Panel(P)'. The
current status of an option is returned by 'Option'.
|
Example
|
Panel(GROEBNER);
Sugar........... : TRUE
FullRed......... : TRUE
SingleStepRed... : FALSE
Verbose......... : FALSE
-------------------------------
Set Verbose;
UnSet Sugar;
Set FullRed := FALSE;
Panel(GROEBNER);
Sugar........... : FALSE
FullRed......... : FALSE
SingleStepRed... : FALSE
Verbose......... : TRUE
-------------------------------
NOTE: there is also a function called 'Set' which takes a list
obtained by removing duplicate elements. The search key for that
function in online help is 'Set' and the search key for the present
command is 'Set, Unset'.
|
See also:
|
|