Return to gbdiff.sm1 CVS log | Up to [local] / OpenXM / src / kan96xx / Doc |
1.1 ! maekawa 1: %% gbdiff.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] groebner dehomogenize ::