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
|