Re: Clean Object Class Design -- Circle/Ellipse
From: Bob Badour <bbadour_at_golden.net>
Date: Fri, 17 Aug 2001 22:51:48 -0400
Message-ID: <WSkf7.38$Z5.11128979_at_radon.golden.net>
Date: Fri, 17 Aug 2001 22:51:48 -0400
Message-ID: <WSkf7.38$Z5.11128979_at_radon.golden.net>
Mikito Harakiri wrote in message ...
>"Bob Badour" <bbadour_at_golden.net> wrote in message
news:<I6Ya7.220$Vv5.18784357_at_radon.golden.net>...
>> >Somebody in the other thread noted that subsets in math are defined by
>> >predicates over containing set. I have trouble identifying a predicate
>> >that selects integers from the set of real numbers. Am I missing
>> >something obvious? This is maybe the first indicator that we don't
>> >want to inherit integers from reals.
>>
>> I = { r in R | floor(r) = r }
>
>I meant that universal and existential qualifiers plus ariphmetic
>operations are allowed only.
What makes floor or truncate different from any other arithmetic operation? Received on Sat Aug 18 2001 - 04:51:48 CEST