[std-interval] Comments on the Interval Standard Proposal

[Gabriel Dos Reis]

Sylvain Pion <Sylvain.Pion at sophia.inria.fr> writes:

| Gabriel Dos Reis a écrit :
| > | For implementations which do not support infinity, how do you check if
| > | an interval is bounded ?  Currently we can't.
| > Hmm, I'm unclear about this one.  If the implementation does not
| > support infinity, does not it follow all intervals are bounded?
| 
| I was thinking that implementations could store extra data members
| specifying if a bound is infinite.  You can't return it through
| .lower(), because the floating-point type does not have a value
| for infinity, but is_positively_bounded() can return the
| information.

Aha.  So, is it accurate to summarize the issue as to how to support
unbounded intervals even where the implementation has bounded
arithmetic for scalar arithmetic types?

-- Gaby