Home Online Manual
Top
Back: resolution declarations (plural)
Forward: resolution related functions (plural)
FastBack: qring (plural)
FastForward: ring (plural)
Up: resolution (plural)
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.2.6.2 resolution expressions (plural)

A resolution expression is:

  1. an identifier of type resolution
  2. a function returning a resolution
  3. a type cast to resolution from a list of ideals, resp. modules.