We compute nonminimal resolution F of the carpet of type (a,b) over a finite prime field, Lift this to a resolution over ZZ, introduce the fine grading, grep the various blocks of the crucial map in the a-th strand, compute their determinants and return their product.
i1 : a=4,b=4 o1 = (4, 4) o1 : Sequence |
i2 : d=carpetDet(a,b)
-- 0.00458329 seconds elapsed
-- 0.00818731 seconds elapsed
(number Of blocks, 26)
-- 0.000091405 seconds elapsed
1
-- 0.000078041 seconds elapsed
1
-- 0.000064486 seconds elapsed
1
-- 0.00006322 seconds elapsed
1
-- 0.000063774 seconds elapsed
2
-- 0.0000691 seconds elapsed
2
2
-- 0.000084508 seconds elapsed
2
2
-- 0.000158303 seconds elapsed
2
2 3
-- 0.00007588 seconds elapsed
2
2 3
-- 0.000075313 seconds elapsed
2
2 3
-- 0.000068232 seconds elapsed
2
2
-- 0.000069804 seconds elapsed
2
2
-- 0.000066648 seconds elapsed
2
-- 0.000070127 seconds elapsed
2
-- 0.0000678 seconds elapsed
2
2
-- 0.000066146 seconds elapsed
2
2
-- 0.000076076 seconds elapsed
2
2 3
-- 0.000075428 seconds elapsed
2
2 3
-- 0.000084745 seconds elapsed
2
2 3
-- 0.000073791 seconds elapsed
2
2
-- 0.000076785 seconds elapsed
2
2
-- 0.000065879 seconds elapsed
2
-- 0.000067426 seconds elapsed
1
-- 0.000068502 seconds elapsed
1
-- 0.000068998 seconds elapsed
1
-- 0.000064645 seconds elapsed
1
o2 = 3131031158784
|
i3 : factor d
32 6
o3 = 2 3
o3 : Expression of class Product
|