# Check -- Option for burkeResolution

## Synopsis

• Usage:
F := burkeResolution(M, Check => true)
• Inputs:
• M, ,
• Check, ,
• Outputs:
• F, ,

## Description

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.880222 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.16248 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

## Caveat

The Check takes time.