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     ! 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: