Description
The Bernstein-Gel'fand-Gel'fand correspondence is an isomorphism between the derived category of bounded complexes of finitely generated modules over a polynomial ring and the derived category of bounded complexes of finitely generated module over an exterior algebra (or of certain Tate resolutions). This package implements routines for investigating the BGG correspondence.
More details can be found in Sheaf Algorithms Using Exterior Algebra.