resLengthThreeAlg F, resLengthThreeAlg(F,L)
For a free resolution F over a ring Q, the function returns the resolution F as a quotient of a graded-commutative free algebra over Q. The basis vectors in degrees 1, 2, and 3 are named with the symbols from the list L. The default symbols are e, f, and g.
|
|
|
|
|
|
|
The ambient ring Q does not need to be a polynomial algebra.
|
|
|
|
|
|
|
|
|
|
|
|
The object resLengthThreeAlg is a method function.