NewFilter( name )
NewFilter( name, rank )
NewFilter returns a simple filter with name name
(see Other Filters in the Reference Manual).
The optional second argument rank denotes the incremental rank
(see Filters in the Reference Manual) of the filter,
the default value is 1.
In order to change the value of filt for an object obj, one can use logical implications (see Logical Implications) or the functions
SetFilterObj( obj, filt )
ResetFilterObj( obj, filt )
SetFilterObj sets the value of filt (and of all filters implied by
filt) for obj to true,
ResetFilterObj sets the value of filt for obj to false (but implied
filters of filt are not touched. This might create inconsistent situations
if applied carelessly).
The default value of filt for each object is false.
[Top] [Previous] [Up] [Next] [Index]
GAP 4 manual