Return to syz.sm1 CVS log

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

Annotation of OpenXM/src/kan96xx/Doc/syz.sm1, Revision 1.1.1.1

1.1       maekawa     1: %% syz.sm1
                      2:
                      3: [ (x,y) ring_of_differential_operators
                      4:   [[(Dx) 1 (Dy) 1]] weight_vector
                      5:  0
                      6: ] define_ring
                      7:
                      8: [ (x Dx + y Dy).
                      9:   (Dx^2 + Dy^2).
                     10: ] /ff set
                     11:
                     12: ff { [[(h). (1).]] replace homogenize} map /ff2 set
                     13:
                     14: [ff2 [(needBack) (needSyz)]] groebner /ans set ;
                     15: (Syzygies are ...) message
                     16: ans 2 get ::
                     17:
                     18: