eyeling 1.15.7 → 1.15.8
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/examples/output/bayes-diagnosis.n3 +2 -2
- package/examples/output/complex.n3 +2 -2
- package/examples/output/e-computable-real.n3 +20 -20
- package/examples/output/fft32-numeric.n3 +2 -2
- package/examples/output/hadamard-approx.n3 +7 -7
- package/examples/output/matiyasevich-pi-fib.n3 +1 -1
- package/examples/output/pi-computable-real.n3 +7 -7
- package/examples/output/polynomial.n3 +1 -1
- package/examples/output/sqrt2-cauchy.n3 +8 -8
- package/examples/output/tgate-approx.n3 +9 -9
- package/eyeling.js +8 -2
- package/lib/printing.js +8 -2
- package/package.json +1 -1
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
@prefix : <https://example.org/diag#> .
|
|
2
2
|
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
|
|
3
3
|
|
|
4
|
-
:Case :scores ("0.0015470000000000002"^^xsd:decimal "0.000048000000000000015"^^xsd:decimal "7.499999999999999e-7"^^xsd:
|
|
4
|
+
:Case :scores ("0.0015470000000000002"^^xsd:decimal "0.000048000000000000015"^^xsd:decimal "7.499999999999999e-7"^^xsd:double "0.000047879999999999996"^^xsd:decimal) .
|
|
5
5
|
:Case :evidenceTotal "0.0016436300000000003"^^xsd:decimal .
|
|
6
6
|
:Case :result _:sk_0 .
|
|
7
7
|
_:sk_0 :disease :COVID19 .
|
|
@@ -13,7 +13,7 @@ _:sk_1 :unnormalized "0.000048000000000000015"^^xsd:decimal .
|
|
|
13
13
|
_:sk_1 :posterior "0.029203652890249024"^^xsd:decimal .
|
|
14
14
|
:Case :result _:sk_2 .
|
|
15
15
|
_:sk_2 :disease :AllergicRhinitis .
|
|
16
|
-
_:sk_2 :unnormalized "7.499999999999999e-7"^^xsd:
|
|
16
|
+
_:sk_2 :unnormalized "7.499999999999999e-7"^^xsd:double .
|
|
17
17
|
_:sk_2 :posterior "0.00045630707641014084"^^xsd:decimal .
|
|
18
18
|
:Case :result _:sk_3 .
|
|
19
19
|
_:sk_3 :disease :BacterialPneumonia .
|
|
@@ -3,8 +3,8 @@
|
|
|
3
3
|
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
|
|
4
4
|
|
|
5
5
|
:test :is {
|
|
6
|
-
((-1 0) (0.5 0)) complex:exponentiation ("6.123233995736766e-17"^^xsd:
|
|
7
|
-
((2.718281828459045 0) (0 3.141592653589793)) complex:exponentiation ("-1"^^xsd:decimal "1.2246467991473532e-16"^^xsd:
|
|
6
|
+
((-1 0) (0.5 0)) complex:exponentiation ("6.123233995736766e-17"^^xsd:double "1"^^xsd:decimal) .
|
|
7
|
+
((2.718281828459045 0) (0 3.141592653589793)) complex:exponentiation ("-1"^^xsd:decimal "1.2246467991473532e-16"^^xsd:double) .
|
|
8
8
|
((0 1) (0 1)) complex:exponentiation ("0.20787957635076193"^^xsd:decimal "0"^^xsd:decimal) .
|
|
9
9
|
((2.718281828459045 0) (-1.57079632679 0)) complex:exponentiation ("0.20787957635177984"^^xsd:decimal "0"^^xsd:decimal) .
|
|
10
10
|
(2 0) complex:asin ("1.5707963267948966"^^xsd:decimal "1.3169578969248166"^^xsd:decimal) .
|
|
@@ -42,17 +42,17 @@
|
|
|
42
42
|
:result :interval (9 "2.718281828458995"^^xsd:decimal "2.718281828459046"^^xsd:decimal) .
|
|
43
43
|
:result :midpoint (0 "2.7181712962962963"^^xsd:decimal "0.00011574074074074075"^^xsd:decimal) .
|
|
44
44
|
:result :midpoint (1 "2.7182681405895694"^^xsd:decimal "0.00001417233560090703"^^xsd:decimal) .
|
|
45
|
-
:result :midpoint (10 "2.7182818284590446"^^xsd:decimal "1.4935866663710579e-15"^^xsd:
|
|
46
|
-
:result :midpoint (11 "2.7182818284590455"^^xsd:decimal "8.268991924545649e-17"^^xsd:
|
|
47
|
-
:result :midpoint (12 "2.7182818284590455"^^xsd:decimal "4.338668602385063e-18"^^xsd:
|
|
45
|
+
:result :midpoint (10 "2.7182818284590446"^^xsd:decimal "1.4935866663710579e-15"^^xsd:double) .
|
|
46
|
+
:result :midpoint (11 "2.7182818284590455"^^xsd:decimal "8.268991924545649e-17"^^xsd:double) .
|
|
47
|
+
:result :midpoint (12 "2.7182818284590455"^^xsd:decimal "4.338668602385063e-18"^^xsd:double) .
|
|
48
48
|
:result :midpoint (2 "2.7182803199404764"^^xsd:decimal "0.0000015500992063492063"^^xsd:decimal) .
|
|
49
|
-
:result :midpoint (3 "2.71828167866941"^^xsd:decimal "1.5309621791103272e-7"^^xsd:
|
|
50
|
-
:result :midpoint (4 "2.718281814925044"^^xsd:decimal "1.3778659611992945e-8"^^xsd:
|
|
51
|
-
:result :midpoint (5 "2.718281827337225"^^xsd:decimal "1.13873219933826e-9"^^xsd:
|
|
52
|
-
:result :midpoint (6 "2.718281828373155"^^xsd:decimal "8.698648744945042e-11"^^xsd:
|
|
53
|
-
:result :midpoint (7 "2.7182818284529358"^^xsd:decimal "6.1765553218544674e-12"^^xsd:
|
|
54
|
-
:result :midpoint (8 "2.7182818284586396"^^xsd:decimal "4.0966948563320443e-13"^^xsd:
|
|
55
|
-
:result :midpoint (9 "2.7182818284590207"^^xsd:decimal "2.5490545772732723e-14"^^xsd:
|
|
49
|
+
:result :midpoint (3 "2.71828167866941"^^xsd:decimal "1.5309621791103272e-7"^^xsd:double) .
|
|
50
|
+
:result :midpoint (4 "2.718281814925044"^^xsd:decimal "1.3778659611992945e-8"^^xsd:double) .
|
|
51
|
+
:result :midpoint (5 "2.718281827337225"^^xsd:decimal "1.13873219933826e-9"^^xsd:double) .
|
|
52
|
+
:result :midpoint (6 "2.718281828373155"^^xsd:decimal "8.698648744945042e-11"^^xsd:double) .
|
|
53
|
+
:result :midpoint (7 "2.7182818284529358"^^xsd:decimal "6.1765553218544674e-12"^^xsd:double) .
|
|
54
|
+
:result :midpoint (8 "2.7182818284586396"^^xsd:decimal "4.0966948563320443e-13"^^xsd:double) .
|
|
55
|
+
:result :midpoint (9 "2.7182818284590207"^^xsd:decimal "2.5490545772732723e-14"^^xsd:double) .
|
|
56
56
|
:result :nestedAt (1 true) .
|
|
57
57
|
:result :nestedAt (10 true) .
|
|
58
58
|
:result :nestedAt (11 true) .
|
|
@@ -80,14 +80,14 @@
|
|
|
80
80
|
:result :requestN 9 .
|
|
81
81
|
:result :width (0 "0.0002314814814814815"^^xsd:decimal) .
|
|
82
82
|
:result :width (1 "0.00002834467120181406"^^xsd:decimal) .
|
|
83
|
-
:result :width (10 "2.9871733327421158e-15"^^xsd:
|
|
84
|
-
:result :width (11 "1.6537983849091297e-16"^^xsd:
|
|
85
|
-
:result :width (12 "8.677337204770125e-18"^^xsd:
|
|
83
|
+
:result :width (10 "2.9871733327421158e-15"^^xsd:double) .
|
|
84
|
+
:result :width (11 "1.6537983849091297e-16"^^xsd:double) .
|
|
85
|
+
:result :width (12 "8.677337204770125e-18"^^xsd:double) .
|
|
86
86
|
:result :width (2 "0.0000031001984126984127"^^xsd:decimal) .
|
|
87
|
-
:result :width (3 "3.0619243582206544e-7"^^xsd:
|
|
88
|
-
:result :width (4 "2.755731922398589e-8"^^xsd:
|
|
89
|
-
:result :width (5 "2.27746439867652e-9"^^xsd:
|
|
90
|
-
:result :width (6 "1.7397297489890083e-10"^^xsd:
|
|
91
|
-
:result :width (7 "1.2353110643708935e-11"^^xsd:
|
|
92
|
-
:result :width (8 "8.193389712664089e-13"^^xsd:
|
|
93
|
-
:result :width (9 "5.0981091545465446e-14"^^xsd:
|
|
87
|
+
:result :width (3 "3.0619243582206544e-7"^^xsd:double) .
|
|
88
|
+
:result :width (4 "2.755731922398589e-8"^^xsd:double) .
|
|
89
|
+
:result :width (5 "2.27746439867652e-9"^^xsd:double) .
|
|
90
|
+
:result :width (6 "1.7397297489890083e-10"^^xsd:double) .
|
|
91
|
+
:result :width (7 "1.2353110643708935e-11"^^xsd:double) .
|
|
92
|
+
:result :width (8 "8.193389712664089e-13"^^xsd:double) .
|
|
93
|
+
:result :width (9 "5.0981091545465446e-14"^^xsd:double) .
|
|
@@ -1,9 +1,9 @@
|
|
|
1
1
|
@prefix : <http://example.org/fft32#> .
|
|
2
2
|
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
|
|
3
3
|
|
|
4
|
-
(0 0.83146961230254501 0.92387953251128696 0.195090322016129 -0.70710678118654702 -0.98078528040322999 -0.38268343236509 0.55557023301960196 1 0.55557023301960196 -0.38268343236509 -0.98078528040323099 -0.70710678118654802 0.195090322016127 0.92387953251128596 0.83146961230254601 0.000000000000001 -0.83146961230254501 -0.92387953251128696 -0.195090322016128 0.70710678118654802 0.98078528040322999 0.382683432365089 -0.55557023301960295 -1 -0.55557023301960395 0.38268343236508801 0.98078528040322999 0.70710678118654902 -0.195090322016127 -0.92387953251128596 -0.83146961230254601) :fft (("-2.9968028886505635e-15"^^xsd:
|
|
4
|
+
(0 0.83146961230254501 0.92387953251128696 0.195090322016129 -0.70710678118654702 -0.98078528040322999 -0.38268343236509 0.55557023301960196 1 0.55557023301960196 -0.38268343236509 -0.98078528040323099 -0.70710678118654802 0.195090322016127 0.92387953251128596 0.83146961230254601 0.000000000000001 -0.83146961230254501 -0.92387953251128696 -0.195090322016128 0.70710678118654802 0.98078528040322999 0.382683432365089 -0.55557023301960295 -1 -0.55557023301960395 0.38268343236508801 0.98078528040322999 0.70710678118654902 -0.195090322016127 -0.92387953251128596 -0.83146961230254601) :fft (("-2.9968028886505635e-15"^^xsd:double "0"^^xsd:decimal) ("2.7410764551198392e-15"^^xsd:double "-2.0320206323861304e-15"^^xsd:double) ("6.653803231410531e-15"^^xsd:double "-2.935201360539696e-15"^^xsd:double) ("-3.263161509486249e-15"^^xsd:double "5.895742328325398e-15"^^xsd:double) ("-3.118026263548378e-15"^^xsd:double "1.7057423285703395e-15"^^xsd:double) ("-8.327471962526034e-15"^^xsd:double "-16"^^xsd:decimal) ("-1.8187743254395905e-15"^^xsd:double "-8.649275785265081e-16"^^xsd:double) ("-7.698815671630478e-16"^^xsd:double "-5.907250600715114e-15"^^xsd:double) ("5.996003610813205e-15"^^xsd:double "9.992007221626409e-16"^^xsd:double) ("-1.046010004595602e-15"^^xsd:double "7.32799883525688e-17"^^xsd:double) ("-4.2047531300660247e-16"^^xsd:double "5.481556342888897e-16"^^xsd:double) ("3.4408920985006257e-15"^^xsd:double "0"^^xsd:decimal) ("1.1212233748978148e-15"^^xsd:double "-2.9265911575494193e-16"^^xsd:double) ("1.6825725784634528e-15"^^xsd:double "-8.40438346133828e-16"^^xsd:double) ("-4.145535929643375e-16"^^xsd:double "-1.522118147724299e-15"^^xsd:double) ("1.3184849660375944e-15"^^xsd:double "-1.5590910214806506e-15"^^xsd:double) ("2.998401444325282e-15"^^xsd:double "0"^^xsd:decimal) ("9.36240855879889e-16"^^xsd:double "1.5259059172126727e-15"^^xsd:double) ("-4.145535929643375e-16"^^xsd:double "1.5221181477242987e-15"^^xsd:double) ("2.151339929186374e-15"^^xsd:double "1.2096850292756035e-15"^^xsd:double) ("1.1212233748978148e-15"^^xsd:double "2.926591157549422e-16"^^xsd:double) ("5.543122344752187e-16"^^xsd:double "0"^^xsd:decimal) ("-4.2047531300660207e-16"^^xsd:double "-5.481556342888898e-16"^^xsd:double) ("-5.348202489988052e-16"^^xsd:double "8.574383478270009e-16"^^xsd:double) ("5.996003610813205e-15"^^xsd:double "-9.992007221626409e-16"^^xsd:double) ("-1.3022367882033748e-15"^^xsd:double "5.761905245021641e-15"^^xsd:double) ("-1.8187743254395905e-15"^^xsd:double "8.649275785265076e-16"^^xsd:double) ("-1.3434497875801754e-14"^^xsd:double "16"^^xsd:decimal) ("-3.118026263548378e-15"^^xsd:double "-1.7057423285703398e-15"^^xsd:double) ("-3.2384833686133903e-15"^^xsd:double "-6.2649890114671735e-15"^^xsd:double) ("6.653803231410531e-15"^^xsd:double "2.935201360539697e-15"^^xsd:double) ("3.0916442077252603e-15"^^xsd:double "1.2798327561680123e-15"^^xsd:double)) .
|
|
5
5
|
(0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31) :fft ((496 "0"^^xsd:decimal) ("-16.000000000000004"^^xsd:decimal "162.45072620174173"^^xsd:decimal) ("-16"^^xsd:decimal "80.43743187401355"^^xsd:decimal) ("-16.000000000000007"^^xsd:decimal "52.74493134301312"^^xsd:decimal) ("-16"^^xsd:decimal "38.62741699796952"^^xsd:decimal) ("-15.999999999999998"^^xsd:decimal "29.93389458863023"^^xsd:decimal) ("-16.000000000000004"^^xsd:decimal "23.945692202647823"^^xsd:decimal) ("-16.000000000000004"^^xsd:decimal "19.49605640940763"^^xsd:decimal) ("-16"^^xsd:decimal "16"^^xsd:decimal) ("-15.999999999999998"^^xsd:decimal "13.13086065325857"^^xsd:decimal) ("-15.999999999999998"^^xsd:decimal "10.690858206708782"^^xsd:decimal) ("-16.000000000000007"^^xsd:decimal "8.552178175212664"^^xsd:decimal) ("-16"^^xsd:decimal "6.627416997969519"^^xsd:decimal) ("-15.999999999999995"^^xsd:decimal "4.853546937717482"^^xsd:decimal) ("-16.000000000000004"^^xsd:decimal "3.1825978780745316"^^xsd:decimal) ("-16.00000000000003"^^xsd:decimal "1.5758624537146346"^^xsd:decimal) (-16 "0"^^xsd:decimal) ("-15.999999999999996"^^xsd:decimal "-1.5758624537146204"^^xsd:decimal) ("-16"^^xsd:decimal "-3.1825978780745245"^^xsd:decimal) ("-15.999999999999998"^^xsd:decimal "-4.8535469377174785"^^xsd:decimal) ("-15.999999999999998"^^xsd:decimal "-6.627416997969519"^^xsd:decimal) ("-15.999999999999998"^^xsd:decimal "-8.552178175212667"^^xsd:decimal) ("-15.999999999999996"^^xsd:decimal "-10.690858206708786"^^xsd:decimal) ("-16.000000000000004"^^xsd:decimal "-13.130860653258566"^^xsd:decimal) ("-16"^^xsd:decimal "-16"^^xsd:decimal) ("-16.000000000000004"^^xsd:decimal "-19.49605640940762"^^xsd:decimal) ("-15.999999999999998"^^xsd:decimal "-23.94569220264782"^^xsd:decimal) ("-15.999999999999986"^^xsd:decimal "-29.933894588630235"^^xsd:decimal) ("-15.999999999999998"^^xsd:decimal "-38.62741699796952"^^xsd:decimal) ("-16"^^xsd:decimal "-52.74493134301312"^^xsd:decimal) ("-15.999999999999993"^^xsd:decimal "-80.43743187401357"^^xsd:decimal) ("-15.999999999999957"^^xsd:decimal "-162.45072620174176"^^xsd:decimal)) .
|
|
6
6
|
(1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1) :fft ((0 "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) (32 "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal)) .
|
|
7
7
|
(1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0) :fft ((1 "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) (1 "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal) ("1"^^xsd:decimal "0"^^xsd:decimal)) .
|
|
8
|
-
(1 0.83146961230254501 0.38268343236509 -0.195090322016128 -0.70710678118654702 -0.98078528040322999 -0.92387953251128696 -0.55557023301960196 0 0.55557023301960196 0.92387953251128696 0.98078528040322999 0.70710678118654802 0.195090322016129 -0.38268343236509 -0.83146961230254501 -1 -0.83146961230254601 -0.382683432365091 0.195090322016127 0.70710678118654702 0.98078528040322999 0.92387953251128696 0.55557023301960295 0.000000000000001 -0.55557023301960196 -0.92387953251128596 -0.98078528040323099 -0.70710678118654702 -0.19509032201613 0.38268343236509 0.83146961230254401) :fft (("-1.9976021664879226e-15"^^xsd:
|
|
8
|
+
(1 0.83146961230254501 0.38268343236509 -0.195090322016128 -0.70710678118654702 -0.98078528040322999 -0.92387953251128696 -0.55557023301960196 0 0.55557023301960196 0.92387953251128696 0.98078528040322999 0.70710678118654802 0.195090322016129 -0.38268343236509 -0.83146961230254501 -1 -0.83146961230254601 -0.382683432365091 0.195090322016127 0.70710678118654702 0.98078528040322999 0.92387953251128696 0.55557023301960295 0.000000000000001 -0.55557023301960196 -0.92387953251128596 -0.98078528040323099 -0.70710678118654702 -0.19509032201613 0.38268343236509 0.83146961230254401) :fft (("-1.9976021664879226e-15"^^xsd:double "0"^^xsd:decimal) ("1.3737538074197586e-15"^^xsd:double "-1.946465856829794e-15"^^xsd:double) ("-5.564884063023956e-15"^^xsd:double "1.1067652769226016e-15"^^xsd:double) ("15.999999999999998"^^xsd:decimal "-7.66133814775094e-15"^^xsd:double) ("1.4138824906527567e-15"^^xsd:double "1.4130832128153977e-15"^^xsd:double) ("-2.705341196503391e-16"^^xsd:double "-1.5008655956026007e-15"^^xsd:double) ("1.890916229553308e-16"^^xsd:double "-1.2688104344492827e-16"^^xsd:double) ("-1.431798885729609e-16"^^xsd:double "6.382299624403909e-17"^^xsd:double) ("1.999200722162641e-15"^^xsd:double "0"^^xsd:decimal) ("-1.974143070189294e-15"^^xsd:double "1.2758998416373139e-16"^^xsd:double) ("6.370748026754646e-16"^^xsd:double "-9.546460247504417e-16"^^xsd:double) ("-2.8857717599356964e-15"^^xsd:double "-1.4169280937773732e-15"^^xsd:double) ("-1.4122839349780385e-15"^^xsd:double "1.4130832128153975e-15"^^xsd:double) ("8.881784197001252e-16"^^xsd:double "-1.55351295663786e-15"^^xsd:double) ("7.38717637393161e-16"^^xsd:double "-3.717802593033475e-15"^^xsd:double) ("3.3987495982314057e-15"^^xsd:double "-3.4349527686803807e-15"^^xsd:double) ("5.996003610813205e-15"^^xsd:double "0"^^xsd:decimal) ("3.919183002821392e-15"^^xsd:double "3.338931990141291e-15"^^xsd:double) ("7.387176373931606e-16"^^xsd:double "3.717802593033475e-15"^^xsd:double) ("1.7763568394002505e-15"^^xsd:double "2.9968028886505635e-15"^^xsd:double) ("-1.4122839349780383e-15"^^xsd:double "-1.4130832128153977e-15"^^xsd:double) ("-1.5058227197499114e-15"^^xsd:double "1.946553361127382e-15"^^xsd:double) ("6.370748026754641e-16"^^xsd:double "9.54646024750442e-16"^^xsd:double) ("-1.6322401255607569e-15"^^xsd:double "-7.241239318976423e-16"^^xsd:double) ("1.999200722162641e-15"^^xsd:double "0"^^xsd:decimal) ("2.339199387486444e-16"^^xsd:double "-6.286805864256665e-16"^^xsd:double) ("1.8909162295533075e-16"^^xsd:double "1.2688104344492837e-16"^^xsd:double) ("-6.669419188648045e-16"^^xsd:double "3.0510651347749833e-16"^^xsd:double) ("1.413882490652757e-15"^^xsd:double "-1.4130832128153975e-15"^^xsd:double) ("15.999999999999996"^^xsd:decimal "8.216449660063518e-15"^^xsd:double) ("-5.564884063023956e-15"^^xsd:double "-1.1067652769226028e-15"^^xsd:double) ("1.929384094702813e-15"^^xsd:double "1.8716105437342336e-15"^^xsd:double)) .
|
|
9
9
|
(1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1) :fft ((32 "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) (0 "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal) ("0"^^xsd:decimal "0"^^xsd:decimal)) .
|
|
@@ -11,10 +11,10 @@
|
|
|
11
11
|
:result :entryAbsErrBoundMidpoint (15 "0.000007629542710718695"^^xsd:decimal) .
|
|
12
12
|
:result :entryAbsErrBoundMidpoint (16 "0.000003814730195117466"^^xsd:decimal) .
|
|
13
13
|
:result :entryAbsErrBoundMidpoint (17 "0.0000019073548077064295"^^xsd:decimal) .
|
|
14
|
-
:result :entryAbsErrBoundMidpoint (18 "9.536748313832e-7"^^xsd:
|
|
15
|
-
:result :entryAbsErrBoundMidpoint (19 "4.768367725671574e-7"^^xsd:
|
|
14
|
+
:result :entryAbsErrBoundMidpoint (18 "9.536748313832e-7"^^xsd:double) .
|
|
15
|
+
:result :entryAbsErrBoundMidpoint (19 "4.768367725671574e-7"^^xsd:double) .
|
|
16
16
|
:result :entryAbsErrBoundMidpoint (2 "0.06666666666666671"^^xsd:decimal) .
|
|
17
|
-
:result :entryAbsErrBoundMidpoint (20 "2.3841854707162824e-7"^^xsd:
|
|
17
|
+
:result :entryAbsErrBoundMidpoint (20 "2.3841854707162824e-7"^^xsd:double) .
|
|
18
18
|
:result :entryAbsErrBoundMidpoint (3 "0.03030303030303033"^^xsd:decimal) .
|
|
19
19
|
:result :entryAbsErrBoundMidpoint (4 "0.015810276679841917"^^xsd:decimal) .
|
|
20
20
|
:result :entryAbsErrBoundMidpoint (5 "0.00772946859903384"^^xsd:decimal) .
|
|
@@ -222,9 +222,9 @@
|
|
|
222
222
|
:result :invSqrt2Width (16 "0.000007629460390234932"^^xsd:decimal) .
|
|
223
223
|
:result :invSqrt2Width (17 "0.000003814709615412859"^^xsd:decimal) .
|
|
224
224
|
:result :invSqrt2Width (18 "0.0000019073496627664"^^xsd:decimal) .
|
|
225
|
-
:result :invSqrt2Width (19 "9.536735451343148e-7"^^xsd:
|
|
225
|
+
:result :invSqrt2Width (19 "9.536735451343148e-7"^^xsd:double) .
|
|
226
226
|
:result :invSqrt2Width (2 "0.13333333333333341"^^xsd:decimal) .
|
|
227
|
-
:result :invSqrt2Width (20 "4.768370941432565e-7"^^xsd:
|
|
227
|
+
:result :invSqrt2Width (20 "4.768370941432565e-7"^^xsd:double) .
|
|
228
228
|
:result :invSqrt2Width (3 "0.06060606060606066"^^xsd:decimal) .
|
|
229
229
|
:result :invSqrt2Width (4 "0.031620553359683834"^^xsd:decimal) .
|
|
230
230
|
:result :invSqrt2Width (5 "0.01545893719806768"^^xsd:decimal) .
|
|
@@ -327,9 +327,9 @@
|
|
|
327
327
|
:result :rowAbsErrBoundMidpoint (16 "0.000007629460390234932"^^xsd:decimal) .
|
|
328
328
|
:result :rowAbsErrBoundMidpoint (17 "0.000003814709615412859"^^xsd:decimal) .
|
|
329
329
|
:result :rowAbsErrBoundMidpoint (18 "0.0000019073496627664"^^xsd:decimal) .
|
|
330
|
-
:result :rowAbsErrBoundMidpoint (19 "9.536735451343148e-7"^^xsd:
|
|
330
|
+
:result :rowAbsErrBoundMidpoint (19 "9.536735451343148e-7"^^xsd:double) .
|
|
331
331
|
:result :rowAbsErrBoundMidpoint (2 "0.13333333333333341"^^xsd:decimal) .
|
|
332
|
-
:result :rowAbsErrBoundMidpoint (20 "4.768370941432565e-7"^^xsd:
|
|
332
|
+
:result :rowAbsErrBoundMidpoint (20 "4.768370941432565e-7"^^xsd:double) .
|
|
333
333
|
:result :rowAbsErrBoundMidpoint (3 "0.06060606060606066"^^xsd:decimal) .
|
|
334
334
|
:result :rowAbsErrBoundMidpoint (4 "0.031620553359683834"^^xsd:decimal) .
|
|
335
335
|
:result :rowAbsErrBoundMidpoint (5 "0.01545893719806768"^^xsd:decimal) .
|
|
@@ -65,7 +65,7 @@
|
|
|
65
65
|
29 :fib 514229 .
|
|
66
66
|
30 :fib 832040 .
|
|
67
67
|
31 :fib 1346269 .
|
|
68
|
-
:result :rows ((1 3 2 "0.4636476090008061"^^xsd:decimal) (2 5 5 "0.19739555984988078"^^xsd:decimal) (3 7 13 "0.07677189126977804"^^xsd:decimal) (4 9 34 "0.029403288204005115"^^xsd:decimal) (5 11 89 "0.011235482257962729"^^xsd:decimal) (6 13 233 "0.004291819142011206"^^xsd:decimal) (7 15 610 "0.0016393427937457503"^^xsd:decimal) (8 17 1597 "0.0006261739945535625"^^xsd:decimal) (9 19 4181 "0.00023917722576690222"^^xsd:decimal) (10 21 10946 "0.00009135757328868366"^^xsd:decimal) (11 23 28657 "0.000034895487999235846"^^xsd:decimal) (12 25 75025 "0.000013328890369087375"^^xsd:decimal) (13 27 196418 "0.0000050911830890822634"^^xsd:decimal) (14 29 514229 "0.000001944658897103702"^^xsd:decimal) (15 31 1346269 "7.427936021700092e-7"^^xsd:
|
|
68
|
+
:result :rows ((1 3 2 "0.4636476090008061"^^xsd:decimal) (2 5 5 "0.19739555984988078"^^xsd:decimal) (3 7 13 "0.07677189126977804"^^xsd:decimal) (4 9 34 "0.029403288204005115"^^xsd:decimal) (5 11 89 "0.011235482257962729"^^xsd:decimal) (6 13 233 "0.004291819142011206"^^xsd:decimal) (7 15 610 "0.0016393427937457503"^^xsd:decimal) (8 17 1597 "0.0006261739945535625"^^xsd:decimal) (9 19 4181 "0.00023917722576690222"^^xsd:decimal) (10 21 10946 "0.00009135757328868366"^^xsd:decimal) (11 23 28657 "0.000034895487999235846"^^xsd:decimal) (12 25 75025 "0.000013328890369087375"^^xsd:decimal) (13 27 196418 "0.0000050911830890822634"^^xsd:decimal) (14 29 514229 "0.000001944658897103702"^^xsd:decimal) (15 31 1346269 "7.427936021700092e-7"^^xsd:double)) .
|
|
69
69
|
:result :piFromFibs "3.1415908173030225"^^xsd:decimal .
|
|
70
70
|
:result :piRef "3.141592653589793"^^xsd:decimal .
|
|
71
71
|
:result :absError "0.000001836286770640072"^^xsd:decimal .
|
|
@@ -54,13 +54,13 @@
|
|
|
54
54
|
:result :interval (8 "3.141592653589794"^^xsd:decimal "3.141592653589794"^^xsd:decimal) .
|
|
55
55
|
:result :interval (9 "3.141592653589794"^^xsd:decimal "3.141592653589794"^^xsd:decimal) .
|
|
56
56
|
:result :midpoint (0 "3.1405970293260603"^^xsd:decimal "0.001024000001025982"^^xsd:decimal) .
|
|
57
|
-
:result :midpoint (1 "3.1415917721821778"^^xsd:decimal "9.102222220391809e-7"^^xsd:
|
|
57
|
+
:result :midpoint (1 "3.1415917721821778"^^xsd:decimal "9.102222220391809e-7"^^xsd:double) .
|
|
58
58
|
:result :midpoint (10 "3.141592653589794"^^xsd:decimal "0"^^xsd:decimal) .
|
|
59
59
|
:result :midpoint (11 "3.141592653589794"^^xsd:decimal "0"^^xsd:decimal) .
|
|
60
60
|
:result :midpoint (12 "3.141592653589794"^^xsd:decimal "0"^^xsd:decimal) .
|
|
61
|
-
:result :midpoint (2 "3.1415926526153086"^^xsd:decimal "1.0082463752780768e-9"^^xsd:
|
|
62
|
-
:result :midpoint (3 "3.1415926535886025"^^xsd:decimal "1.233679824963474e-12"^^xsd:
|
|
63
|
-
:result :midpoint (4 "3.1415926535897922"^^xsd:decimal "1.7763568394002505e-15"^^xsd:
|
|
61
|
+
:result :midpoint (2 "3.1415926526153086"^^xsd:decimal "1.0082463752780768e-9"^^xsd:double) .
|
|
62
|
+
:result :midpoint (3 "3.1415926535886025"^^xsd:decimal "1.233679824963474e-12"^^xsd:double) .
|
|
63
|
+
:result :midpoint (4 "3.1415926535897922"^^xsd:decimal "1.7763568394002505e-15"^^xsd:double) .
|
|
64
64
|
:result :midpoint (5 "3.141592653589794"^^xsd:decimal "0"^^xsd:decimal) .
|
|
65
65
|
:result :midpoint (6 "3.141592653589794"^^xsd:decimal "0"^^xsd:decimal) .
|
|
66
66
|
:result :midpoint (7 "3.141592653589794"^^xsd:decimal "0"^^xsd:decimal) .
|
|
@@ -84,9 +84,9 @@
|
|
|
84
84
|
:result :width (10 "0"^^xsd:decimal) .
|
|
85
85
|
:result :width (11 "0"^^xsd:decimal) .
|
|
86
86
|
:result :width (12 "0"^^xsd:decimal) .
|
|
87
|
-
:result :width (2 "2.0164927505561536e-9"^^xsd:
|
|
88
|
-
:result :width (3 "2.467359649926948e-12"^^xsd:
|
|
89
|
-
:result :width (4 "3.552713678800501e-15"^^xsd:
|
|
87
|
+
:result :width (2 "2.0164927505561536e-9"^^xsd:double) .
|
|
88
|
+
:result :width (3 "2.467359649926948e-12"^^xsd:double) .
|
|
89
|
+
:result :width (4 "3.552713678800501e-15"^^xsd:double) .
|
|
90
90
|
:result :width (5 "0"^^xsd:decimal) .
|
|
91
91
|
:result :width (6 "0"^^xsd:decimal) .
|
|
92
92
|
:result :width (7 "0"^^xsd:decimal) .
|
|
@@ -7,5 +7,5 @@
|
|
|
7
7
|
:poly1 :hasRoot ("1.0000000074505808"^^xsd:decimal "0"^^xsd:decimal) .
|
|
8
8
|
:poly2 :hasRoot ("5"^^xsd:decimal "0.99999999999999"^^xsd:decimal) .
|
|
9
9
|
:poly2 :hasRoot ("3.0000000000000036"^^xsd:decimal "1.9999999999999987"^^xsd:decimal) .
|
|
10
|
-
:poly2 :hasRoot ("-3.1086244689504383e-15"^^xsd:
|
|
10
|
+
:poly2 :hasRoot ("-3.1086244689504383e-15"^^xsd:double "1.0000000000000064"^^xsd:decimal) .
|
|
11
11
|
:poly2 :hasRoot ("1"^^xsd:decimal "1.0000000000000049"^^xsd:decimal) .
|
|
@@ -17,37 +17,37 @@
|
|
|
17
17
|
:sqrt2Seq :delta (3 "0.002450980392156854"^^xsd:decimal) .
|
|
18
18
|
:sqrt2Seq log:outputString "n=3 x=1.4142156862745097 delta=0.002450980392156854 err=0.000006007304882427178\n" .
|
|
19
19
|
:sqrt2Seq :term (4 "1.4142135623746899"^^xsd:decimal) .
|
|
20
|
-
:sqrt2Seq :error (4 "4.510614104447086e-12"^^xsd:
|
|
20
|
+
:sqrt2Seq :error (4 "4.510614104447086e-12"^^xsd:double) .
|
|
21
21
|
:sqrt2Seq :delta (4 "0.0000021238998197947723"^^xsd:decimal) .
|
|
22
22
|
:sqrt2Seq :cauchyStep (4 true) .
|
|
23
23
|
:sqrt2Seq log:outputString "n=4 x=1.4142135623746899 delta=0.0000021238998197947723 err=4.510614104447086e-12\n" .
|
|
24
24
|
:sqrt2Seq :term (5 "1.414213562373095"^^xsd:decimal) .
|
|
25
|
-
:sqrt2Seq :error (5 "4.440892098500626e-16"^^xsd:
|
|
26
|
-
:sqrt2Seq :delta (5 "1.5949463971764999e-12"^^xsd:
|
|
25
|
+
:sqrt2Seq :error (5 "4.440892098500626e-16"^^xsd:double) .
|
|
26
|
+
:sqrt2Seq :delta (5 "1.5949463971764999e-12"^^xsd:double) .
|
|
27
27
|
:sqrt2Seq :cauchyStep (5 true) .
|
|
28
28
|
:sqrt2Seq log:outputString "n=5 x=1.414213562373095 delta=1.5949463971764999e-12 err=4.440892098500626e-16\n" .
|
|
29
29
|
:sqrt2Seq :term (6 "1.414213562373095"^^xsd:decimal) .
|
|
30
|
-
:sqrt2Seq :error (6 "4.440892098500626e-16"^^xsd:
|
|
30
|
+
:sqrt2Seq :error (6 "4.440892098500626e-16"^^xsd:double) .
|
|
31
31
|
:sqrt2Seq :delta (6 "0"^^xsd:decimal) .
|
|
32
32
|
:sqrt2Seq :cauchyStep (6 true) .
|
|
33
33
|
:sqrt2Seq log:outputString "n=6 x=1.414213562373095 delta=0 err=4.440892098500626e-16\n" .
|
|
34
34
|
:sqrt2Seq :term (7 "1.414213562373095"^^xsd:decimal) .
|
|
35
|
-
:sqrt2Seq :error (7 "4.440892098500626e-16"^^xsd:
|
|
35
|
+
:sqrt2Seq :error (7 "4.440892098500626e-16"^^xsd:double) .
|
|
36
36
|
:sqrt2Seq :delta (7 "0"^^xsd:decimal) .
|
|
37
37
|
:sqrt2Seq :cauchyStep (7 true) .
|
|
38
38
|
:sqrt2Seq log:outputString "n=7 x=1.414213562373095 delta=0 err=4.440892098500626e-16\n" .
|
|
39
39
|
:sqrt2Seq :term (8 "1.414213562373095"^^xsd:decimal) .
|
|
40
|
-
:sqrt2Seq :error (8 "4.440892098500626e-16"^^xsd:
|
|
40
|
+
:sqrt2Seq :error (8 "4.440892098500626e-16"^^xsd:double) .
|
|
41
41
|
:sqrt2Seq :delta (8 "0"^^xsd:decimal) .
|
|
42
42
|
:sqrt2Seq :cauchyStep (8 true) .
|
|
43
43
|
:sqrt2Seq log:outputString "n=8 x=1.414213562373095 delta=0 err=4.440892098500626e-16\n" .
|
|
44
44
|
:sqrt2Seq :term (9 "1.414213562373095"^^xsd:decimal) .
|
|
45
|
-
:sqrt2Seq :error (9 "4.440892098500626e-16"^^xsd:
|
|
45
|
+
:sqrt2Seq :error (9 "4.440892098500626e-16"^^xsd:double) .
|
|
46
46
|
:sqrt2Seq :delta (9 "0"^^xsd:decimal) .
|
|
47
47
|
:sqrt2Seq :cauchyStep (9 true) .
|
|
48
48
|
:sqrt2Seq log:outputString "n=9 x=1.414213562373095 delta=0 err=4.440892098500626e-16\n" .
|
|
49
49
|
:sqrt2Seq :term (10 "1.414213562373095"^^xsd:decimal) .
|
|
50
|
-
:sqrt2Seq :error (10 "4.440892098500626e-16"^^xsd:
|
|
50
|
+
:sqrt2Seq :error (10 "4.440892098500626e-16"^^xsd:double) .
|
|
51
51
|
:sqrt2Seq :delta (10 "0"^^xsd:decimal) .
|
|
52
52
|
:sqrt2Seq :cauchyStep (10 true) .
|
|
53
53
|
:sqrt2Real :approx "1.414213562373095"^^xsd:decimal .
|
|
@@ -12,9 +12,9 @@
|
|
|
12
12
|
:result :gateOpNormErrBound (16 "0.000007629460390234932"^^xsd:decimal) .
|
|
13
13
|
:result :gateOpNormErrBound (17 "0.000003814709615412859"^^xsd:decimal) .
|
|
14
14
|
:result :gateOpNormErrBound (18 "0.0000019073496627664"^^xsd:decimal) .
|
|
15
|
-
:result :gateOpNormErrBound (19 "9.536735451343148e-7"^^xsd:
|
|
15
|
+
:result :gateOpNormErrBound (19 "9.536735451343148e-7"^^xsd:double) .
|
|
16
16
|
:result :gateOpNormErrBound (2 "0.13333333333333341"^^xsd:decimal) .
|
|
17
|
-
:result :gateOpNormErrBound (20 "4.768370941432565e-7"^^xsd:
|
|
17
|
+
:result :gateOpNormErrBound (20 "4.768370941432565e-7"^^xsd:double) .
|
|
18
18
|
:result :gateOpNormErrBound (3 "0.06060606060606066"^^xsd:decimal) .
|
|
19
19
|
:result :gateOpNormErrBound (4 "0.031620553359683834"^^xsd:decimal) .
|
|
20
20
|
:result :gateOpNormErrBound (5 "0.01545893719806768"^^xsd:decimal) .
|
|
@@ -117,9 +117,9 @@
|
|
|
117
117
|
:result :phaseAbsErrBoundL1 (16 "0.000007629460390234932"^^xsd:decimal) .
|
|
118
118
|
:result :phaseAbsErrBoundL1 (17 "0.000003814709615412859"^^xsd:decimal) .
|
|
119
119
|
:result :phaseAbsErrBoundL1 (18 "0.0000019073496627664"^^xsd:decimal) .
|
|
120
|
-
:result :phaseAbsErrBoundL1 (19 "9.536735451343148e-7"^^xsd:
|
|
120
|
+
:result :phaseAbsErrBoundL1 (19 "9.536735451343148e-7"^^xsd:double) .
|
|
121
121
|
:result :phaseAbsErrBoundL1 (2 "0.13333333333333341"^^xsd:decimal) .
|
|
122
|
-
:result :phaseAbsErrBoundL1 (20 "4.768370941432565e-7"^^xsd:
|
|
122
|
+
:result :phaseAbsErrBoundL1 (20 "4.768370941432565e-7"^^xsd:double) .
|
|
123
123
|
:result :phaseAbsErrBoundL1 (3 "0.06060606060606066"^^xsd:decimal) .
|
|
124
124
|
:result :phaseAbsErrBoundL1 (4 "0.031620553359683834"^^xsd:decimal) .
|
|
125
125
|
:result :phaseAbsErrBoundL1 (5 "0.01545893719806768"^^xsd:decimal) .
|
|
@@ -137,10 +137,10 @@
|
|
|
137
137
|
:result :phaseCompErrBound (15 "0.000007629542710718695"^^xsd:decimal) .
|
|
138
138
|
:result :phaseCompErrBound (16 "0.000003814730195117466"^^xsd:decimal) .
|
|
139
139
|
:result :phaseCompErrBound (17 "0.0000019073548077064295"^^xsd:decimal) .
|
|
140
|
-
:result :phaseCompErrBound (18 "9.536748313832e-7"^^xsd:
|
|
141
|
-
:result :phaseCompErrBound (19 "4.768367725671574e-7"^^xsd:
|
|
140
|
+
:result :phaseCompErrBound (18 "9.536748313832e-7"^^xsd:double) .
|
|
141
|
+
:result :phaseCompErrBound (19 "4.768367725671574e-7"^^xsd:double) .
|
|
142
142
|
:result :phaseCompErrBound (2 "0.06666666666666671"^^xsd:decimal) .
|
|
143
|
-
:result :phaseCompErrBound (20 "2.3841854707162824e-7"^^xsd:
|
|
143
|
+
:result :phaseCompErrBound (20 "2.3841854707162824e-7"^^xsd:double) .
|
|
144
144
|
:result :phaseCompErrBound (3 "0.03030303030303033"^^xsd:decimal) .
|
|
145
145
|
:result :phaseCompErrBound (4 "0.015810276679841917"^^xsd:decimal) .
|
|
146
146
|
:result :phaseCompErrBound (5 "0.00772946859903384"^^xsd:decimal) .
|
|
@@ -243,9 +243,9 @@
|
|
|
243
243
|
:result :sWidth (16 "0.000007629460390234932"^^xsd:decimal) .
|
|
244
244
|
:result :sWidth (17 "0.000003814709615412859"^^xsd:decimal) .
|
|
245
245
|
:result :sWidth (18 "0.0000019073496627664"^^xsd:decimal) .
|
|
246
|
-
:result :sWidth (19 "9.536735451343148e-7"^^xsd:
|
|
246
|
+
:result :sWidth (19 "9.536735451343148e-7"^^xsd:double) .
|
|
247
247
|
:result :sWidth (2 "0.13333333333333341"^^xsd:decimal) .
|
|
248
|
-
:result :sWidth (20 "4.768370941432565e-7"^^xsd:
|
|
248
|
+
:result :sWidth (20 "4.768370941432565e-7"^^xsd:double) .
|
|
249
249
|
:result :sWidth (3 "0.06060606060606066"^^xsd:decimal) .
|
|
250
250
|
:result :sWidth (4 "0.031620553359683834"^^xsd:decimal) .
|
|
251
251
|
:result :sWidth (5 "0.01545893719806768"^^xsd:decimal) .
|
package/eyeling.js
CHANGED
|
@@ -9915,9 +9915,15 @@ function termToN3(t, pref) {
|
|
|
9915
9915
|
}
|
|
9916
9916
|
|
|
9917
9917
|
if (!dt) return t.value; // keep numbers, booleans, lang-tagged strings, etc.
|
|
9918
|
-
|
|
9918
|
+
|
|
9919
|
+
// xsd:decimal does not allow exponent notation in its lexical space.
|
|
9920
|
+
// Internal numeric evaluation may still carry such literals around; when
|
|
9921
|
+
// serializing, normalize only the *printed datatype* to xsd:double so the
|
|
9922
|
+
// emitted N3 stays valid without changing internal reasoning behavior.
|
|
9923
|
+
const outDt = dt === XSD_NS + 'decimal' && /[eE]/.test(stripQuotes(lex)) ? XSD_NS + 'double' : dt;
|
|
9924
|
+
const qdt = pref.shrinkIri(outDt);
|
|
9919
9925
|
if (qdt !== null) return `${lex}^^${qdt}`; // e.g. ^^rdf:JSON
|
|
9920
|
-
return `${lex}^^<${
|
|
9926
|
+
return `${lex}^^<${outDt}>`; // fallback
|
|
9921
9927
|
}
|
|
9922
9928
|
if (t instanceof Var) return `?${t.name}`;
|
|
9923
9929
|
if (t instanceof Blank) return t.label;
|
package/lib/printing.js
CHANGED
|
@@ -59,9 +59,15 @@ function termToN3(t, pref) {
|
|
|
59
59
|
}
|
|
60
60
|
|
|
61
61
|
if (!dt) return t.value; // keep numbers, booleans, lang-tagged strings, etc.
|
|
62
|
-
|
|
62
|
+
|
|
63
|
+
// xsd:decimal does not allow exponent notation in its lexical space.
|
|
64
|
+
// Internal numeric evaluation may still carry such literals around; when
|
|
65
|
+
// serializing, normalize only the *printed datatype* to xsd:double so the
|
|
66
|
+
// emitted N3 stays valid without changing internal reasoning behavior.
|
|
67
|
+
const outDt = dt === XSD_NS + 'decimal' && /[eE]/.test(stripQuotes(lex)) ? XSD_NS + 'double' : dt;
|
|
68
|
+
const qdt = pref.shrinkIri(outDt);
|
|
63
69
|
if (qdt !== null) return `${lex}^^${qdt}`; // e.g. ^^rdf:JSON
|
|
64
|
-
return `${lex}^^<${
|
|
70
|
+
return `${lex}^^<${outDt}>`; // fallback
|
|
65
71
|
}
|
|
66
72
|
if (t instanceof Var) return `?${t.name}`;
|
|
67
73
|
if (t instanceof Blank) return t.label;
|