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)