Return to gbrevsim.sm1 CVS log | Up to [local] / OpenXM / src / kan96xx / Doc |
File: [local] / OpenXM / src / kan96xx / Doc / gbrevsim.sm1 (download)
Revision 1.1.1.1 (vendor branch), Fri Oct 8 02:12:02 1999 UTC (24 years, 11 months ago) by maekawa
o import OpenXM sources |
% gbrevSimple.sm1 [(y,x) ring_of_polynomials ( ) elimination_order 0] define_ring [ [( x^2+y^2-4*h^2 ). (x*y-h^2).] ] groebner print