4.15 resolution

The resolution type 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.

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

4.15.1 resolution declarations
4.15.2 resolution expressions
4.15.3 resolution related functions