Return to test-shift.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Doc

Annotation of OpenXM/src/kan96xx/Doc/test-shift.sm1, Revision 1.1

1.1     ! takayama    1: % $OpenXM$
        !             2:
        !             3: (testing degree shift) message
        !             4:
        !             5: [(t,x,y) ring_of_differential_operators
        !             6:   [[(Dt) 1 (t) -1]] weight_vector
        !             7:   0
        !             8:  [(degreeShift) [1 0 (1).. 0 0]]
        !             9: ] define_ring
        !            10:
        !            11:
        !            12: /foo {
        !            13:   [[(0). (-2 Dx). (2 t). (y). (x^2).]
        !            14:    [(3 t). (-3 Dy). (0). (-x). (-y).]
        !            15:    [(Dx). (0). (-Dy). (Dt). (0).]
        !            16:    [(-3 x^2). (0). (-2 y). (1). (0).]
        !            17:    [(3 y). (6 Dt). (2 x). (0). (1).]] /ff set
        !            18:
        !            19:   ff fromVectors /ff set ;
        !            20:   [ff homogenize [(needSyz)]] groebner /gg set
        !            21:   gg pmat ;
        !            22: } def
        !            23:
        !            24:
        !            25: (Type in foo) message
        !            26: