Functions with optional argument named toGroebner :
biBasis(...,toGroebner=>...) -- see biBasis -- constructs a reduced Boolean Gröbner basis for the given Ideal, if the second argument is true (default), and reduced Boolean Pommaret basis otherwise.
For the programmer
The object toGroebner (missing documentation)
is a symbol.