This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Ticket 217: DivisionRiastradh exactness preversation

2012-10-05 07:04:02
WG1 - Numerics
cowan
major
alexshinn
fixed
source
closed
2011-06-06 20:46:35
defect

How should the DivisionRiastradh handle exactness?

  1. Not exactness preserving
  2. Exactness preserving unless the implementation can prove that an inexact argument can't affect the result (as in the case of an exact zero dividend and an inexact divisor)
  3. Exactness preserving in all cases
resolution
statusnewdecided

We voted exactness preserving unless the implementation can prove that an inexact argument can't affect the result (as in the case of an exact zero dividend and an inexact divisor).

owneralexshinncowan
statusdecidedwriting
resolutionfixed
statuswritingclosed