Return to gblex.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Doc

Annotation of OpenXM/src/kan96xx/Doc/gblex.sm1, Revision 1.1.1.1

1.1       maekawa     1: % gblex.sm1
                      2: [
                      3:  (y,x)  % Change here. Declare the variables that you use.
                      4:  ring_of_polynomials
                      5:  [[(y) 1] [(x) 1]] weight_vector
                      6:  0  % Change here. Define the characteristic here.
                      7: ] define_ring
                      8:
                      9: /inputp
                     10:  [                   % Polynomials must be enclosed by ( and  ). or $ and $.
                     11:   ( x^2+y^2-4 ).     % Change here. Write a polynomial for input.
                     12:   ( x*y-1 ).         % Change here. Write a polynomial for input.
                     13:  ]
                     14: def
                     15:
                     16: [inputp] groebner_sugar /ans set
                     17: ans ::
                     18:
                     19: