Let I be a homogeneous ideal contained in the irrelevant maximal ideal of a graded ring Q (obtained as a quotient of a polynomial ring). If the length of the minimal free resolution F of $R=Q/I$ is 3, then the resolution admits the structure of a differential graded algebra. The induced algebra structure on $A = Tor^Q(R,k)$ is unique and provides for a classification of such quotient rings. The package determines a multiplicative structure on the free resolution F as well as the unique induced structure on A and the class of the quotient R according to the classification scheme of Avramov, Kustin, and Miller.
This documentation describes version 1.0 of ResLengthThree, released 3 December 2020.
If you have used this package in your research, please cite it as follows:
|
The object ResLengthThree is a package, defined in ResLengthThree.m2.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/ResLengthThree.m2:386:0.