import scas.base.{, }
import scas.residue.AlgebraicNumber
import scas.variable.Variable
import .given
import .given
val r = AlgebraicNumber()(Variable.sqrt(BigInteger("2")))
val = r.generators
import r.{sqrt, given}
r.update()
assert ( >< )
assert ( >< )