import scas.polynomial.tree.PolynomialWithGB
import scas.base.
import .given

val r = PolynomialWithGB()("x", "y")
val xy = r.generators
import r.given

scas.prettyprint.println(r.gb(4 - (x2 + y2), 1 - xy))