Re: Clean Object Class Design -- Circle/Ellipse
From: Mikito Harakiri <mikharakiri_at_yahoo.com>
Date: 6 Aug 2001 10:11:23 -0700
Message-ID: <bdf69bdf.0108060911.390629ae_at_posting.google.com>
Date: 6 Aug 2001 10:11:23 -0700
Message-ID: <bdf69bdf.0108060911.390629ae_at_posting.google.com>
"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. Received on Mon Aug 06 2001 - 19:11:23 CEST