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.
Source for ticket #392
cc
changetime
2012-08-26 23:14:49
component
WG1 - Core
description
There are two useful subsets of the exact numbers, both of which are commonly called ''natural numbers'', depending on who's talking. Logicians, set theorists, and computer scientists include 0, other mathematicians mostly don't. This proposal adds the predicates `exact-positive-integer?` and `exact-non-negative-integer?`, analogous to `exact-integer?`. Because of the ambiguity, the name `natural-number?` is ''not'' proposed. Note that while `exact-non-negative-integer?` is a long name, `call-with-current-continuation` is even longer.
id
392
keywords
milestone
owner
alexshinn
priority
major
reporter
cowan
resolution
wontfix
severity
status
closed
summary
Exact positive and non-negative integer predicates
time
2012-05-15 23:34:50
type
defect
Changes
Change at time 2012-08-26 23:14:49
author
cowan
field
comment
newvalue
oldvalue
2
raw-time
1345997689291493
ticket
392
time
2012-08-26 23:14:49
Change at time 2012-08-26 23:14:49
author
cowan
field
resolution
newvalue
wontfix
oldvalue
raw-time
1345997689291493
ticket
392
time
2012-08-26 23:14:49
Change at time 2012-08-26 23:14:49
author
cowan
field
status
newvalue
closed
oldvalue
decided
raw-time
1345997689291493
ticket
392
time
2012-08-26 23:14:49
Change at time 2012-08-26 23:14:33
author
cowan
field
comment
newvalue
WG1 voted to reject this proposal.
oldvalue
1
raw-time
1345997673092674
ticket
392
time
2012-08-26 23:14:33
Change at time 2012-08-26 23:14:33
author
cowan
field
status
newvalue
decided
oldvalue
new
raw-time
1345997673092674
ticket
392
time
2012-08-26 23:14:33