Return to gbrevsim.sm1 CVS log | Up to [local] / OpenXM / src / kan96xx / Doc |
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: