This function determines if the DGAlgebra is acyclic.
i1 : R = ZZ/101[a,b,c,d]/ideal{a^4+b^4+c^4+d^4} o1 = R o1 : QuotientRing |
i2 : isAcyclic(koszulComplexDGA R) o2 = false |
i3 : Q = ZZ/101[a,b,c,d] o3 = Q o3 : PolynomialRing |
i4 : I = ideal {a^4,b^4,c^4,d^4} 4 4 4 4 o4 = ideal (a , b , c , d ) o4 : Ideal of Q |
i5 : isAcyclic(koszulComplexDGA I) o5 = true |
The object isAcyclic is a method function with options.