import scas.base.{, }
import scas.polynomial.tree.UnivariatePolynomial
import scas.quotient.Quotient
import .given
import .given

val r = UnivariatePolynomial(Rational)("x")
val x = r.generators
import r.given

val s = Quotient(x)
import s.given

assert (x/(2x) >< 12)
assert (s == x)