# 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 , with ancestor classes BasicList < Thing.