import scas.base.Boolean
import scas.power.Lexicographic
import scas.polynomial.tree.BooleanPolynomial
import Boolean.given

val r = BooleanPolynomial("x")
val x = r.generators
import r.given

assert ((x ^  ><  ^ x).isUnit)
assert (r == Booleanx)