BIBasis : Index
- BIBasis -- Involutive Pommaret basis in a Boolean ring
- 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.
- biBasis(..., toGroebner => ...) -- constructs a reduced Boolean Gröbner basis for the given Ideal, if the second argument is true (default), and reduced Boolean Pommaret basis otherwise.
- biBasis(Ideal) -- constructs a reduced Boolean Gröbner basis for the given Ideal, if the second argument is true (default), and reduced Boolean Pommaret basis otherwise.
- toGroebner (missing documentation)