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.