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 138: DivisionRiastradh domain

2012-10-06 02:25:58
WG1 - Numerics
cowan
major
cowan
worksforme
source
closed
2011-02-03 05:22:20
defect

Zero as a divisor aside, what should the domain of the proposed procedures be?

  1. Any real numbers?
  2. Integers only?
  3. Exact integers only?
cowan
2011-02-03 05:24:00
descriptionZero as a divisor aside, what should the domain of the proposed procedures be? 1. Any real numbers? 1. Integers only? 1. Exact integers only? What about exactness preservation? 1. Not exactness preserving 1. 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) 1. Exactness preserving in all casesZero as a divisor aside, what should the domain of the proposed procedures be? 1. Any real numbers? 1. Integers only? 1. Exact integers only? What about exactness preservation? 1. Not exactness preserving 1. 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) 1. Exactness preserving in all cases

Riastradh's implementation accepts choice 1 for domain and choice 2 for exactness preservation.

Lucier's ballot on #70 calls for the domain to be integers, but he speaks of number theory, so he may mean exact integers.

alexshinn
2011-06-06 20:45:36
summaryDivisionRiastradh issuesDivisionRiastradh domain
descriptionZero as a divisor aside, what should the domain of the proposed procedures be? 1. Any real numbers? 1. Integers only? 1. Exact integers only? What about exactness preservation? 1. Not exactness preserving 1. 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) 1. Exactness preserving in all casesZero as a divisor aside, what should the domain of the proposed procedures be? 1. Any real numbers? 1. Integers only? 1. Exact integers only?
componentWG1 - CoreWG1 - Numerics
alexshinn
2011-07-10 18:06:35
resolution␣␣
statusnewdecided

We voted for integers only.

cowan
2011-07-11 05:03:31
owneralexshinncowan
statusdecidedwriting

No change to the spec required.

cowan
2012-10-06 02:25:58
resolution␣worksforme
statuswritingclosed