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

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

[inputp] groebner_sugar /ans set
ans ::