GNU bug report logs - #30426
division inconsistency?

Previous Next

Full log

Message #20 received at 30426 <at> debbugs.gnu.org (full text, mbox):

From: bil <at> ccrma.Stanford.EDU
To: Mark H Weaver <mhw <at> netris.org>
Cc: 30426 <at> debbugs.gnu.org
Subject: Re: bug#30426: division inconsistency?
Date: Wed, 14 Feb 2018 14:10:52 -0800

But if (* 0 x) is 0, you lose the notion that
(* exact inexact) is inexact.  So (* 0 +inf.0)
should be 0.0 or maybe +nan.0.  Similarly with
+nan.0, I suppose.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.