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.014792 seconds elapsed -- 0.0112317 seconds elapsed (number Of blocks, 26) -- 0.000122247 seconds elapsed 1 -- 0.000095748 seconds elapsed 1 -- 0.000089949 seconds elapsed 1 -- 0.000084001 seconds elapsed 1 -- 0.000089354 seconds elapsed 2 -- 0.000093038 seconds elapsed 2 2 -- 0.00010928 seconds elapsed 2 2 -- 0.000116119 seconds elapsed 2 2 3 -- 0.000100649 seconds elapsed 2 2 3 -- 0.00009743 seconds elapsed 2 2 3 -- 0.000096032 seconds elapsed 2 2 -- 0.000090984 seconds elapsed 2 2 -- 0.000084631 seconds elapsed 2 -- 0.000085481 seconds elapsed 2 -- 0.000088507 seconds elapsed 2 2 -- 0.000084208 seconds elapsed 2 2 -- 0.000097548 seconds elapsed 2 2 3 -- 0.000097845 seconds elapsed 2 2 3 -- 0.000111851 seconds elapsed 2 2 3 -- 0.000106029 seconds elapsed 2 2 -- 0.000093615 seconds elapsed 2 2 -- 0.000093463 seconds elapsed 2 -- 0.000090759 seconds elapsed 1 -- 0.000092922 seconds elapsed 1 -- 0.000093942 seconds elapsed 1 -- 0.000105342 seconds elapsed 1 o2 = 3131031158784 |
i3 : factor d 32 6 o3 = 2 3 o3 : Expression of class Product |