From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: bil@ccrma.Stanford.EDU Newsgroups: gmane.lisp.guile.bugs Subject: bug#30426: division inconsistency? Date: Wed, 14 Feb 2018 14:10:52 -0800 Message-ID: <7d3ad28781defb8921e66e6287581af8@ccrma.stanford.edu> References: <874lmlrkgc.fsf@netris.org> <87sha5q588.fsf@netris.org> <8d11fe9992e70af48db00d9a35a93a20@ccrma.stanford.edu> <87r2pnnvgb.fsf@netris.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1518646175 7496 195.159.176.226 (14 Feb 2018 22:09:35 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 14 Feb 2018 22:09:35 +0000 (UTC) User-Agent: Roundcube Webmail/1.0.12 Cc: 30426@debbugs.gnu.org To: Mark H Weaver Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Wed Feb 14 23:09:31 2018 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1em5Ef-0000BM-Pa for guile-bugs@m.gmane.org; Wed, 14 Feb 2018 23:09:05 +0100 Original-Received: from localhost ([::1]:36768 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1em5Gh-00059w-NH for guile-bugs@m.gmane.org; Wed, 14 Feb 2018 17:11:11 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:36034) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1em5Gb-00059Z-PB for bug-guile@gnu.org; Wed, 14 Feb 2018 17:11:06 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1em5GY-0000hK-If for bug-guile@gnu.org; Wed, 14 Feb 2018 17:11:05 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:35521) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1em5GY-0000h6-ED for bug-guile@gnu.org; Wed, 14 Feb 2018 17:11:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1em5GY-0002m6-8P for bug-guile@gnu.org; Wed, 14 Feb 2018 17:11:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: bil@ccrma.Stanford.EDU Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Wed, 14 Feb 2018 22:11:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30426 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 30426-submit@debbugs.gnu.org id=B30426.151864626110650 (code B ref 30426); Wed, 14 Feb 2018 22:11:02 +0000 Original-Received: (at 30426) by debbugs.gnu.org; 14 Feb 2018 22:11:01 +0000 Original-Received: from localhost ([127.0.0.1]:43416 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1em5GV-0002lb-Ob for submit@debbugs.gnu.org; Wed, 14 Feb 2018 17:11:01 -0500 Original-Received: from mx0a-00000d04.pphosted.com ([148.163.149.245]:57100) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1em5GT-0002lT-8q for 30426@debbugs.gnu.org; Wed, 14 Feb 2018 17:10:57 -0500 Original-Received: from pps.filterd (m0102887.ppops.net [127.0.0.1]) by mx0a-00000d04.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w1EM91WP007288; Wed, 14 Feb 2018 14:10:56 -0800 Original-Received: from mx0b-00000d03.pphosted.com (mx0b-00000d03.pphosted.com [148.163.153.234]) by mx0a-00000d04.pphosted.com with ESMTP id 2g4we2r3gn-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 14 Feb 2018 14:10:55 -0800 Original-Received: from pps.filterd (m0102882.ppops.net [127.0.0.1]) by mx0a-00000d03.pphosted.com (8.16.0.22/8.16.0.22) with SMTP id w1EM9tTR014163; Wed, 14 Feb 2018 14:10:54 -0800 Original-Received: from codegreen8.stanford.edu (codegreen8.stanford.edu [171.67.224.10]) by mx0a-00000d03.pphosted.com with ESMTP id 2g44qtugye-1 (version=TLSv1 cipher=AES256-SHA bits=256 verify=NOT); Wed, 14 Feb 2018 14:10:54 -0800 Original-Received: from codegreen8.stanford.edu (localhost.localdomain [127.0.0.1]) by codegreen8.stanford.edu (Postfix) with ESMTP id 012DF5A; Wed, 14 Feb 2018 14:10:54 -0800 (PST) Original-Received: from smtp.stanford.edu (smtp1.stanford.edu [171.67.219.81]) by codegreen8.stanford.edu (Postfix) with ESMTP id E938B5A; Wed, 14 Feb 2018 14:10:53 -0800 (PST) Original-Received: from cm-mail.stanford.edu (cm-mail.stanford.edu [171.64.197.135]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.stanford.edu (Postfix) with ESMTPS id 625CE6FD26; Wed, 14 Feb 2018 14:10:53 -0800 (PST) Original-Received: from cm-mail.stanford.edu (cm-mail.stanford.edu [171.64.197.135]) (authenticated bits=0) by cm-mail.stanford.edu (8.14.4/8.14.4) with ESMTP id w1EMAqgs010231 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Wed, 14 Feb 2018 14:10:52 -0800 In-Reply-To: <87r2pnnvgb.fsf@netris.org> X-Sender: bil@ccrma.stanford.edu x-proofpoint-stanford-dir: outbound X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:, , definitions=2018-02-14_08:, , signatures=0 X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:, , definitions=2018-02-14_08:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=4 bulkscore=0 spamscore=0 clxscore=1011 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=391 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1711220000 definitions=main-1802140261 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: "bug-guile" Xref: news.gmane.org gmane.lisp.guile.bugs:9007 Archived-At: 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.