-- -*- M2-comint -*- {* hash: 1891830934 *} i1 : LowerBound {4} o1 = LowerBound{4} o1 : LowerBound i2 : >= 4 o2 = LowerBound{4} o2 : LowerBound i3 : > 4 o3 = LowerBound{5} o3 : LowerBound i4 :
-- -*- M2-comint -*- {* hash: 1891830934 *} i1 : LowerBound {4} o1 = LowerBound{4} o1 : LowerBound i2 : >= 4 o2 = LowerBound{4} o2 : LowerBound i3 : > 4 o3 = LowerBound{5} o3 : LowerBound i4 :