D = pruneDiff(C, n)
D = pruneDiff(C, n, M)
Completely prunes the n-th differential of the chain complex C by removing unit elements.
Computing the syzygy over a local ring using liftUp and pruneDiff:
|
|
|
|
|
|
|
|
This is the process for finding the syzygy of FM:
|
|
|
|
Now we prune the map h, which is the first map from the right:
|
|
Scale each row with the common denominator of the corresponding column in FM:
|
|
The syzygy of FM is:
|
|
This method does not use the algorithms in the engine, hence it might be slow.
The object pruneDiff is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/PruneComplex/doc.m2:183:0.