| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Looks good. A few minor comments:
Page 1 line -2: F denotes the set of finite floating-point numbers ...
(In IEEE 754 Infinity is considered numeric)
Page 2 line -1: Need to add the constraint that |a| != Inf
(The bounds b1 or b2 could be -Inf resp. +Inf,
and "a" is a scalar which could be Inf.)
Michel.
---Sent: 2010-04-21 16:30:27 UTC