This type implements free resolutions of submodules of free OI-modules. To make an OIResolution object, use oiRes. To verify that an OI-resolution is a complex, use isComplex. To get the $n$th differential in an OI-resolution C, use C.dd_n.
|
|
|
|
|
|
The object OIResolution is a type, with ancestor classes HashTable < Thing.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/OIGroebnerBases.m2:2615:0.