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:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>