Return to gbelim.sm1 CVS log

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

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

1.1       maekawa     1: % gbelim.sm1
                      2: [
                      3:  (x,y,z)  % Change here. Declare the variables that you use.
                      4:  ring_of_polynomials
                      5:  [[(x) 1 (y) 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+z^2-1 ). % Change here. Write a polynomial for input.
                     12:   ( x*y+y*z+z*x-1 ). % Change here. Write a polynomial for input.
                     13:   ( x*y*z-1 ).       % Change here. Write a polynomial for input.
                     14:  ]
                     15: def
                     16:
                     17: [inputp] groebner_sugar /ans set
                     18: ans dehomogenize ::
                     19:
                     20:
                     21: