| Register
\(\newcommand{\Cat}{{\rm Cat}} \) \(\newcommand{\A}{\mathcal A} \) \(\newcommand{\freestar}{ \framebox[7pt]{$\star$} }\)

3. DG Algebras and Resolutions


    1. Add remark

      Problem 3.1.

      What functionality should be added to the DGAlgebras package? Can we handle DG ideals and modules? What about semifree resolutions? Can it be better incorporated with the AInfinity and EagonResolution packages? Can we add higher-order Massey operations?


        • Add remark

          Problem 3.2.

          Can we compute the n-th step of a resolution quickly, without computing the previous steps?


            • Add remark

              Problem 3.3.

              Can we add simplicial resolutions to Macaulay2?

                  Cite this as: AimPL: Macaulay2: expanded functionality and improved efficiency, available at http://aimpl.org/macaulay2efie.