taka@orange:~/this08$ tar xzvf Dmodules-1-1.tar.gz Dmodules/ Dmodules/paramBpoly.m2 Dmodules/Dlocalize.m2 Dmodules/annFs.m2 Dmodules/bFunction.ideal.m2 Dmodules/makeCyclic.m2 Dmodules/Drestriction.m2 Dmodules/stafford.m2 Dmodules/TST/ Dmodules/TST/makeCyclic.tst.m2 Dmodules/TST/DeRham.tst.m2 Dmodules/TST/Ddual.tst.m2 Dmodules/TST/Dresolution.tst.m2 Dmodules/TST/Dlocalize.tst.m2 Dmodules/TST/Dloadtst.m2 Dmodules/TST/AnnFs.tst.m2 Dmodules/TST/b-function.ideal.tst.m2 Dmodules/TST/paramBpoly.tst.m2 Dmodules/TST/stafford.tst.m2 Dmodules/TST/Drestriction.tst.m2 Dmodules/TST/WeylClosure.tst.m2 Dmodules/TST/localCohom.tst.m2 Dmodules/TST/CC.tst.m2 Dmodules/TST/Dbasic.tst.m2 Dmodules/TST/DHom.tst.m2 Dmodules/TST/b-function.module.tst.m2 Dmodules/Dresolution.m2 Dmodules/EXA/ Dmodules/EXA/makeCyclic.exa.m2 Dmodules/EXA/DiffOps.exa.m2 Dmodules/EXA/DHom.exa.m2 Dmodules/EXA/Ddual.exa.m2 Dmodules/EXA/paramBpoly.exa.m2 Dmodules/EXA/DeRham.exa.m2 Dmodules/EXA/Dlocalize.exa.m2 Dmodules/EXA/annFs.exa.m2 Dmodules/EXA/stafford.exa.m2 Dmodules/EXA/bFunction.ideal.exa.m2 Dmodules/EXA/bFunction.module.exa.m2 Dmodules/EXA/Drestriction.exa.m2 Dmodules/EXA/Dresolution.exa.m2 Dmodules/EXA/globalBFunction.exa.m2 Dmodules/EXA/CC.exa.m2 Dmodules/EXA/WeylClosure.exa.m2 Dmodules/EXA/localCohom.exa.m2 Dmodules/EXA/Dbasic.exa.m2 Dmodules/DeRham.m2 Dmodules/globalBFunction.m2 Dmodules/Dsystems.m2 Dmodules/DMODdoc.m2 Dmodules/Dmodules.m2 Dmodules/Gbw.m2 Dmodules/bFunction.module.m2 Dmodules/CC.m2 Dmodules/WeylClosure.m2 Dmodules/localCohom.m2 Dmodules/Dloadfile.m2 Dmodules/Dbasic.m2 Dmodules/DHom.m2 Dmodules/newRings.m2 Dmodules/Ddual.m2 Dmodules/DiffOps.m2 Dmodules/Sparsemat.m2 Dmodules/switch.m2 taka@orange:~/this08$ cd Dmodules taka@orange:~/this08/Dmodules$ M2 Macaulay 2, version 1.1 with packages: Classic, Core, Elimination, IntegralClosure, LLLBases, Parsing, PrimaryDecomposition, SchurRings, TangentCone i1 : load "./Dmodules.m2" i2 : makeTauInputTest(0); 3 3 2 4 5 6 5 3 2 x y + x y + x*y + y + x + x y {6} | -72900x2-97200xy-10692y2+14580x-52488y 11664y3-37260xy+13932y2+4860x-17496y 3888xy2+7776y3-12420x2-26028xy-432y2+3240x-11664y | {5} | 14580x3+19440x2y+5832xy2+4860y3-2916x2+11664xy -1944xy3+7452x2y-1944xy2+1620y3-972x2+3888xy -648x2y2-1296xy3+2484x3+5292x2y+864xy2+1080y3-648x2+2592xy | {5} | 9720x2y+14580xy2+972y3-2916x2-2916xy+8748y2 -1944y4-648x2y+5832xy2-2592y3-972x2-972xy+2916y2 -648xy3-1296y4-216x3+1512x2y+3996xy2-108y3-648x2-648xy+1944y2 | 3 2 2 3 2 2 3 2 2 2 2 2 3 4 2 2 3 2 2 3 3 2 2 2 2 2 2 3 3 4 3 2 2 3 3 2 2 3 2 3 2 2 2 2 2 {{14580x dx + 19440x y*dx + 5832x*y dx + 4860y dx + 9720x y*dy + 14580x*y dy + 972y dy - 2916x dx + 11664x*y*dx - 2916x dy - 2916x*y*dy + 8748y dy + 72900x + 97200x*y + 10692y - 14580x + 52488y, - 1944x*y dx - 1944y dy + 7452x y*dx - 1944x*y dx + 1620y dx - 648x y*dy + 5832x*y dy - 2592y dy - 11664y - 972x dx + 3888x*y*dx - 972x dy - 972x*y*dy + 2916y dy + 37260x*y - 13932y - 4860x + 17496y, - 648x y dx - 1296x*y dx - 648x*y dy - 1296y dy + 2484x dx + 5292x y*dx + 864x*y dx + 1080y dx - 216x dy + 1512x y*dy + 3996x*y dy - 108y dy - 3888x*y - 7776y - 648x dx + 2592x*y*dx - 648x dy - 648x*y*dy + 1944y dy + 12420x + 26028x*y + 432y - 3240x + 11664y}} iAllt (integrationAllWithTransfer) in trans.m2 cokernel | 14580x3dx+19440x2ydx+5832xy2dx+4860y3dx+9720x2ydy+14580xy2dy+972y3dy-2916x2dx+11664xydx-2916x2dy-2916xydy+8748y2dy+72900x2+97200xy+10692y2-14580x+52488y -1944xy3dx-1944y4dy+7452x2ydx-1944xy2dx+1620y3dx-648x2ydy+5832xy2dy-2592y3dy-11664y3-972x2dx+3888xydx-972x2dy-972xydy+2916y2dy+37260xy-13932y2-4860x+17496y -648x2y2dx-1296xy3dx-648xy3dy-1296y4dy+2484x3dx+5292x2ydx+864xy2dx+1080y3dx-216x3dy+1512x2ydy+3996xy2dy-108y3dy-3888xy2-7776y3-648x2dx+2592xydx-648x2dy-648xydy+1944y2dy+12420x2+26028xy+432y2-3240x+11664y | 1 8 20 22 11 2 (QQ [x, y, dx, dy]) <-- (QQ [x, y, dx, dy]) <-- (QQ [x, y, dx, dy]) <-- (QQ [x, y, dx, dy]) <-- (QQ [x, y, dx, dy]) <-- (QQ [x, y, dx, dy]) <-- 0 0 1 2 3 4 5 6 {0, 0, | 0 |} | 0 | | 0 | | 6x-5 | | 1 | | 0 | | 0 | {0, 0, | -360x2dy-900xydy-900ydx+108xdy-3630ydy-900x+252dx+414dy-3630 |, | -360x2-900xy+108x-3630y+414 |} | -900y2dx+900x2dy+900xydy+900y2dy-3450xdx+450ydx+2100xdy-900ydy+900x+1800y-2100dx-5595dy-4350 | | 900x2+900xy+900y2+2100x-900y-5595 | | 6xdy-251dx-157dy | | 6x-157 | | 30xdx+30ydy-25dx+10dy+60 | | 30y+10 | | 0 | | 0 | | 0 | | 0 | | -900y+252 | | -900y2-3450x+450y-2100 | | -251 | | 30x-25 | | 0 | | 0 | {0, 1, | -5400x3y3dx-5400x2y4dx-5400xy5dx-5400y6dx-5400x5dx-5400x3y2dx-16200x2y3-10800xy4-5400y5-27000x4-16200x2y2 |, | 5400x3y3+5400x2y4+5400xy5+5400y6+5400x5+5400x3y2 |} | 5400x3y3dy+5400x2y4dy+5400xy5dy+5400y6dy+5400x5dy+5400x3y2dy+16200x3y2+21600x2y3+27000xy4+32400y5+10800x3y | {1, 0, | 164/9y2+328/45x-164/75 -340/3y2-100/3x+18y+10 -100/3y2-40/3x-6 |} | -164/9x+82/3 250/3x-167 100/3x-35 | | 82/75 0 0 | | 0 1 0 | | 0 0 -y | | 0 0 0 | {1, 0, | -820/3x3y2dx-4264/9x2y3dx-328/3xy4dx-820/9y5dx-1640/9x2y3dy-1148/3xy4dy-164/9y5dy-328/3x4dx+820/3x3ydx-328/3x3ydy+820/3x2y2dy-4100/3x2y2-22304/9xy3-1804/9y4-1640/3x3+4100/3x2y 1700x3y2dx+8300/3x2y3dx+680xy4dx+2240/3y5dx+2860/3x2y3dy+2020xy4dy-200/3y5dy+500x4dx-1520x3ydx-180x4dy+500x3ydy-1700x2y2dy+7960x2y2+40840/3xy3+1040/3y4+2500x3-7960x2y 180y6dx^2-180y6dxdy+180xy5dy^2+180y6dy^2+90y5dx^2+180x3y2dy^2+180xy4dy^2+90y5dy^2+500x3y2dx+2600/3x2y3dx+200xy4dx-2200/3y5dx-3095x2y2dx^2+1278xy3dx^2-785y4dx^2+1000/3x2y3dy+2140xy4dy+5500/3y5dy+915x2y2dxdy-2634xy3dxdy+1713y4dxdy+60x3ydy^2+50x2y2dy^2+540xy3dy^2-274y4dy^2+200x4dx-500x3ydx+180x2y2dx-90xy3dx+90y4dx+471x2ydx^2-1884xy2dx^2+560x3ydy-500x2y2dy+1440xy3dy+900y4dy+348x2ydxdy+963xy2dxdy-1413y3dxdy-123x2ydy^2-123xy2dy^2+369y3dy^2+2500x2y2+20080/3xy3+11900/3y4+150x3dx+1370x2ydx-22487xy2dx+10361y3dx+60x3dy+400x2ydy+5625xy2dy-4995y3dy+1000x3-2500x2y+2520xy2+1710y3-123x2dx+4281xydx-10362y2dx-123x2dy+81xydy+3792y2dy+750x2+7090xy-20092y2-615x+6783y |, | -1640/9x2y3-1148/3xy4-164/9y5-328/3x3y+820/3x2y2 2860/3x2y3+2020xy4-200/3y5-180x4+500x3y-1700x2y2 180xy5dy+180y6dy+180x3y2dy+180xy4dy+90y5dy+1000/3x2y3+1240xy4+2260/3y5+915x2y2dx-2634xy3dx+1713y4dx+60x3ydy+50x2y2dy+540xy3dy-274y4dy+200x3y-500x2y2+720xy3+450y4+348x2ydx+963xy2dx-1413y3dx-123x2ydy-123xy2dy+369y3dy+300x2y+4005xy2-3899y3+327xy+2685y2 |} | -820/3x3y2-4264/9x2y3-328/3xy4-820/9y5-328/3x4+820/3x3y 1700x3y2+8300/3x2y3+680xy4+2240/3y5+500x4-1520x3y 180y6dx-180y6dy+90y5dx+500x3y2+2600/3x2y3+200xy4-2200/3y5-3095x2y2dx+1278xy3dx-785y4dx+200x4-500x3y+180x2y2-90xy3+90y4+471x2ydx-1884xy2dx+150x3-460x2y-8395xy2+2231y3-471x2+1413xy-4239y2 | {2, 0, | 1 -x y2 x2y2 xy2 x3y y4 |} 1 3 3 1 2 4 1 5 1 6 1 5 1 3 2 -*x y + -*x y + -*x*y + -*y + -*x + -*x y 3 3 3 3 3 3 3 3 2 4 5 6 5 3 2 x y + x y + x*y + y + x + x y i3 : quit