This version of the function should only be used if all algebra generators of A are in odd homological degree, provided in the EndDegree option.
i1 : R = ZZ/101[a,b,c]/ideal{a^3,b^3,c^3,a^2*b^2*c^2} o1 = R o1 : QuotientRing |
i2 : A = koszulComplexDGA(R) o2 = {Ring => R } Underlying algebra => R[T ..T ] 1 3 Differential => {a, b, c} o2 : DGAlgebra |
i3 : netList getGenerators(A) +------------+ | 2 | o3 = |a T | | 1 | +------------+ | 2 | |b T | | 2 | +------------+ | 2 | |c T | | 3 | +------------+ | 2 2 | |a*b c T | | 1 | +------------+ | 2 2 | |a*b c T T | | 1 2 | +------------+ | 2 2 | |a b*c T T | | 1 2 | +------------+ | 2 2 | |a*b c T T | | 1 3 | +------------+ | 2 2 | |a*b c T T T | | 1 2 3| +------------+ | 2 2 | |a b*c T T T | | 1 2 3| +------------+ | 2 2 | |a b c*T T T | | 1 2 3| +------------+ |
The object getGenerators is a method function with options.