Return to gbvec.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Doc

Annotation of OpenXM/src/kan96xx/Doc/gbvec.sm1, Revision 1.1

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