Revision history [back]

f.set().vars()//f.lm() works.

Note that a "boolean" polynomial ring is not a polynomial ring in the usual sense of the word: it has many zero-divisors, so division is generally a tricky operation, and it is indeed not implemented. The division above is on monomials.