Return to gblex.sm1 CVS log | Up to [local] / OpenXM / src / kan96xx / Doc |
File: [local] / OpenXM / src / kan96xx / Doc / gblex.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 |
% gblex.sm1 [ (y,x) % Change here. Declare the variables that you use. ring_of_polynomials [[(y) 1] [(x) 1]] weight_vector 0 % Change here. Define the characteristic here. ] define_ring /inputp [ % Polynomials must be enclosed by ( and ). or $ and $. ( x^2+y^2-4 ). % Change here. Write a polynomial for input. ( x*y-1 ). % Change here. Write a polynomial for input. ] def [inputp] groebner_sugar /ans set ans ::