with Check => true, burkeResolution includes lines that check F.dd^2 == 0 and also that F is acyclic (as far as it has been computed). The default value is true.
i1 : R = ZZ/101[a,b,c]/(ideal(a,b,c))^2 o1 = R o1 : QuotientRing |
i2 : M = coker vars R o2 = cokernel | a b c | 1 o2 : R-module, quotient of R |
i3 : elapsedTime burkeResolution(M, 7, Check => false) -- 0.915281 seconds elapsed 1 3 9 27 81 243 729 2187 o3 = R <-- R <-- R <-- R <-- R <-- R <-- R <-- R 0 1 2 3 4 5 6 7 o3 : Complex |
i4 : elapsedTime burkeResolution(M, 7, Check => true) -- 1.29599 seconds elapsed 1 3 9 27 81 243 729 2187 o4 = R <-- R <-- R <-- R <-- R <-- R <-- R <-- R 0 1 2 3 4 5 6 7 o4 : Complex |
The Check takes time.