4.17 resolution

The type resolution is intended as an intermediate representation which internally retains additional information obtained during computation of resolutions. It furthermore enables the use of partial results to compute, for example, Betti numbers or minimal resolutions. Like ideals and modules, a resolution can only be defined w.r.t. a basering (see Syzygies and resolutions).

Note: To access the elements of a resolution, it has to be assigned to a list. This assignment also completes computations and may therefore take time, (resp. an access directly with the brackets [ , ] causes implicitly a cast to a list).

4.17.1 resolution declarations
4.17.2 resolution expressions
4.17.3 resolution related functions