res M
This function computes a minimal graded free resolution of the cokernel of M, considered as a map of graded right free modules. M must be homogeneous for this command to work.
As of this version, NCChainComplex (the return type) is still quite simple, though betti still works on them.
|
|
|
|
|
|
|
The source of this document is in NCAlgebra/NCAlgebraDoc.m2:4397:0.