[Scheme-reports] result of (infinite? +nan.0+inf.0i) Per Bothner (10 Sep 2013 07:10 UTC)

[Scheme-reports] result of (infinite? +nan.0+inf.0i) Per Bothner 10 Sep 2013 07:06 UTC

What should be the result of (infinite? +nan.0+inf.0i)?
The report says #t but that seems undesirable, because
it would mean that finite?/infinite?/nan? would no
longer be a partitioning of the complex numbers,
since both nan? and infinite? are true.

The wording is "The infinite? procedure returns #t ...
on complex numbers if their real and imaginary parts
or both are infinite".  I think we should add "and
neither is +nan.0"".

(I wouldn't find a link to the errata page.)
--
	--Per Bothner
per@bothner.com   http://per.bothner.com/

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports