Unset

Unset

set and unset panel options

Syntax


Set O
Set O := B:BOOL
UnSet O

where O is a panel option.

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 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.

See Also