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