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.2

1.2     ! takayama    1: % $OpenXM: OpenXM/src/kan96xx/Doc/test-shift.sm1,v 1.1 2003/06/26 08:14:45 takayama Exp $
1.1       takayama    2:
                      3: (testing degree shift) message
                      4:
                      5: [(t,x,y) ring_of_differential_operators
                      6:   [[(Dt) 1 (t) -1]] weight_vector
                      7:   0
1.2     ! takayama    8:  [(degreeShift) [ [1 0 (1).. 0 0]
        !             9:                   [0 5 5 5 5]
        !            10:                  ]
        !            11:  ]
1.1       takayama   12: ] define_ring
                     13:
                     14:
                     15: /foo {
                     16:   [[(0). (-2 Dx). (2 t). (y). (x^2).]
                     17:    [(3 t). (-3 Dy). (0). (-x). (-y).]
                     18:    [(Dx). (0). (-Dy). (Dt). (0).]
                     19:    [(-3 x^2). (0). (-2 y). (1). (0).]
                     20:    [(3 y). (6 Dt). (2 x). (0). (1).]] /ff set
                     21:
                     22:   ff fromVectors /ff set ;
                     23:   [ff homogenize [(needSyz)]] groebner /gg set
                     24:   gg pmat ;
                     25: } def
                     26:
1.2     ! takayama   27: /foo2 {
        !            28:   % 0     1
        !            29:   ( e_ +  x ).  message  (x + e_ ?) message
        !            30:   (--------------------------) message
        !            31:   % 0     1
        !            32:     5     0
        !            33:   ( e_ +  t ).  message  (e_ + t ?) message
        !            34:   (--------------------------) message
        !            35:   % 0     1
        !            36:     5     0
        !            37:   ( e_ +  t ).  message  (e_ + t ?) message
        !            38:   (--------------------------) message
        !            39:
        !            40: } def
1.1       takayama   41:
                     42: (Type in foo) message
                     43: