Thread Links | Date Links | ||||
---|---|---|---|---|---|
Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
> On Sep 23, 2015, at 10:30 AM, Vincent Lefevre <vincent@xxxxxxxxxx> wrote: > >>> (1) In table 4.3, show the value of inf(Empty) as +oo, not simply oo. >>> The sign of infinity is shown explicitly in other cases. > > and what about Table 4.1? > > These remarks on the sign of infinity apply to the main standard too > (for its future revision). I think they are OK in Table 4.1. Ned