Newsgroups: comp.databases.theory
From: Vadim Tropashko <nospam@newsranger.com>
References: <9hqjpq$it8$0@dosa.alt.net> <90F47C4A9mmeijerixs4allnl@194.109.6.74> <9klpmg$3dg$1@news.tue.nl> <bdf69bdf.0108061443.2ef1f574@posting.google.com> <9koatn$6q$1@news.tue.nl> <7MUb7.1661$NJ6.5968@www.newsranger.com>
Subject: Re: Clean Object Class Design -- Circle/Ellipse
Lines: 21
Message-ID: <2r_b7.2149$NJ6.9164@www.newsranger.com>
X-Abuse-Info: When contacting newsranger.com regarding abuse please
X-Abuse-Info: forward the entire news article including headers or
X-Abuse-Info: else we will not be able to process your request
X-Complaints-To: abuse@newsranger.com
NNTP-Posting-Date: Tue, 07 Aug 2001 19:01:18 EDT
Organization: http://www.newsranger.com
Date: Tue, 07 Aug 2001 23:01:18 GMT


In article <7MUb7.1661$NJ6.5968@www.newsranger.com>, Mikito Harakiri says...
>
>>Well, let's see, it should hold for all Reals x, y that,
>>
>>  floor(x) I+ floor(y) = floor(x R+ y)
>>
>>Yes, it holds, so they could, if this is your only operator. :-)
>
>You mean '+' is my only operator? I see that I can't make it
>
>floor(x) I* floor(y) <==> floor(x R* y)
>
It doesn't hold for '+' either.

floor(1.9) I+ floor(1.9) = 2

while

floor(1.9+1.9) = 3



