RE: [boost] Interval Library and comparison operators

From: David Bergman (davidb_at_[hidden])
Date: 2002-09-06 10:31:03

Well,

If we get that formal, we could not apply "equivalence", or virtually
any of the terms we have used throughout this thread...

I think we are better off with translating the arguments into the
classical "true or false" world, in order to have nomenclature at all.

/David

-----Original Message-----
From: boost-bounces_at_[hidden]
[mailto:boost-bounces_at_[hidden]] On Behalf Of Douglas Gregor
Sent: Friday, September 06, 2002 10:02 AM
To: boost_at_[hidden]
Subject: Re: [boost] Interval Library and comparison operators

On Thursday 05 September 2002 08:41 pm, David Bergman wrote:
> Your "forall"-scheme is a reasonable one, but is not valid when it 
> comes to equivalence, since you would lose reflexivity... I actually 
> could argue that it is not a good one when it comes to other 
> congruence relations on the same grounds.

You could argue that, and you'd be right. I could also say again that
it's the 
correct semantics for my application, congruence relations be damned :)

I don't see how congruency relations can even be meaningfully applied
when 
we're talking about 3-state results, anyway. But I'm not a math guy.

        Doug
_______________________________________________
Unsubscribe & other changes:
http://lists.boost.org/mailman/listinfo.cgi/boost