From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Ian Price Newsgroups: gmane.lisp.guile.bugs Subject: bug#11887: string->number edge cases Date: Mon, 09 Jul 2012 13:29:16 +0100 Message-ID: <87sjd1qfs3.fsf@Kagami.home> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-Trace: dough.gmane.org 1341837069 14729 80.91.229.3 (9 Jul 2012 12:31:09 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 9 Jul 2012 12:31:09 +0000 (UTC) Cc: Peter.Bex@xs4all.nl To: 11887@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Mon Jul 09 14:31:07 2012 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1SoD7J-0006ET-KW for guile-bugs@m.gmane.org; Mon, 09 Jul 2012 14:31:06 +0200 Original-Received: from localhost ([::1]:47520 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SoD7I-0003ku-M8 for guile-bugs@m.gmane.org; Mon, 09 Jul 2012 08:31:04 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:36808) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SoD7D-0003kB-1w for bug-guile@gnu.org; Mon, 09 Jul 2012 08:31:02 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SoD72-0005j3-9A for bug-guile@gnu.org; Mon, 09 Jul 2012 08:30:58 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:48149) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SoD72-0005iP-0J for bug-guile@gnu.org; Mon, 09 Jul 2012 08:30:48 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1SoDC6-0000uf-18 for bug-guile@gnu.org; Mon, 09 Jul 2012 08:36:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Ian Price Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 09 Jul 2012 12:36:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 11887 X-GNU-PR-Package: guile X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.13418373263463 (code B ref -1); Mon, 09 Jul 2012 12:36:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 9 Jul 2012 12:35:26 +0000 Original-Received: from localhost ([127.0.0.1]:57695 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SoDBU-0000th-2i for submit@debbugs.gnu.org; Mon, 09 Jul 2012 08:35:26 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:39518) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SoDBK-0000tR-PI for submit@debbugs.gnu.org; Mon, 09 Jul 2012 08:35:19 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SoD67-0004y6-Fb for submit@debbugs.gnu.org; Mon, 09 Jul 2012 08:29:59 -0400 Original-Received: from lists.gnu.org ([208.118.235.17]:56925) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SoD67-0004xx-Bd for submit@debbugs.gnu.org; Mon, 09 Jul 2012 08:29:51 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:43741) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SoD62-0003Xf-PZ for bug-guile@gnu.org; Mon, 09 Jul 2012 08:29:50 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SoD5u-0004t4-5B for bug-guile@gnu.org; Mon, 09 Jul 2012 08:29:46 -0400 Original-Received: from plane.gmane.org ([80.91.229.3]:50108) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SoD5t-0004sL-Jk for bug-guile@gnu.org; Mon, 09 Jul 2012 08:29:38 -0400 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1SoD5q-0003cV-N9 for bug-guile@gnu.org; Mon, 09 Jul 2012 14:29:34 +0200 Original-Received: from host31-53-23-51.range31-53.btcentralplus.com ([31.53.23.51]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 09 Jul 2012 14:29:34 +0200 Original-Received: from ianprice90 by host31-53-23-51.range31-53.btcentralplus.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 09 Jul 2012 14:29:34 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 904 Original-X-Complaints-To: usenet@dough.gmane.org X-Gmane-NNTP-Posting-Host: host31-53-23-51.range31-53.btcentralplus.com User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) Cancel-Lock: sha1:We4Brep+8IvdT3yO6OOw+SmSDtQ= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:6436 Archived-At: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Hi guilers, I've mentioned these to Mark Weaver on IRC off-hand before, but I'm posting this bug report to "formalise" it, and make sure we don't forget. Peter Bex, as one of the maintainers of the chicken "numbers" egg, created a thorough test suite for string->number a while ago[0], and it points out a number of possible and actual errors in the handling of string->number. I've attached a copy with the modifications for guile already applied, and a copy of the full results, but the summary is as follows. If the number contains a division by zero, we get a numerical overflow error. scheme@(guile−user)> (string->number "3/0") ERROR: In procedure string−>number: ERROR: Throw to key `numerical−overflow' with args `("make−ratio" "Numerical overflow" #f #f)'. Entering a new prompt. Type `,bt' for a backtrace or `,q' to continue. scheme@(guile−user) [1]> ,q This contradicts the r6rs specification[1], which mandates a return value of #f. IMO, this is the correct behaviour, since otherwise, we have created a special case in the API for one type of invalid number. (These tests cause the program to stop, and so are commented out in the attached version.) The rest of the errors are less serious, and show that we treat nans and infinity someone inconsistently in guile. Specifically, we are strict on case, and lenient on the numerical prefix. 0. http://bugs.call-cc.org/browser/release/4/numbers/trunk/tests/string-conversion.scm 1. http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-14.html#node_idx_584 Peter, Thanks for these -- Ian Price "Programming is like pinball. The reward for doing it well is the opportunity to do it again" - from "The Wizardy Compiled" --=-=-= Content-Disposition: attachment; filename=string-conversion.scm Content-Description: Conversion tests courtesy of Peter Bex ;;; ;;; Numerical syntax "torture test" ;;; ;;; This tries to test a lot of edge cases in Scheme's numerical syntax. ;;; ;;; Output is written so that if you run it through "grep ERROR" it will ;;; output nothing (and exit status will be nonzero) if there are no errors. ;;; If you run it through "tail -n 1" you will just get the total error summary. ;;; ;;; This code assumes that string->number accepts numbers with embedded radix ;;; specifiers (R5RS mentions that it's allowed to return #f in those cases). ;;; It also doesn't try to support Schemes which support *only* integers or ;;; *only* flonums (which is also allowed by R5RS). ;;; ;;; ;; The prelude below is messy but required to get everything working ;; with some of the major Schemes. ;; ;; Also note that to test with Gambit, it appears you first need to type in ;; (load "~~/lib/syntax-case") and then load this file, or use gsi's -:s switch ;;; ;(use extras numbers) ; Chicken w/ numbers ;(use-syntax (ice-9 syncase)) ; Guile ;; Set this to #f if the Scheme has no compnums at all, 'inexact if it only ;; supports inexact compnums or 'exact if it supports exact compnums. ;; (Gauche, Guile, SCM: inexact, Chicken w/o numbers: #f) (define compnum-type 'inexact) ;; Set this to #f if the Scheme has no fractional number support, ;; 'exact if it supports rational numbers and 'inexact if it converts fractions ;; to floating-point, inexact numbers (define fraction-type 'exact) ;; Fix these if your Scheme doesn't allow division by zero ;; For Chicken without the numbers egg, use fp/ instead of / (define the-nan (/ 0.0 0.0)) (define pos-inf (/ 1.0 0.0)) (define neg-inf (/ -1.0 0.0)) ; Scheme48, Racket, Gambit, Chicken w/o numbers, SCM ;(define (nan? x) (and (number? x) (not (= x x)))) (define total-errors 0) (define (check-string-against-values! str . possible-values) (let ((res (string->number str))) (let lp ((values possible-values)) (if (null? values) (begin (display "PARSE ERROR ") (write (cons str possible-values)) (display " => ") (write res) (newline) (set! total-errors (+ total-errors 1))) (let ((value (car values))) (if (not (or (and (not (string? value)) (equal? res value)) (and res (nan? res) (or (and value (nan? value)))))) (lp (cdr values)) (let ((re-str (and res (number->string res)))) (let lp2 ((values possible-values)) (if (null? values) (begin (display "SERIALIZATION ERROR ") (write (cons str possible-values)) (display " => ") (write re-str) (newline) (set! total-errors (+ total-errors 1))) (let ((value (car values))) (if (not (or (and res (string=? re-str str)) (and (not res) (not value)) (and res (string? value) (string=? re-str value)))) (lp2 (cdr values)) (begin (display "OK ") (write (cons str possible-values)) (newline))))))))))))) ;; Here comes a horrible nasty hack. It seems to work though ;) (define-syntax test-numbers (syntax-rules (compnums fractions) ((_ (compnums (types e1 ...) ...) rest ...) (begin (case compnum-type (types (test-numbers e1 ... "no-totals")) ...) (test-numbers rest ...))) ((_ (fractions (types e1 ...) ...) rest ...) (begin (case fraction-type (types (test-numbers e1 ... "no-totals")) ...) (test-numbers rest ...))) ((_ (str value ...) rest ...) (begin (check-string-against-values! str value ...) (test-numbers rest ...))) ((_ "no-totals") #f) ((_ x rest ...) (begin (newline) (display "-> ") (display x) (newline) (display "-----------------------------------------------------") (newline) (test-numbers rest ...))) ((_) (if (= 0 total-errors) (begin (newline) (display "-----> Everything OK, no errors!") (newline)) (begin (newline) (display "-----> TOTAL ERRORS: ") (display total-errors) (newline)))))) (test-numbers "Simple integers" ("1" 1) ("+1" 1 "1") ("-1" (- 1)) ("#i1" 1.0 "1.0" "1.") ("#I1" 1.0 "1.0" "1.") ("#i-1" (- 1.0) "-1.0" "-1.") ("-#i1" #f) ("+-1" #f) ("" #f) ("-" #f) ("+" #f) ("+-" #f) "Basic decimal notation" ("1.0" (exact->inexact 1) "1.") ("1." 1.0 "1.0" "1.") ("1.#" 1.0 1.5 "1.0" "1." "1.5") (".1" 0.1 "0.1" "100.0e-3") ("-.1" (- 0.1) "-0.1" "-100.0e-3") ;; Some Schemes don't allow negative zero. This is okay with the standard ("-.0" -0.0 "-0." "-0.0" "0.0" "0." ".0") ("-0." -0.0 "-.0" "-0.0" "0.0" "0." ".0") ("." #f) (".1." #f) ("..1" #f) ("1.." #f) ("#i1.0" 1.0 "1.0" "1.") ("#e1.0" 1 "1") ("#e-.0" 0 "0") ("#e-0." 0 "0") ("-#e.0" #f) "Decimal notation with padding" ("1#" 10.0 15.0 "10.0" "15.0" "10." "15.") ("#e1#" 10 15 "10" "15") ("#E1#" 10 15 "10" "15") ("#1" #f) ("#" #f) ("1#2" #f) ("1.#2" #f) (".#" #f) ("#.#" #f) ("#.1" #f) ("1#.2" #f) ("1#." 10.0 15.0 "10.0" "15.0" "10." "15.") "Decimal notation with suffix" ("1e2" 100.0 "100.0" "100.") ("1E2" 100.0 "100.0" "100.") ("1s2" 100.0 "100.0" "100.") ("1S2" 100.0 "100.0" "100.") ("1f2" 100.0 "100.0" "100.") ("1F2" 100.0 "100.0" "100.") ("1d2" 100.0 "100.0" "100.") ("1D2" 100.0 "100.0" "100.") ("1l2" 100.0 "100.0" "100.") ("1L2" 100.0 "100.0" "100.") ("1e2e3" #f) ("1e2s3" #f) ("1e2.0" #f) "Decimal notation with suffix and padding" ("1#e2" 1000.0 1500.0 "1000.0" "1500.0" "1000." "1500." "1.0e3" "15.0e2") ("1e2#" #f) "NaN, Inf" ("+nan.0" the-nan "+NaN.0") ("+NAN.0" the-nan "+nan.0" "+NaN.0") ("+nan.1" #f) ("+nan.01" #f) ("+inf.0" pos-inf "+Inf.0") ("+InF.0" pos-inf "+inf.0" "+Inf.0") ("-inf.0" neg-inf "-Inf.0") ("-iNF.0" neg-inf "-inf.0" "-Inf.0") ("+inf.01" #f) ("+inf.1" #f) ("-inf.01" #f) ("-inf.1" #f) ("+inf.0/1" #f) ("1/+inf.0" #f) ("+nan" #f) ("+inf" #f) ("-inf" #f) ("nan.0" #f) ("inf.0" #f) ;; Thanks to John Cowan for these ("#e+nan.0" #f) ("#e+inf.0" #f) ("#e-inf.0" #f) ("#i+nan.0" the-nan "+nan.0" "+NaN.0") ("#i+inf.0" pos-inf "+inf.0" "+Inf.0") ("#i-inf.0" neg-inf "-inf.0" "-Inf.0") "Fractions" (fractions ((exact) ("1/2" (/ 1 2)) ("#e1/2" (/ 1 2) "1/2") ("10/2" 5 "5") ("-1/2" (- (/ 1 2))) ;("10/0" #f) ("0/10" 0 "0") ("#e0/10" 0 "0") ("#e1#/2" 5 (/ 15 2) "5" "15/2") ("#e1/2#" (/ 1 20) "1/20") ("#i3/2" (/ 3.0 2.0) "1.5")) ((inexact) ("1/2" (/ 1 2) "0.5" ".5" "500.0e-3") ("0/10" 0.0 "0.0") ("10/2" 5.0 "5.0" "5.") ;; Unsure what "#e1/2" is supposed to do in Scheme w/o exact fractions ("#i10/2" 5.0 "5.0" "5.") ("-1/2" (- (/ 1 2)) "-0.5" "-.5" "-500.0e-3"))) (fractions ((inexact exact) ;("#i1/0" pos-inf "+inf.0" "+Inf.0") ;("#i-1/0" neg-inf "-inf.0" "-Inf.0") ;("#i0/0" the-nan "+nan.0" "+NaN.0") ;; This _could_ be valid in some Schemes (but isn't as pretty) ;("#i1/0" #f) ;("#i-1/0" #f) ;("#i0/0" #f) ("1/-2" #f) ("1.0/2" #f) ("1/2.0" #f) ("1/2e2" #f) ("1/2e2" #f) ("1#/2" 5.0 7.5 "5.0" "5." "7.5") ("1/2#" 0.05 "0.05" ".05" "50.0e-3") ("1#/#" #f) ("1/" #f) ("1/+" #f) ("+/1" #f) ("/1" #f) ("/" #f))) "Basic complex numbers (rectangular notation)" (compnums ((exact) ("1+2i" (make-rectangular 1 2)) ("1+2I" (make-rectangular 1 2) "1+2i") ("1-2i" (make-rectangular 1 -2)) ("-1+2i" (make-rectangular -1 2)) ("-1-2i" (make-rectangular -1 -2)) ("+i" (make-rectangular 0 1) "+1i" "0+i" "0+1i") ("0+i" (make-rectangular 0 1) "+i" "+1i" "0+1i") ("0+1i" (make-rectangular 0 1) "+i" "+1i" "0+i") ("-i" (make-rectangular 0 -1) "-1i" "0-i" "0-1i") ("0-i" (make-rectangular 0 -1) "-i" "-1i" "0-1i") ("0-1i" (make-rectangular 0 -1) "-i" "-1i" "0-i") ("+2i" (make-rectangular 0 2) "0+2i") ("-2i" (make-rectangular 0 -2) "-2i" "0-2i")) ((inexact) ("1+2i" (make-rectangular 1 2) "1.0+2.0i" "1.+2.i") ("1+2I" (make-rectangular 1 2) "1.0+2.0i" "1.+2.i") ("1-2i" (make-rectangular 1 -2) "1.0-2.0i" "1.-2.i") ("-1+2i" (make-rectangular -1 2) "-1.0+2.0i" "-1.+2.i") ("-1-2i" (make-rectangular -1 -2) "-1.0-2.0i" "-1.-2.i") ("+i" (make-rectangular 0 1) "+1.i" "+1.0i" "0.+1.i" "0.0+1.0i") ("0+i" (make-rectangular 0 1) "0+1i" "+1.i" "+1.0i" "0.+1.i" "0.0+1.0i") ("0+1i" (make-rectangular 0 1) "+1.i" "+1.0i" "0.+1.i" "0.0+1.0i") ("-i" (make-rectangular 0 -1) "-1.i" "-1.0i" "0.-1.i" "0.0-1.0i") ("0-i" (make-rectangular 0 -1) "-1.i" "-1.0i" "0.-1.i" "0.0-1.0i") ("0-1i" (make-rectangular 0 -1) "-1.i" "-1.0i" "0.-1.i" "0.0-1.0i") ("+2i" (make-rectangular 0 2) "+2.0i" "+2.i" "0.+2.i" "0.0+2.0i") ("-2i" (make-rectangular 0 -2) "-2.0i" "-2.i" "0.-2.i" "0.0-2.0i"))) (compnums ((exact inexact) ("1#+1#i" (make-rectangular 10.0 10.0) (make-rectangular 15.0 15.0) "10.0+10.0i" "10.+10.i" "15.0+15.0i" "15.+15.i"))) ("2i" #f) ("+-i" #f) ("i" #f) ("1+2i1" #f) ("1+2" #f) ("1#+#i" #f) (compnums ((exact inexact) "Decimal-notation complex numbers (rectangular notation)" ("1.0+2i" (make-rectangular 1.0 2) "1.0+2.0i" "1.0+2i" "1.+2i" "1.+2.i") ("1+2.0i" (make-rectangular 1 2.0) "1.0+2.0i" "1+2.0i" "1.+2.i" "1+2.i") ("1#.+1#.i" (make-rectangular 10.0 10.0) (make-rectangular 15.0 15.0) "10.0+10.0i" "10.+10.i" "15.0+15.0i" "15.+15.i") ("1e2+1.0i" (make-rectangular 100.0 1.0) "100.0+1.0i" "100.+1.i") ("1s2+1.0i" (make-rectangular 100.0 1.0) "100.0+1.0i" "100.+1.i") ("1.0+1e2i" (make-rectangular 1.0 100.0) "1.0+100.0i" "1.+100.i") ("1.0+1s2i" (make-rectangular 1.0 100.0) "1.0+100.0i" "1.+100.i") ("1#e2+1.0i" (make-rectangular 1000.0 1.0) (make-rectangular 1500.0 1.0) "1000.0+1.0i" "1000.+1.i" "1500.0+1.0i" "1500.+1.i" "1.0e3+1.0i" "15.0e2+1.0i") ("1.0+1#e2i" (make-rectangular 1.0 1000.0) (make-rectangular 1.0 1500.0) "1.0+1000.0i" "1.+1000.i" "1.0+1500.0i" "1.+1500.i" "1.0+1.0e3i" "1.0+15.0e2i") (".i" #f) ("+.i" #f) (".+i" #f))) (compnums ((exact) "Fractional complex numbers (rectangular notation)" ("1/2+3/4i" (make-rectangular (/ 1 2) (/ 3 4)))) ((inexact) "Fractional complex numbers (rectangular notation)" ("1/2+3/4i" (make-rectangular (/ 1 2) (/ 3 4)) "0.5+0.75i" ".5+.75i" "500.0e-3+750.0e-3i"))) (compnums ((exact inexact) "Mixed fractional/decimal notation complex numbers (rectangular notation)" ("1#/2+3/4i" (make-rectangular 5.0 (/ 3 4)) (make-rectangular 7.5 (/ 3 4)) "5.0+0.75i" "5.+.75i" "7.5+0.75i" "5.0+3/4i" "5.+3/4i" "7.5+3/4i" "5.0+750.0e-3i") ("0.5+3/4i" (make-rectangular 0.5 (/ 3 4)) "0.5+0.75i" ".5+.75i" "0.5+3/4i" ".5+3/4i" "500.0e-3+750.0e-3i") ("1.5+1#/4i" (make-rectangular 1.5 2.5) (make-rectangular 1.5 3.75) "1.5+2.5i" "1.5+3.75i") ("0.5+1/#i" #f) ("0.5+1/1#2i" #f) ("1/#+0.5i" #f) ("1/1#2+0.5i" #f) "Mixed notation with infinity (might fail on mixed exactness compnums)" ;; This is a nasty one. Switch to inexact *after* reading the first number. ;; Note that it's perfectly acceptable for a scheme with *mixed* exactness ;; in complex values to return #f here. TODO: How to parameterize this, we ;; *really* want to test that single-exactness compnums systems accept this. ;("1/0+1.2i" (make-rectangular pos-inf 1.2) "+inf.0+1.2i" "+Inf.0+1.2i") ;; Less nasty, most get this right. Same caveat as above re: mixed exactness ;("1.2+1/0i" (make-rectangular 1.2 pos-inf) "1.2+inf.0i" ;"1.2+Inf.0") )) (compnums ((exact inexact) "Complex NaN, Inf (rectangular notation)" ("+nan.0+nan.0i" (make-rectangular the-nan the-nan) "+NaN.0+NaN.0i") ("+inf.0+inf.0i" (make-rectangular pos-inf pos-inf) "+Inf.0+Inf.0i") ("-inf.0+inf.0i" (make-rectangular neg-inf pos-inf) "-Inf.0+Inf.0i") ("-inf.0-inf.0i" (make-rectangular neg-inf neg-inf) "-Inf.0-Inf.0i") ("+inf.0-inf.0i" (make-rectangular pos-inf neg-inf) "+Inf.0-Inf.0i") "Complex numbers (polar notation)" ;; TODO: Add some here. The problem is the representation ;; is hard to nail down when echoed back as rectangular ;; since they're floating point with many digits, and depend ;; on the precision of PI used internally. ("1@2i" #f) ("0.5@1/#" #f) ("0.5@1/1#2" #f) ("1/#@0.5" #f) ("1/1#2@0.5" #f) ("1@" #f) ("1#@#" #f) ("1/@" #f) ("@/1" #f) ("@1" #f) ("1@+" #f) ("+@1" #f) ("@" #f))) "Base prefixes" ("#x11" 17 "17") ("#X11" 17 "17") ("#d11" 11 "11") ("#D11" 11 "11") ("#o11" 9 "9") ("#O11" 9 "9") ("#b11" 3 "3") ("#B11" 3 "3") ("#da1" #f) ("#o8" #f) ("#b2" #f) ("#o7" 7 "7") ("#xa" 10 "10") ("#xA" 10 "10") ("#xf" 15 "15") ("#xg" #f) ("#x-10" -16 "-16") ("#d-10" -10 "-10") ("#o-10" -8 "-8") ("#b-10" -2 "-2") ("-#x10" #f) ("-#d10" #f) ("-#o10" #f) ("-#b10" #f) ("#x-" #f) ("#x" #f) ("#d" #f) ("#d-" #f) ("#d+" #f) ("#o" #f) ("#o-" #f) ("#b" #f) ("#b-" #f) ("#e" #f) ("#e-" #f) ("#i" #f) ("#i-" #f) "Combination of prefixes" ("#x#x11" #f) ("#x#b11" #f) ("#b#o11" #f) ("#e#x10" 16 "16") ("#i#x10" 16.0 "16.0" "16.") ("#e#e10" #f) ("#e#e#x10" #f) ("#E#e#X10" #f) ("#i#e#x10" #f) ("#e#x#e10" #f) ("#x#x#e10" #f) ("#x#e#x10" #f) "Base prefixes with padding" ("#x1#0" #f) ("#d1#0" #f) ("#o1#0" #f) ("#b1#0" #f) ("#x1#" 16.0 24.0 "16.0" "24.0" "16." "24.") ("#d1#" 10.0 15.0 "10.0" "15.0" "10." "15.") ("#o1#" 8.0 12.0 "8.0" "12.0" "8." "12.") ("#b1#" 2.0 3.0 "2.0" "3.0" "2." "3.") "(Attempted) decimal notation with base prefixes" ("#x1.0" #f) ("#d1.0" 1.0 "1.0" "1.") ("#o1.0" #f) ("#b1.0" #f) ("#x1.#" #f) ("#d1.#" 1.0 1.5 "1.0" "1.5" "1.") ("#o1.#" #f) ("#b1.#" #f) ("#x1." #f) ("#d1." 1.0 "1.0" "1.") ("#o1." #f) ("#b1." #f) ("#x.1" #f) ("#d.1" 0.1 "0.1" ".1" "100.0e-3") ("#o.1" #f) ("#b.1" #f) ("#x1e2" 482 "482") ("#d1e2" 100.0 "100.0" "100.") ("#o1e2" #f) ("#b1e2" #f) "Fractions with prefixes" (fractions ((inexact) ("#x10/2" 8.0 "8.0" "8.") ("#x11/2" 8.5 "8.5") ("#d11/2" 5.5 "5.5") ("#o11/2" 4.5 "4.5") ("#b11/10" 1.5 "1.5")) ((exact) ("#x10/2" 8 "8") ("#x11/2" (/ 17 2) "17/2") ("#d11/2" (/ 11 2) "11/2") ("#o11/2" (/ 9 2) "9/2") ("#b11/10" (/ 3 2) "3/2"))) (fractions ((inexact exact) ("#b11/2" #f) ("#x10/#o10" #f) ("10/#o10" #f) ("#x1#/2" 8.0 12.0 "8.0" "8." "12.0" "12.") ("#d1#/2" 5.0 7.5 "5.0" "5." "7.5") ("#o1#/2" 4.0 6.0 "4.0" "4." "6.0" "6.") ("#b1#/2" #f) ("#b1#/10" 1.0 1.5 "1.0" "1." "1.5"))) (compnums ((exact inexact) "Complex numbers with prefixes" ("#x1#+1#i" (make-rectangular 16.0 16.0) (make-rectangular 24.0 24.0) "16.0+16.0i" "16.+16.i" "24.0+24.0i" "24.+24.i") ("#x1.0+1.0i" #f) ("#d1.0+1.0i" (make-rectangular 1.0 1.0) "1.0+1.0i" "1.+1.i") ("#o1.0+1.0i" #f) ("#b1.0+1.0i" #f) ("#x10+#o10i" #f) ("10+#o10i" #f) ("#x1@#x1" #f) ("1@#x1" #f))) (compnums ((exact) ("#x10+11i" (make-rectangular 16 17) "16+17i") ("#d10+11i" (make-rectangular 10 11) "10+11i") ("#o10+11i" (make-rectangular 8 9) "8+9i") ("#b10+11i" (make-rectangular 2 3) "2+3i") ("#e1.0+1.0i" (make-rectangular 1 1) "1+1i" "1+i") ("#i1.0+1.0i" (make-rectangular 1.0 1.0) "1.0+1.0i" "1.+1.i")) ((inexact) ("#x10+11i" (make-rectangular 16 17) "16.0+17.0i" "16.+17.i") ("#d10+11i" (make-rectangular 10 11) "10.0+11.0i" "10.+11.i") ("#o10+11i" (make-rectangular 8 9) "8.0+9.0i" "8.+9.i") ("#b10+11i" (make-rectangular 2 3) "2.0+3.0i" "2.+3.i"))) ) --=-=-= Content-Disposition: attachment; filename=results.txt Content-Description: results ;;; note: source file /home/ian/Downloads/string-conversion.scm ;;; newer than compiled /home/ian/.cache/guile/ccache/2.0-LE-4-2.0/home/ian/Downloads/string-conversion.scm.go ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0 ;;; or pass the --no-auto-compile argument to disable. ;;; compiling /home/ian/Downloads/string-conversion.scm ;;; compiled /home/ian/.cache/guile/ccache/2.0-LE-4-2.0/home/ian/Downloads/string-conversion.scm.go -> Simple integers ----------------------------------------------------- OK ("1" 1) OK ("+1" 1 "1") OK ("-1" -1) OK ("#i1" 1.0 "1.0" "1.") OK ("#I1" 1.0 "1.0" "1.") OK ("#i-1" -1.0 "-1.0" "-1.") OK ("-#i1" #f) OK ("+-1" #f) OK ("" #f) OK ("-" #f) OK ("+" #f) OK ("+-" #f) -> Basic decimal notation ----------------------------------------------------- OK ("1.0" 1.0 "1.") OK ("1." 1.0 "1.0" "1.") OK ("1.#" 1.0 1.5 "1.0" "1." "1.5") OK (".1" 0.1 "0.1" "100.0e-3") OK ("-.1" -0.1 "-0.1" "-100.0e-3") OK ("-.0" -0.0 "-0." "-0.0" "0.0" "0." ".0") OK ("-0." -0.0 "-.0" "-0.0" "0.0" "0." ".0") OK ("." #f) OK (".1." #f) OK ("..1" #f) OK ("1.." #f) OK ("#i1.0" 1.0 "1.0" "1.") OK ("#e1.0" 1 "1") OK ("#e-.0" 0 "0") OK ("#e-0." 0 "0") OK ("-#e.0" #f) -> Decimal notation with padding ----------------------------------------------------- OK ("1#" 10.0 15.0 "10.0" "15.0" "10." "15.") OK ("#e1#" 10 15 "10" "15") OK ("#E1#" 10 15 "10" "15") OK ("#1" #f) OK ("#" #f) OK ("1#2" #f) OK ("1.#2" #f) OK (".#" #f) OK ("#.#" #f) OK ("#.1" #f) OK ("1#.2" #f) OK ("1#." 10.0 15.0 "10.0" "15.0" "10." "15.") -> Decimal notation with suffix ----------------------------------------------------- OK ("1e2" 100.0 "100.0" "100.") OK ("1E2" 100.0 "100.0" "100.") OK ("1s2" 100.0 "100.0" "100.") OK ("1S2" 100.0 "100.0" "100.") OK ("1f2" 100.0 "100.0" "100.") OK ("1F2" 100.0 "100.0" "100.") OK ("1d2" 100.0 "100.0" "100.") OK ("1D2" 100.0 "100.0" "100.") OK ("1l2" 100.0 "100.0" "100.") OK ("1L2" 100.0 "100.0" "100.") OK ("1e2e3" #f) OK ("1e2s3" #f) OK ("1e2.0" #f) -> Decimal notation with suffix and padding ----------------------------------------------------- OK ("1#e2" 1000.0 1500.0 "1000.0" "1500.0" "1000." "1500." "1.0e3" "15.0e2") OK ("1e2#" #f) -> NaN, Inf ----------------------------------------------------- OK ("+nan.0" +nan.0 "+NaN.0") PARSE ERROR ("+NAN.0" +nan.0 "+nan.0" "+NaN.0") => #f PARSE ERROR ("+nan.1" #f) => +nan.0 PARSE ERROR ("+nan.01" #f) => +nan.0 OK ("+inf.0" +inf.0 "+Inf.0") PARSE ERROR ("+InF.0" +inf.0 "+inf.0" "+Inf.0") => #f OK ("-inf.0" -inf.0 "-Inf.0") PARSE ERROR ("-iNF.0" -inf.0 "-inf.0" "-Inf.0") => #f OK ("+inf.01" #f) OK ("+inf.1" #f) OK ("-inf.01" #f) OK ("-inf.1" #f) OK ("+inf.0/1" #f) OK ("1/+inf.0" #f) OK ("+nan" #f) OK ("+inf" #f) OK ("-inf" #f) PARSE ERROR ("nan.0" #f) => +nan.0 PARSE ERROR ("inf.0" #f) => +inf.0 PARSE ERROR ("#e+nan.0" #f) => +nan.0 PARSE ERROR ("#e+inf.0" #f) => +inf.0 PARSE ERROR ("#e-inf.0" #f) => -inf.0 OK ("#i+nan.0" +nan.0 "+nan.0" "+NaN.0") OK ("#i+inf.0" +inf.0 "+inf.0" "+Inf.0") OK ("#i-inf.0" -inf.0 "-inf.0" "-Inf.0") -> Fractions ----------------------------------------------------- OK ("1/2" 1/2) OK ("#e1/2" 1/2 "1/2") OK ("10/2" 5 "5") OK ("-1/2" -1/2) OK ("0/10" 0 "0") OK ("#e0/10" 0 "0") OK ("#e1#/2" 5 15/2 "5" "15/2") OK ("#e1/2#" 1/20 "1/20") OK ("#i3/2" 1.5 "1.5") OK ("1/-2" #f) OK ("1.0/2" #f) OK ("1/2.0" #f) OK ("1/2e2" #f) OK ("1/2e2" #f) OK ("1#/2" 5.0 7.5 "5.0" "5." "7.5") OK ("1/2#" 0.05 "0.05" ".05" "50.0e-3") OK ("1#/#" #f) OK ("1/" #f) OK ("1/+" #f) OK ("+/1" #f) OK ("/1" #f) OK ("/" #f) -> Basic complex numbers (rectangular notation) ----------------------------------------------------- OK ("1+2i" 1.0+2.0i "1.0+2.0i" "1.+2.i") OK ("1+2I" 1.0+2.0i "1.0+2.0i" "1.+2.i") OK ("1-2i" 1.0-2.0i "1.0-2.0i" "1.-2.i") OK ("-1+2i" -1.0+2.0i "-1.0+2.0i" "-1.+2.i") OK ("-1-2i" -1.0-2.0i "-1.0-2.0i" "-1.-2.i") OK ("+i" 0.0+1.0i "+1.i" "+1.0i" "0.+1.i" "0.0+1.0i") OK ("0+i" 0.0+1.0i "0+1i" "+1.i" "+1.0i" "0.+1.i" "0.0+1.0i") OK ("0+1i" 0.0+1.0i "+1.i" "+1.0i" "0.+1.i" "0.0+1.0i") OK ("-i" 0.0-1.0i "-1.i" "-1.0i" "0.-1.i" "0.0-1.0i") OK ("0-i" 0.0-1.0i "-1.i" "-1.0i" "0.-1.i" "0.0-1.0i") OK ("0-1i" 0.0-1.0i "-1.i" "-1.0i" "0.-1.i" "0.0-1.0i") OK ("+2i" 0.0+2.0i "+2.0i" "+2.i" "0.+2.i" "0.0+2.0i") OK ("-2i" 0.0-2.0i "-2.0i" "-2.i" "0.-2.i" "0.0-2.0i") OK ("1#+1#i" 10.0+10.0i 15.0+15.0i "10.0+10.0i" "10.+10.i" "15.0+15.0i" "15.+15.i") OK ("2i" #f) OK ("+-i" #f) OK ("i" #f) OK ("1+2i1" #f) OK ("1+2" #f) OK ("1#+#i" #f) -> Decimal-notation complex numbers (rectangular notation) ----------------------------------------------------- OK ("1.0+2i" 1.0+2.0i "1.0+2.0i" "1.0+2i" "1.+2i" "1.+2.i") OK ("1+2.0i" 1.0+2.0i "1.0+2.0i" "1+2.0i" "1.+2.i" "1+2.i") OK ("1#.+1#.i" 10.0+10.0i 15.0+15.0i "10.0+10.0i" "10.+10.i" "15.0+15.0i" "15.+15.i") OK ("1e2+1.0i" 100.0+1.0i "100.0+1.0i" "100.+1.i") OK ("1s2+1.0i" 100.0+1.0i "100.0+1.0i" "100.+1.i") OK ("1.0+1e2i" 1.0+100.0i "1.0+100.0i" "1.+100.i") OK ("1.0+1s2i" 1.0+100.0i "1.0+100.0i" "1.+100.i") OK ("1#e2+1.0i" 1000.0+1.0i 1500.0+1.0i "1000.0+1.0i" "1000.+1.i" "1500.0+1.0i" "1500.+1.i" "1.0e3+1.0i" "15.0e2+1.0i") OK ("1.0+1#e2i" 1.0+1000.0i 1.0+1500.0i "1.0+1000.0i" "1.+1000.i" "1.0+1500.0i" "1.+1500.i" "1.0+1.0e3i" "1.0+15.0e2i") OK (".i" #f) OK ("+.i" #f) OK (".+i" #f) -> Fractional complex numbers (rectangular notation) ----------------------------------------------------- OK ("1/2+3/4i" 0.5+0.75i "0.5+0.75i" ".5+.75i" "500.0e-3+750.0e-3i") -> Mixed fractional/decimal notation complex numbers (rectangular notation) ----------------------------------------------------- OK ("1#/2+3/4i" 5.0+0.75i 7.5+0.75i "5.0+0.75i" "5.+.75i" "7.5+0.75i" "5.0+3/4i" "5.+3/4i" "7.5+3/4i" "5.0+750.0e-3i") OK ("0.5+3/4i" 0.5+0.75i "0.5+0.75i" ".5+.75i" "0.5+3/4i" ".5+3/4i" "500.0e-3+750.0e-3i") OK ("1.5+1#/4i" 1.5+2.5i 1.5+3.75i "1.5+2.5i" "1.5+3.75i") OK ("0.5+1/#i" #f) OK ("0.5+1/1#2i" #f) OK ("1/#+0.5i" #f) OK ("1/1#2+0.5i" #f) -> Mixed notation with infinity (might fail on mixed exactness compnums) ----------------------------------------------------- -> Complex NaN, Inf (rectangular notation) ----------------------------------------------------- OK ("+nan.0+nan.0i" +nan.0+nan.0i "+NaN.0+NaN.0i") OK ("+inf.0+inf.0i" +inf.0+inf.0i "+Inf.0+Inf.0i") OK ("-inf.0+inf.0i" -inf.0+inf.0i "-Inf.0+Inf.0i") OK ("-inf.0-inf.0i" -inf.0-inf.0i "-Inf.0-Inf.0i") OK ("+inf.0-inf.0i" +inf.0-inf.0i "+Inf.0-Inf.0i") -> Complex numbers (polar notation) ----------------------------------------------------- OK ("1@2i" #f) OK ("0.5@1/#" #f) OK ("0.5@1/1#2" #f) OK ("1/#@0.5" #f) OK ("1/1#2@0.5" #f) OK ("1@" #f) OK ("1#@#" #f) OK ("1/@" #f) OK ("@/1" #f) OK ("@1" #f) OK ("1@+" #f) OK ("+@1" #f) OK ("@" #f) -> Base prefixes ----------------------------------------------------- OK ("#x11" 17 "17") OK ("#X11" 17 "17") OK ("#d11" 11 "11") OK ("#D11" 11 "11") OK ("#o11" 9 "9") OK ("#O11" 9 "9") OK ("#b11" 3 "3") OK ("#B11" 3 "3") OK ("#da1" #f) OK ("#o8" #f) OK ("#b2" #f) OK ("#o7" 7 "7") OK ("#xa" 10 "10") OK ("#xA" 10 "10") OK ("#xf" 15 "15") OK ("#xg" #f) OK ("#x-10" -16 "-16") OK ("#d-10" -10 "-10") OK ("#o-10" -8 "-8") OK ("#b-10" -2 "-2") OK ("-#x10" #f) OK ("-#d10" #f) OK ("-#o10" #f) OK ("-#b10" #f) OK ("#x-" #f) OK ("#x" #f) OK ("#d" #f) OK ("#d-" #f) OK ("#d+" #f) OK ("#o" #f) OK ("#o-" #f) OK ("#b" #f) OK ("#b-" #f) OK ("#e" #f) OK ("#e-" #f) OK ("#i" #f) OK ("#i-" #f) -> Combination of prefixes ----------------------------------------------------- OK ("#x#x11" #f) OK ("#x#b11" #f) OK ("#b#o11" #f) OK ("#e#x10" 16 "16") OK ("#i#x10" 16.0 "16.0" "16.") OK ("#e#e10" #f) OK ("#e#e#x10" #f) OK ("#E#e#X10" #f) OK ("#i#e#x10" #f) OK ("#e#x#e10" #f) OK ("#x#x#e10" #f) OK ("#x#e#x10" #f) -> Base prefixes with padding ----------------------------------------------------- OK ("#x1#0" #f) OK ("#d1#0" #f) OK ("#o1#0" #f) OK ("#b1#0" #f) OK ("#x1#" 16.0 24.0 "16.0" "24.0" "16." "24.") OK ("#d1#" 10.0 15.0 "10.0" "15.0" "10." "15.") OK ("#o1#" 8.0 12.0 "8.0" "12.0" "8." "12.") OK ("#b1#" 2.0 3.0 "2.0" "3.0" "2." "3.") -> (Attempted) decimal notation with base prefixes ----------------------------------------------------- OK ("#x1.0" #f) OK ("#d1.0" 1.0 "1.0" "1.") OK ("#o1.0" #f) OK ("#b1.0" #f) OK ("#x1.#" #f) OK ("#d1.#" 1.0 1.5 "1.0" "1.5" "1.") OK ("#o1.#" #f) OK ("#b1.#" #f) OK ("#x1." #f) OK ("#d1." 1.0 "1.0" "1.") OK ("#o1." #f) OK ("#b1." #f) OK ("#x.1" #f) OK ("#d.1" 0.1 "0.1" ".1" "100.0e-3") OK ("#o.1" #f) OK ("#b.1" #f) OK ("#x1e2" 482 "482") OK ("#d1e2" 100.0 "100.0" "100.") OK ("#o1e2" #f) OK ("#b1e2" #f) -> Fractions with prefixes ----------------------------------------------------- OK ("#x10/2" 8 "8") OK ("#x11/2" 17/2 "17/2") OK ("#d11/2" 11/2 "11/2") OK ("#o11/2" 9/2 "9/2") OK ("#b11/10" 3/2 "3/2") OK ("#b11/2" #f) OK ("#x10/#o10" #f) OK ("10/#o10" #f) OK ("#x1#/2" 8.0 12.0 "8.0" "8." "12.0" "12.") OK ("#d1#/2" 5.0 7.5 "5.0" "5." "7.5") OK ("#o1#/2" 4.0 6.0 "4.0" "4." "6.0" "6.") OK ("#b1#/2" #f) OK ("#b1#/10" 1.0 1.5 "1.0" "1." "1.5") -> Complex numbers with prefixes ----------------------------------------------------- OK ("#x1#+1#i" 16.0+16.0i 24.0+24.0i "16.0+16.0i" "16.+16.i" "24.0+24.0i" "24.+24.i") OK ("#x1.0+1.0i" #f) OK ("#d1.0+1.0i" 1.0+1.0i "1.0+1.0i" "1.+1.i") OK ("#o1.0+1.0i" #f) OK ("#b1.0+1.0i" #f) OK ("#x10+#o10i" #f) OK ("10+#o10i" #f) OK ("#x1@#x1" #f) OK ("1@#x1" #f) OK ("#x10+11i" 16.0+17.0i "16.0+17.0i" "16.+17.i") OK ("#d10+11i" 10.0+11.0i "10.0+11.0i" "10.+11.i") OK ("#o10+11i" 8.0+9.0i "8.0+9.0i" "8.+9.i") OK ("#b10+11i" 2.0+3.0i "2.0+3.0i" "2.+3.i") -----> TOTAL ERRORS: 10 Some deprecated features have been used. Set the environment variable GUILE_WARN_DEPRECATED to "detailed" and rerun the program to get more information. Set it to "no" to suppress this message. --=-=-=--