[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: rrrs-authors@mc.lcs.mit.edu*Subject*: sanity check: <=, >=*From*: willc@tekchips.crl*Date*: 06 Jul 88 11:29:02 PDT (Wed)*Cc*: willc@tekchips.crl

R3RS says that (<= x y) is #t if x and y are "monotonically nondecreasing" and that (>= x y) is #t if x and y are "monotonically nonincreasing". I interpret this to mean that (<= x y) is equivalent to (not (> x y)), and that the following transcript shows correct behavior with respect to the unordered case in IEEE standard floating point arithmetic. Comments? >>> (define x (expt 10.0 500.0)) x >>> x #<INFINITY> >>> (define y (- x x)) y >>> y #<NOT A NUMBER> >>> (< 3 y) #f >>> (= 3 y) #f >>> (> 3 y) #f >>> (<= 3 y) #t >>> (>= 3 y) #t

**Follow-Ups**:**sanity check: <=, >=***From:*gls@Think.COM

- Prev by Date:
**(define x)** - Next by Date:
**sanity check: <=, >=** - Prev by thread:
**informal proposal: A Modified Procedural Interface** - Next by thread:
**sanity check: <=, >=** - Index(es):