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: