>= ZZ -- greater than or equal

>= ZZ -- greater than or equal

Synopsis:

Usage: b = (>= d)

Operator: >= -- greater than or equal

Input:

d, an instance of class ZZ.

Output:

b, an instance of class LowerBound: a special object of class LowerBound used to represent the set of natural numbers at least as large as d.

Code:

     -- ../../../Macaulay2/m2/varieties.m2:184
     >= InfiniteNumber := >= ZZ := LowerBound => i -> LowerBound{i}