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 condititon 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 -- greater than
> ZZ -- greater than
">= InfiniteNumber" -- see >= ZZ -- greater than or equal
>= ZZ -- greater than or equal

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.