Return to gbvec.sm1 CVS log | Up to [local] / OpenXM / src / kan96xx / Doc |
1.1 maekawa 1: %% gbvec.sm1 2: 3: [ (x,y,z) ring_of_polynomials [[(x) 1 (y) 1 (z) 1]] weight_vector 0] 4: define_ring 5: 6: [ [(x-1). (y-1). (z-1).] homogenize 7: [(x y - 1). (y z - 2). (z x - 3).] homogenize ] /ff set 8: 9: [ff] groebner {toVectors dehomogenize} map ::