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