Your message dated Mon, 5 May 2008 16:19:56 +0100
with message-id <[EMAIL PROTECTED]>
and subject line smarteiffel has been removed from Debian, closing #223901
has caused the Debian Bug report #223901,
regarding INTEGER_GENERAL's gcd implementation is bad
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [EMAIL PROTECTED]
immediately.)
--
223901: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=223901
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: smarteiffel
Version: 1.1-1
I think the require assertion is too restrictive, working only for
non-negative integers; a more correct implementation is probably
something like:
gcd(other: like Current): like item is
-- Great Common Divisor of `Current' and `other'.
do
if other.item < 0 or item < 0 then
Result := other.abs.gcd(item.abs)
else if other.item = 0 then
Result := item
else
Result := other.gcd(item \\ other.item)
end
ensure
Result.is_equal(other.gcd(Current))
end
Cordially,
Snark on #eiffel
--- End Message ---
--- Begin Message ---
Version: 1.1-12+rm
The smarteiffel package has been removed from Debian testing, unstable and
experimental, so I am now closing the bugs that were still opened
against it.
For more information about this package's removal, read
http://bugs.debian.org/406255 . That bug might give the reasons why
this package was removed, and suggestions of possible replacements.
Don't hesitate to reply to this mail if you have any question.
Thank you for your contribution to Debian.
--
Marco Rodrigues
http://Marco.Tondela.org
--- End Message ---
