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@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 Fri Aug 17 2001 - 21:51:48 CDT