LowerBound -- the class of lower bound objects

Description

This is a type of list that represents a lower bound. The single element of the list is an integer, and the object represents the condition that some other integer, such as the index in a direct sum, should be at least as large.

i1 : LowerBound {4}

o1 = LowerBound{4}

o1 : LowerBound

i2 : >= 4

o2 = LowerBound{4}

o2 : LowerBound

i3 : > 4

o3 = LowerBound{5}

o3 : LowerBound

Functions and methods returning an object of class LowerBound :

> InfiniteNumber -- see > ZZ
> ZZ
>= List (missing documentation)
>= InfiniteNumber -- see >= ZZ
>= ZZ

Methods that use an object of class LowerBound :

CoherentSheaf LowerBound
SheafOfRings LowerBound

For the programmer

The object LowerBound is a self initializing type, with ancestor classes BasicList < Thing.