import scas.base.{, }
import scas.residue.AlgebraicNumber
import scas.variable.Variable
import .given
import .given

val r = AlgebraicNumber()(Variable.sqrt(BigInteger("2")))
val x = r.generators
import r.{sqrt, given}
r.update(2x2)

assert (2 >< x2)
assert (x >< 2)