HA = homologyAlgebra(A)
|
|
|
|
Note that HA is a graded commutative polynomial ring (i.e. an exterior algebra) since R is a complete intersection.
|
|
|
|
|
|
|
|
|
|
|
|
One can check that HA has Poincare duality since R is Gorenstein.
If your DGAlgebra has generators in even degrees, then one must specify the options GenDegreeLimit and RelDegreeLimit.
|
|
|
|
|
The object homologyAlgebra is a method function with options.