Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

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.