% gbrev.sm1
[
 (y,x)  % Change here. Declare the variables that you use.
 ring_of_polynomials 
 0  % Change here. Define the characteristic here.
] define_ring

/inputp
 [                   % Polynomials must be enclosed by ( and  ). or $ and $.
  ( x^2+y^2-4*h^2 ). % Change here. Write a polynomial for input.
  (x*y-h^2).         % Change here. Write a polynomial for input.
 ] 
def

[inputp] groebner /ans set
ans dehomogenize ::