[BACK]Return to test-shift.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Doc
File: [local] / OpenXM / src / kan96xx / Doc / test-shift.sm1 (download)

Revision 1.2, Thu Jun 26 13:00:09 2003 UTC (20 years, 11 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, KNOPPIX_2006, HEAD, DEB_REL_1_2_3-9
Changes since 1.1: +19 -2 lines 

Degree shift vector allows a matrix of degree shifts.

% $OpenXM: OpenXM/src/kan96xx/Doc/test-shift.sm1,v 1.2 2003/06/26 13:00:09 takayama Exp $

(testing degree shift) message

[(t,x,y) ring_of_differential_operators 
  [[(Dt) 1 (t) -1]] weight_vector
  0
 [(degreeShift) [ [1 0 (1).. 0 0]
                  [0 5 5 5 5]
                 ] 
 ]
] define_ring


/foo {
  [[(0). (-2 Dx). (2 t). (y). (x^2).]
   [(3 t). (-3 Dy). (0). (-x). (-y).]
   [(Dx). (0). (-Dy). (Dt). (0).]
   [(-3 x^2). (0). (-2 y). (1). (0).]
   [(3 y). (6 Dt). (2 x). (0). (1).]] /ff set

  ff fromVectors /ff set ;
  [ff homogenize [(needSyz)]] groebner /gg set 
  gg pmat ;
} def

/foo2 {
  % 0     1
  ( e_ +  x ).  message  (x + e_ ?) message
  (--------------------------) message     
  % 0     1
    5     0
  ( e_ +  t ).  message  (e_ + t ?) message
  (--------------------------) message     
  % 0     1
    5     0
  ( e_ +  t ).  message  (e_ + t ?) message
  (--------------------------) message     

} def

(Type in foo) message