Return to gbrev.sm1 CVS log

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

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

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