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 ::