Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: a draft motion on midpoint and radius

Just a quick note.

John Pryce wrote:
>    m = mid(xx) shall be monotone increasing in both xlo and xhi,
>    if one omits the case of Ý-oo,+oo¨.

No exception needed for Entire, where the midpoint is simply constant.
Monotonicity cannot be strict anyway because of Level 2 granularity.

Michel.
---Sent: 2012-10-04 15:11:52 UTC