Graded free resolution via Schreyer-type syzygies (Algorithm 5.11.1): construct a graded free resolution and minimalize

Original label: Graded free resolution via Schreyer-type syzygies (Algorithm 5.11.1): construct a graded free resolution and minimalize