% gbrevSimple.sm1
[(y,x) ring_of_polynomials 
 (  ) elimination_order
0] define_ring

[ [( x^2+y^2-4*h^2 ). (x*y-h^2).]  ] groebner print