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  


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
            User manual for Singular version 4-0-3, 2016, generated by texi2html.