1.1 maekawa 1: % gbrevSimple.sm1 2: [(y,x) ring_of_polynomials 3: ( ) elimination_order 4: 0] define_ring 5: 6: [ [( x^2+y^2-4*h^2 ). (x*y-h^2).] ] groebner print 7: