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