import scas.base.{, ModInteger}
import scas.power.Lexicographic
import scas.polynomial.tree.Polynomial
import .given

val r = Polynomial(using 2, Lexicographic[Int]("x"))
val x = r.generators
import r.given

assert(1 + x + 1 >< x)
assert(r == 2x)