What
Compute a syzygy module (kernel of a module map) and a free resolution of a module over a polynomial ring. The first syzygy of an ideal generates all algebraic relations among generators.
Applications
Algebraic geometry (sheaf cohomology), commutative algebra (projective dimension, Betti numbers), computing primary decomposition (already exists) via algebraic methods.
Tracked from mathematical coverage gap analysis.
What
Compute a syzygy module (kernel of a module map) and a free resolution of a module over a polynomial ring. The first syzygy of an ideal generates all algebraic relations among generators.
Applications
Algebraic geometry (sheaf cohomology), commutative algebra (projective dimension, Betti numbers), computing primary decomposition (already exists) via algebraic methods.
Tracked from mathematical coverage gap analysis.