Return to test-shift.sm1 CVS log | Up to [local] / OpenXM / src / kan96xx / Doc |
File: [local] / OpenXM / src / kan96xx / Doc / test-shift.sm1 (download)
Revision 1.1, Thu Jun 26 08:14:45 2003 UTC (21 years, 3 months ago) by takayama
DegreeShift can be used explicitely. See Oaku-Takayama, JSC 32 (2001), 575--595 and Granger-Oaku, Minimal filtered free resolutions ... Example. [(x,y) ring_of_differential_operators [[(x) -1 (Dx) 1]] weight_vector 0 [(degreeShift) [1 0 2 0 0 3]] ] define_ring |
% $OpenXM: OpenXM/src/kan96xx/Doc/test-shift.sm1,v 1.1 2003/06/26 08:14:45 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]] ] 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 (Type in foo) message