From e08dd75c911e8a59b87224f5549d39a45f3f7f54 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 8 Dec 2023 10:04:37 -0700 Subject: [PATCH] update release notes on `/` and exact `0` (#773) The release notes mentioned a change to the treatment of exact 0 as a divisor, but not as a dividend. The release notes now also point out that this change is not consistent with R6RS. --- release_notes/release_notes.stex | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/release_notes/release_notes.stex b/release_notes/release_notes.stex index c18dc34a4..d779b0439 100644 --- a/release_notes/release_notes.stex +++ b/release_notes/release_notes.stex @@ -362,11 +362,14 @@ polling. \subsection{Exact zeros, transcendentals, and exponentials (9.9.9)} -Division of an inexact number by an exact \scheme{0} now raises -exception instead of producing \scheme{+inf.0} or \scheme{-inf.0}. -This makes division more consistent with with the existing behavior of +Division of an exact \scheme{0} by an inexact number now always +produces exact \scheme{0}, and +division of an inexact number by an exact \scheme{0} now raises an +exception instead of producing \scheme{+inf.0} or \scheme{-inf.0}, +This change makes division more consistent with the existing behavior of multiplication, where multiplication of an inexact number by an exact -\scheme{0} produces an exact \scheme{0}. +\scheme{0} produces an exact \scheme{0}. It should be noted, however, that +this change takes \scheme{/} out of compliance with R6RS. Small changes to transcendental functions help improve consistency for derived compositions. The \scheme{expt} function with two