Return to gbrevsim.sm1 CVS log

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

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

1.1       maekawa     1: % gbrevSimple.sm1
                      2: [(y,x) ring_of_polynomials
                      3:  (  ) elimination_order
                      4: 0] define_ring
                      5:
                      6: [ [( x^2+y^2-4*h^2 ). (x*y-h^2).]  ] groebner print
                      7: