Home Online Manual
Top
Back: procs with different argument types
Forward: resolution declarations
FastBack: proc
FastForward: ring
Up: Data types
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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