import scas.base.{, }
import scas.polynomial.tree.UnivariatePolynomial
import scas.residue.Residue
import .given
import .given

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

val s = Residue(x)(2x2)
import s.given

assert (2 >< x2)
assert (Rational("2") >< x2)
assert (s == x2x2)