up previous next
set and unset panel options
Set O
Set O := B:BOOL
UnSet O
where O is a panel option.
|
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
.
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
MakeSet
which takes a list
obtained by removing duplicate elements. The search key for that
function in online help is
MakeSet
and the search key for the present
command is
Unset
.