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

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