Description
This package provides functions that construct gnodal canonical curves with a degree k line bundle that lie on a normalized scroll. It furthermore contains functions that compute the relative canonical resolution. The construction of such canonical curves is based on the Macaulay2 package
kGonalNodalCurves. This package can be seen as an upgrade to the
kGonalNodalCurves package.
We also provide functions to compute (possibly nonminimal) free resolutions of such curves by an iterated mapping cone construction, as described in Schreyer's article
Syzygies of Canonical Curves and Special Linear Series.
Construction of relative canonical resolutions

canCurveWithFixedScroll  Computes a gnodal canonical curve with a degree k line bundle on a normalized scroll

curveOnScroll  Computes the ideal of a canonical curve on a normalized scroll in terms of generators of the scroll

resCurveOnScroll  Computes the relative canonical resolution
Iterated mapping cones and EagonNortcott type complexes

eagonNorthcottType  Computes the EagonNorthcott type resolution

liftMatrixToEN  Lifts a matrix between bundles on the scroll to the associated EagonNorthcott type complexes

iteratedCone  Computes a (possibly nonminimal) resolution of C in P^{g1} starting from the relative canonical resolution of C in P(E)