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.00940602 seconds elapsed -- 0.0204466 seconds elapsed -- 0.000272447 seconds elapsed -- 0.00019884 seconds elapsed -- 0.000173073 seconds elapsed -- 0.000162933 seconds elapsed -- 0.000162001 seconds elapsed -- 0.00017747 seconds elapsed -- 0.000207436 seconds elapsed -- 0.000218067 seconds elapsed -- 0.000183001 seconds elapsed -- 0.000175567 seconds elapsed -- 0.000173223 seconds elapsed -- 0.000178922 seconds elapsed -- 0.000166711 seconds elapsed -- 0.000155079 seconds elapsed -- 0.000179424 seconds elapsed -- 0.00017193 seconds elapsed -- 0.000185445 seconds elapsed -- 0.000177541 seconds elapsed -- 0.000197578 seconds elapsed -- 0.00019293 seconds elapsed -- 0.000181388 seconds elapsed -- 0.00015544 seconds elapsed -- 0.000166741 seconds elapsed -- 0.000161661 seconds elapsed -- 0.000170378 seconds elapsed -- 0.000161841 seconds elapsed (number Of blocks, 26) 1 1 1 1 2 2 2 2 2 2 2 3 2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 3 2 2 3 2 2 2 2 2 1 1 1 1 o2 = 3131031158784 |
i3 : factor d
32 6
o3 = 2 3
o3 : Expression of class Product
|
The object carpetDet is a method function.