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.
The source code from which this documentation is derived is in the file ResLengthThree.m2.