Return to syz.sm1 CVS log | Up to [local] / OpenXM / src / kan96xx / Doc |
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: