diff --git a/scripts/fix-gray.sh b/scripts/fix-gray.sh new file mode 100755 index 000000000..93f465d1c --- /dev/null +++ b/scripts/fix-gray.sh @@ -0,0 +1,13 @@ +#!/bin/bash + +rm -f /tmp/file.pdf +mv $1 /tmp/file.pdf +gs \ + -sOutputFile=$1 \ + -sDEVICE=pdfwrite \ + -sColorConversionStrategy=Gray \ + -dProcessColorModel=/DeviceGray \ + -dCompatibilityLevel=1.4 \ + -dNOPAUSE \ + -dBATCH \ + /tmp/file.pdf diff --git a/static/img_javascript/Fig2.14b.std.svg b/static/img_javascript/Fig2.14b.std.svg index e58a24e01..b8d4530c7 100644 --- a/static/img_javascript/Fig2.14b.std.svg +++ b/static/img_javascript/Fig2.14b.std.svg @@ -8,7 +8,7 @@ xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" - inkscape:version="1.0rc1 (09960d6, 2020-04-09)" + inkscape:version="0.92.5 (2060ec1f9f, 2020-04-08)" sodipodi:docname="Fig2.14b.std.svg" version="1.1" style="display:inline" @@ -19,15 +19,15 @@ inkscape:document-rotation="0" inkscape:current-layer="svg68045" inkscape:window-maximized="0" - inkscape:window-y="23" + inkscape:window-y="32" inkscape:window-x="0" inkscape:cy="530.82098" - inkscape:cx="282.05932" + inkscape:cx="112.884" inkscape:zoom="1.3092926" showgrid="false" id="namedview24" - inkscape:window-height="804" - inkscape:window-width="1440" + inkscape:window-height="2095" + inkscape:window-width="1914" inkscape:pageshadow="2" inkscape:pageopacity="0" guidetolerance="10" @@ -91,28 +91,28 @@ id="layer7" transform="translate(-28.231255,-40.362183)"> right_split(wave, 4) + y="342.87305" + id="tspan19" + style="font-size:20px">right_split(wave, 4) right_split(rogers, 4) @@ -182,8 +187,8 @@ y="713.51953" id="text94932" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24px;line-height:125%;font-family:Latin Modern Mono;-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:end;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:end;fill:#383838;fill-opacity:1;stroke:none">corner_split(wave, 4) @@ -192,8 +197,8 @@ y="713.51953" id="text94940" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24px;line-height:125%;font-family:Latin Modern Mono;-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:end;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:end;fill:#383838;fill-opacity:1;stroke:none">corner_split(rogers, 4) diff --git a/static/img_javascript/Fig2.14b.std.svg.pdf b/static/img_javascript/Fig2.14b.std.svg.pdf index 253ddb178..89a680dc7 100644 Binary files a/static/img_javascript/Fig2.14b.std.svg.pdf and b/static/img_javascript/Fig2.14b.std.svg.pdf differ diff --git a/static/img_javascript/Fig3.30b.svg.pdf b/static/img_javascript/Fig3.30b.svg.pdf index 01bd22ad2..64032ebcf 100644 Binary files a/static/img_javascript/Fig3.30b.svg.pdf and b/static/img_javascript/Fig3.30b.svg.pdf differ diff --git a/static/img_javascript/Fig4.4a.std.pdf b/static/img_javascript/Fig4.4a.std.pdf index 2ef1c0f86..9b2cb1fc5 100644 Binary files a/static/img_javascript/Fig4.4a.std.pdf and b/static/img_javascript/Fig4.4a.std.pdf differ diff --git a/static/img_javascript/Fig4.4a.std.svg b/static/img_javascript/Fig4.4a.std.svg index 70b9cce22..7ef997e76 100644 --- a/static/img_javascript/Fig4.4a.std.svg +++ b/static/img_javascript/Fig4.4a.std.svg @@ -24,15 +24,15 @@ guidetolerance="10" inkscape:pageopacity="0" inkscape:pageshadow="2" - inkscape:window-width="1914" - inkscape:window-height="2095" + inkscape:window-width="3840" + inkscape:window-height="2160" id="namedview30" showgrid="false" - inkscape:zoom="1.078341" - inkscape:cx="138.9473" - inkscape:cy="127.15411" + inkscape:zoom="3.0500089" + inkscape:cx="429.27432" + inkscape:cy="133.05573" inkscape:window-x="0" - inkscape:window-y="32" + inkscape:window-y="0" inkscape:window-maximized="0" inkscape:current-layer="svg4154" inkscape:document-rotation="0" @@ -52,7 +52,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 Z" transform="matrix(-0.4,0,0,-0.4,-4,0)" id="path4415" - style="fill:#383838;fill-rule:evenodd;stroke:#383838;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> image/svg+xml - + @@ -139,19 +139,19 @@ x="222.44522" y="77.686752" id="rect6788-7-9" - style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#383838;stroke-width:1.01467;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:1.01467;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="fill:none;stroke:#000000;stroke-width:1.48819;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.48819;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.48819;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow1Mend)" /> input streaminput streamof frames + y="119.74185" + id="tspan858">of frames output stream of frames,output stream of frames,filtered and extended + y="119.74129" + id="tspan860">filtered and extended query + style="-inkscape-font-specification:'Latin Modern Mono';font-family:'Latin Modern Mono';font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal;font-size:22px">query job($x, $y) + style="-inkscape-font-specification:'Latin Modern Mono';font-family:'Latin Modern Mono';font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal;font-size:22px">job($x, $y) stream of assertionsstream of assertionsfrom data base + id="tspan864">from data base diff --git a/static/img_javascript/Fig4.4a.std.svg.pdf b/static/img_javascript/Fig4.4a.std.svg.pdf index 75f36faa4..0dac5f546 100644 Binary files a/static/img_javascript/Fig4.4a.std.svg.pdf and b/static/img_javascript/Fig4.4a.std.svg.pdf differ diff --git a/static/img_javascript/Fig4.5a.std.pdf b/static/img_javascript/Fig4.5a.std.pdf index 0caedc200..72e8914d6 100644 Binary files a/static/img_javascript/Fig4.5a.std.pdf and b/static/img_javascript/Fig4.5a.std.pdf differ diff --git a/static/img_javascript/Fig4.5a.std.svg b/static/img_javascript/Fig4.5a.std.svg index 5252a6edb..f2b15c7d9 100644 --- a/static/img_javascript/Fig4.5a.std.svg +++ b/static/img_javascript/Fig4.5a.std.svg @@ -29,9 +29,9 @@ inkscape:window-height="2160" id="namedview46" showgrid="false" - inkscape:zoom="1.0883721" - inkscape:cx="133.2265" - inkscape:cy="129" + inkscape:zoom="4.3534884" + inkscape:cx="336.76854" + inkscape:cy="117.05556" inkscape:window-x="0" inkscape:window-y="0" inkscape:window-maximized="0" @@ -48,7 +48,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z" transform="matrix(-0.4,0,0,-0.4,-4,0)" id="path4415" - style="fill:#383838;fill-rule:evenodd;stroke:#383838;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> image/svg+xml - + @@ -166,13 +166,13 @@ + style="fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:1.01467431;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;display:inline" /> @@ -189,7 +189,7 @@ x="268.0816" y="109.61853" id="rect6788-7-2-7" - style="fill:#ffffff;fill-opacity:1;stroke:#383838;stroke-width:1.01467431;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;display:inline" /> + style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1.01467431;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;display:inline" /> + style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1.01467431;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1.4881891;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.4881891;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.4881891;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.4881891;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.4881891;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> + style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1.0629921;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1.4881891;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend);display:inline" /> and(A, B) + style="-inkscape-font-specification:'Latin Modern Mono';font-family:'Latin Modern Mono';font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal;font-size:22px">and(A, B) data base + id="tspan5631" + style="font-size:24.4px">data base input streaminput streamof frames + y="119.86096" + id="tspan888" + style="line-height:29.33333397px">of frames output streamoutput streamof frames + id="tspan892">of frames A + style="-inkscape-font-specification:'Latin Modern Mono';font-family:'Latin Modern Mono';font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal;font-size:22px">A B + style="-inkscape-font-specification:'Latin Modern Mono';font-family:'Latin Modern Mono';font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal;font-size:22px">B diff --git a/static/img_javascript/Fig4.5a.std.svg.pdf b/static/img_javascript/Fig4.5a.std.svg.pdf index 2ddb6323d..94d49774d 100644 Binary files a/static/img_javascript/Fig4.5a.std.svg.pdf and b/static/img_javascript/Fig4.5a.std.svg.pdf differ diff --git a/static/img_javascript/Fig4.6a.std.pdf b/static/img_javascript/Fig4.6a.std.pdf index dcfec0463..ec8a6d3a1 100644 Binary files a/static/img_javascript/Fig4.6a.std.pdf and b/static/img_javascript/Fig4.6a.std.pdf differ diff --git a/static/img_javascript/Fig4.6a.std.svg b/static/img_javascript/Fig4.6a.std.svg index 39ebcdd51..ed23eb878 100644 --- a/static/img_javascript/Fig4.6a.std.svg +++ b/static/img_javascript/Fig4.6a.std.svg @@ -12,7 +12,7 @@ id="svg5767" version="1.1" sodipodi:docname="Fig4.6a.std.svg" - inkscape:version="1.0.1 (c497b03c, 2020-09-10)"> + inkscape:version="0.92.5 (2060ec1f9f, 2020-04-08)"> @@ -46,7 +46,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z" transform="matrix(-0.4,0,0,-0.4,-4,0)" id="path4415" - style="fill:#383838;fill-rule:evenodd;stroke:#383838;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:1.01467419;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;display:inline" /> + style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1.0629921;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;display:inline" /> + style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1.0629921;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1.48818886;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.48818886;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.48818886;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.48818886;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.48818886;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.48818886;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.48818886;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:none;stroke:#000000;stroke-width:1.48818886;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> + style="fill:none;stroke:#000000;stroke-width:1.48818886;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> + style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;display:inline" /> merge + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';font-size:11.52381018px">merge + style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;display:inline" /> A + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';font-size:11.52381018px">A + style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;display:inline" /> B + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';font-size:11.52381018px">B or(A, B) + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';font-size:22px">or(A, B) data base + id="tspan5631-3" + style="font-size:24.4px">data base output stream -output streamof frames + y="167.4686" + id="tspan961">of frames input streaminput streamof frames + y="146.88341" + id="tspan956">of frames diff --git a/static/img_javascript/Fig4.6a.std.svg.pdf b/static/img_javascript/Fig4.6a.std.svg.pdf index a24a9de9d..41e8c4911 100644 Binary files a/static/img_javascript/Fig4.6a.std.svg.pdf and b/static/img_javascript/Fig4.6a.std.svg.pdf differ diff --git a/static/img_javascript/Fig5.11b.std.svg b/static/img_javascript/Fig5.11b.std.svg index 71b8d62f0..3ed322839 100644 --- a/static/img_javascript/Fig5.11b.std.svg +++ b/static/img_javascript/Fig5.11b.std.svg @@ -52,7 +52,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 Z" transform="matrix(-0.4,0,0,-0.4,-4,0)" id="path4415" - style="fill:#383838;fill-rule:evenodd;stroke:#383838;stroke-width:1.00000003pt;marker-start:none" + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;marker-start:none" inkscape:connector-curvature="0" /> @@ -92,7 +92,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 Z" transform="matrix(-0.4,0,0,-0.4,-4,0)" id="path127" - style="fill:#383838;fill-rule:evenodd;stroke:#383838;stroke-width:1.00000003pt;marker-start:none" + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;marker-start:none" inkscape:connector-curvature="0" /> @@ -342,7 +342,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 Z" transform="matrix(-0.4,0,0,-0.4,-4,0)" id="path206" - style="fill:#383838;fill-rule:evenodd;stroke:#383838;stroke-width:1.00000003pt;marker-start:none" + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;marker-start:none" inkscape:connector-curvature="0" /> @@ -599,7 +599,7 @@ style="display:inline" id="layer2" transform="translate(-7.7046566,-39.197702)"> @@ -609,12 +609,12 @@ path - style="display:inline;fill:none;stroke:#383838;stroke-width:1.01467347;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" + style="display:inline;fill:none;stroke:#000000;stroke-width:1.01467347;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" id="rect6788-7-2-7-4-3-4-8-3-7" d="m 445.9685,445.61892 h 45.81814 c 5.72727,0 8.74019,-3.77068 5.72727,-9.54545 l -22.90907,-43.90905 c -2.99386,-5.72727 -8.41979,-5.667 -11.45454,0 l -22.90907,43.90905 c -3.01292,5.77477 0,9.54545 5.72727,9.54545 z" inkscape:connector-curvature="0" /> after_fact @@ -983,7 +983,7 @@ y="368.23944" id="text5286" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:start;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#383838;fill-opacity:1;stroke:none">fact_done @@ -992,21 +992,21 @@ y="393.05759" id="text4051" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">1 = @@ -1022,13 +1022,13 @@ x="30" y="82.362183" id="rect6788-7-2-7-4-3" - style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#383838;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> val @@ -1045,13 +1045,13 @@ x="180" y="82.362183" id="rect6788-7-2-7-4-3-3" - style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#383838;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> n @@ -1068,13 +1068,13 @@ x="290" y="82.362183" id="rect6788-7-2-7-4-3-0" - style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#383838;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> stack @@ -1084,7 +1084,7 @@ y="270.0137" id="text6689-7-1-4" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">continue @@ -1093,7 +1093,7 @@ y="270.91382" id="text6689-7-1-3-1-1" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">* @@ -1102,7 +1102,7 @@ y="270.23572" id="text6689-7-1-3-1-1-3" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">sn @@ -1121,7 +1121,7 @@ y="174.69824" id="text4978" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">rn @@ -1130,7 +1130,7 @@ y="202.14865" id="text5268" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:start;letter-spacing:0px;word-spacing:0px;text-anchor:start;display:inline;fill:#383838;fill-opacity:1;stroke:none">sc @@ -1139,7 +1139,7 @@ y="202.14865" id="text5272" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:end;letter-spacing:0px;word-spacing:0px;text-anchor:end;display:inline;fill:#383838;fill-opacity:1;stroke:none">rc @@ -1148,7 +1148,7 @@ y="268.9668" id="text5316" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:start;letter-spacing:0px;word-spacing:0px;text-anchor:start;display:inline;fill:#383838;fill-opacity:1;stroke:none">controller @@ -1238,7 +1238,7 @@ x="178.65306" y="118.92238" /> diff --git a/static/img_javascript/Fig5.11b.std.svg.pdf b/static/img_javascript/Fig5.11b.std.svg.pdf index 3f38aa860..a0986a030 100644 Binary files a/static/img_javascript/Fig5.11b.std.svg.pdf and b/static/img_javascript/Fig5.11b.std.svg.pdf differ diff --git a/static/img_javascript/Fig5.14b.std.pdf b/static/img_javascript/Fig5.14b.std.pdf index a543d3c50..3661ed50e 100644 Binary files a/static/img_javascript/Fig5.14b.std.pdf and b/static/img_javascript/Fig5.14b.std.pdf differ diff --git a/static/img_javascript/Fig5.14b.std.svg b/static/img_javascript/Fig5.14b.std.svg index 01be21a9e..7b9b0037f 100644 --- a/static/img_javascript/Fig5.14b.std.svg +++ b/static/img_javascript/Fig5.14b.std.svg @@ -30,9 +30,9 @@ inkscape:window-height="2160" id="namedview4789" showgrid="false" - inkscape:zoom="1.3734749" - inkscape:cx="-117.23261" - inkscape:cy="295.15459" + inkscape:zoom="2.7469498" + inkscape:cx="360.7521" + inkscape:cy="112.99266" inkscape:window-x="0" inkscape:window-y="0" inkscape:window-maximized="0" @@ -53,7 +53,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 Z" transform="matrix(0.4,0,0,0.4,4,0)" id="path4565-5" - style="fill:#383838;fill-rule:evenodd;stroke:#383838;stroke-width:1.00000003pt;marker-start:none" + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;marker-start:none" inkscape:connector-curvature="0" /> @@ -507,7 +507,7 @@ y="90.219322" id="text2985" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10.47700024px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';letter-spacing:0px;word-spacing:0px;fill:#383838;fill-opacity:1;stroke:none"> +---+---+ +---+ +---+---+ +---+---+ +---+---+ +---+ + style="display:inline;fill:none;stroke:#000000;stroke-width:0.88582677;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> @@ -630,83 +630,83 @@ x="220" y="162.36218" id="rect3794-7" - style="fill:none;stroke:#383838;stroke-width:0.88582677;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="fill:none;stroke:#000000;stroke-width:0.88582677;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> 0 1 2 3 4 5 6 7 8 ... Index + style="-inkscape-font-specification:'Times LT Std';font-family:'Times LT Std';font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal;font-size:22px">Index the_heads the_tails p5 n3 n4 n1 n2 ... p2 p4 e0 p7 e0 + style="display:inline;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1.01467383;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1.01467383;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1.01467383;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1.01467383;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1.01467383;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:none;stroke:#000000;stroke-width:1.48818827;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" /> + style="fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:1.01467383;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" /> + style="fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:1.01467383;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" /> + style="fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:1.01467383;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" /> + style="fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:1.01467383;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0" /> Just before garbage collection + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Times';-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:center;writing-mode:lr-tb;text-anchor:middle">Just before garbage collection mixture of useful data and garbage + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Times';-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:center;writing-mode:lr-tb;text-anchor:middle">mixture of useful data and garbage free memory + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Times';-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:center;writing-mode:lr-tb;text-anchor:middle">free memory Just after garbage collection + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Times';-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:center;writing-mode:lr-tb;text-anchor:middle">Just after garbage collection discarded memory + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Times';-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:center;writing-mode:lr-tb;text-anchor:middle">discarded memory useful data + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Times';-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:center;writing-mode:lr-tb;text-anchor:middle">useful data free area + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Times';-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:center;writing-mode:lr-tb;text-anchor:middle">free area workingworking memory + y="135.46176" + id="tspan896">memory freefree memory + y="259.55264" + id="tspan898">memory newnew freefree memory + y="394.76196" + id="tspan902">memory newnew workingworking memory + y="518.85284" + id="tspan906">memory the_heads @@ -334,7 +344,7 @@ y="139.17262" id="text9428" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:Latin Modern Mono;-inkscape-font-specification:Latin Modern Mono;text-align:end;letter-spacing:0px;word-spacing:0px;text-anchor:end;fill:#383838;fill-opacity:1;stroke:none">the_tails @@ -343,7 +353,7 @@ y="480.8804" id="text9424-2" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:Latin Modern Mono;-inkscape-font-specification:Latin Modern Mono;text-align:end;letter-spacing:0px;word-spacing:0px;text-anchor:end;fill:#383838;fill-opacity:1;stroke:none">the_heads @@ -352,7 +362,7 @@ y="511.92728" id="text9428-3" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:Latin Modern Mono;-inkscape-font-specification:Latin Modern Mono;text-align:end;letter-spacing:0px;word-spacing:0px;text-anchor:end;fill:#383838;fill-opacity:1;stroke:none">the_tails @@ -361,7 +371,7 @@ y="356.78955" id="text9424-6" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:Latin Modern Mono;-inkscape-font-specification:Latin Modern Mono;text-align:end;letter-spacing:0px;word-spacing:0px;text-anchor:end;fill:#383838;fill-opacity:1;stroke:none">new_heads @@ -370,7 +380,7 @@ y="387.83643" id="text9428-36" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:Latin Modern Mono;-inkscape-font-specification:Latin Modern Mono;text-align:end;letter-spacing:0px;word-spacing:0px;text-anchor:end;fill:#383838;fill-opacity:1;stroke:none">new_tails @@ -379,7 +389,7 @@ y="232.69867" id="text9424-6-3" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:Latin Modern Mono;-inkscape-font-specification:Latin Modern Mono;text-align:end;letter-spacing:0px;word-spacing:0px;text-anchor:end;fill:#383838;fill-opacity:1;stroke:none">new_heads @@ -388,14 +398,14 @@ y="263.74557" id="text9428-36-8" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:Latin Modern Mono;-inkscape-font-specification:Latin Modern Mono;text-align:end;letter-spacing:0px;word-spacing:0px;text-anchor:end;fill:#383838;fill-opacity:1;stroke:none">new_tails diff --git a/static/img_javascript/Fig5.15c.std.svg.pdf b/static/img_javascript/Fig5.15c.std.svg.pdf index d172766ca..27e45826a 100644 Binary files a/static/img_javascript/Fig5.15c.std.svg.pdf and b/static/img_javascript/Fig5.15c.std.svg.pdf differ diff --git a/static/img_javascript/Fig5.4c.std.pdf b/static/img_javascript/Fig5.4c.std.pdf index 55ecbf79a..77572257f 100644 Binary files a/static/img_javascript/Fig5.4c.std.pdf and b/static/img_javascript/Fig5.4c.std.pdf differ diff --git a/static/img_javascript/Fig5.4c.std.svg b/static/img_javascript/Fig5.4c.std.svg index 72e9839f6..f9c0e3002 100644 --- a/static/img_javascript/Fig5.4c.std.svg +++ b/static/img_javascript/Fig5.4c.std.svg @@ -53,7 +53,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 Z" transform="matrix(-0.4,0,0,-0.4,-4,0)" id="path4415" - style="fill:#383838;fill-rule:evenodd;stroke:#383838;stroke-width:1.00000003pt;marker-start:none" + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;marker-start:none" inkscape:connector-curvature="0" /> @@ -280,55 +280,55 @@ + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:1.01467526;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:1.01467526;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:1.01467526;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> prompt @@ -535,7 +535,7 @@ y="262.48129" id="text6689-7-1" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">a @@ -544,7 +544,7 @@ y="262.48129" id="text6689-7-1-5" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">b @@ -553,7 +553,7 @@ y="568.61792" id="text6689-7-1-3" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">t @@ -562,7 +562,7 @@ y="414.52686" id="text6689-7-1-3-1-1" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">rem @@ -571,7 +571,7 @@ y="288.16165" id="text4630" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">0 @@ -610,7 +610,7 @@ y="262.52524" id="text4171" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">= @@ -619,7 +619,7 @@ y="414.52686" id="text6689-7-1-3-1-3" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">display @@ -628,7 +628,7 @@ y="194.61612" id="text4630-9" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:end;letter-spacing:0px;word-spacing:0px;text-anchor:end;display:inline;fill:#383838;fill-opacity:1;stroke:none">P diff --git a/static/img_javascript/Fig5.4c.std.svg.pdf b/static/img_javascript/Fig5.4c.std.svg.pdf index ed542983b..253d74369 100644 Binary files a/static/img_javascript/Fig5.4c.std.svg.pdf and b/static/img_javascript/Fig5.4c.std.svg.pdf differ diff --git a/static/img_javascript/Fig5.7b.std.svg b/static/img_javascript/Fig5.7b.std.svg index b69fc07df..b4d7ff648 100644 --- a/static/img_javascript/Fig5.7b.std.svg +++ b/static/img_javascript/Fig5.7b.std.svg @@ -53,7 +53,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 Z" transform="matrix(-0.4,0,0,-0.4,-4,0)" id="path4415" - style="fill:#383838;fill-rule:evenodd;stroke:#383838;stroke-width:1.00000003pt;marker-start:none" + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;marker-start:none" inkscape:connector-curvature="0" /> @@ -280,100 +280,100 @@ + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> a @@ -415,13 +415,13 @@ x="165" y="52.362183" id="rect6788-7-2-7-4-3-6" - style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#383838;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> b @@ -438,13 +438,13 @@ x="107.55355" y="212.36218" id="rect6788-7-2-7-4-3-4" - style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#383838;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> t @@ -454,7 +454,7 @@ y="269.28107" id="text6689-7-1-3-1" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">rem @@ -463,7 +463,7 @@ y="162.00694" id="text4630" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none"> 0 @@ -515,14 +515,14 @@ d="m 310,72.362183 a 15,15 0 1 1 -30,0 15,15 0 1 1 30,0 z" transform="translate(-35,-5)" id="path4082" - style="display:inline;fill:none;stroke:#383838;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" + style="display:inline;fill:none;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" inkscape:connector-curvature="0" /> = @@ -534,100 +534,100 @@ + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> c @@ -664,13 +664,13 @@ x="425" y="52.362183" id="rect6788-7-2-7-4-3-6-3" - style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#383838;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> d @@ -687,13 +687,13 @@ x="322.55356" y="212.36218" id="rect6788-7-2-7-4-3-4-7" - style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#383838;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> s @@ -703,7 +703,7 @@ y="660.64453" id="text6689-7-1-3-1-4" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:Sans;text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">rem @@ -712,7 +712,7 @@ y="553.37048" id="text4630-8" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none"> 0 @@ -764,14 +764,14 @@ d="m 310,72.362183 a 15,15 0 1 1 -30,0 15,15 0 1 1 30,0 z" transform="translate(225,-5)" id="path4082-4" - style="display:inline;fill:none;stroke:#383838;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" + style="display:inline;fill:none;stroke:#000000;stroke-width:0.53149605;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" inkscape:connector-curvature="0" /> = diff --git a/static/img_javascript/Fig5.7b.std.svg.pdf b/static/img_javascript/Fig5.7b.std.svg.pdf index 73ec31372..aeb3fca59 100644 Binary files a/static/img_javascript/Fig5.7b.std.svg.pdf and b/static/img_javascript/Fig5.7b.std.svg.pdf differ diff --git a/static/img_javascript/cc_1.jpg b/static/img_javascript/cc_1.jpg deleted file mode 100644 index 90be9d3ef..000000000 Binary files a/static/img_javascript/cc_1.jpg and /dev/null differ diff --git a/static/img_javascript/cc_1.png b/static/img_javascript/cc_1.png deleted file mode 100644 index 9c53d383c..000000000 Binary files a/static/img_javascript/cc_1.png and /dev/null differ diff --git a/static/img_javascript/cc_2.jpg b/static/img_javascript/cc_2.jpg deleted file mode 100644 index 8e2c4f587..000000000 Binary files a/static/img_javascript/cc_2.jpg and /dev/null differ diff --git a/static/img_javascript/cc_2.png b/static/img_javascript/cc_2.png deleted file mode 100644 index d6d66f6a1..000000000 Binary files a/static/img_javascript/cc_2.png and /dev/null differ diff --git a/static/img_javascript/cc_3.jpg b/static/img_javascript/cc_3.jpg deleted file mode 100644 index 763819d5b..000000000 Binary files a/static/img_javascript/cc_3.jpg and /dev/null differ diff --git a/static/img_javascript/cc_3.png b/static/img_javascript/cc_3.png deleted file mode 100644 index a7a5304c4..000000000 Binary files a/static/img_javascript/cc_3.png and /dev/null differ diff --git a/static/img_javascript/ch1-Z-G-1.svg b/static/img_javascript/ch1-Z-G-1.svg index bad4bcc5b..3724f8bd5 100644 --- a/static/img_javascript/ch1-Z-G-1.svg +++ b/static/img_javascript/ch1-Z-G-1.svg @@ -56,7 +56,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 Z" transform="matrix(-0.4,0,0,-0.4,-4,0)" id="path3842" - style="fill-rule:evenodd;stroke:#383838;stroke-width:1.00000003pt;marker-start:none" + style="fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;marker-start:none" inkscape:connector-curvature="0" /> @@ -122,7 +122,7 @@ y="283.07648" id="text3021" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:Latin Modern Mono;-inkscape-font-specification:Latin Modern Mono;letter-spacing:0px;word-spacing:0px;fill:#383838;fill-opacity:1;stroke:none"> @@ -131,7 +131,7 @@ y="258.79074" id="text3025" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Courier New';-inkscape-font-specification:'Courier New';letter-spacing:0px;word-spacing:0px;fill:#383838;fill-opacity:1;stroke:none"> @@ -140,7 +140,7 @@ y="258.79074" id="text3029" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';letter-spacing:0px;word-spacing:0px;fill:#383838;fill-opacity:1;stroke:none"> @@ -149,7 +149,7 @@ y="250.93361" id="text3033" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:FreeMono;-inkscape-font-specification:FreeMono;letter-spacing:0px;word-spacing:0px;fill:#383838;fill-opacity:1;stroke:none"> @@ -158,7 +158,7 @@ y="254.50504" id="text3037" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:FreeMono;-inkscape-font-specification:FreeMono;letter-spacing:0px;word-spacing:0px;fill:#383838;fill-opacity:1;stroke:none"> @@ -167,7 +167,7 @@ y="258.79074" id="text3041" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Liberation Mono';-inkscape-font-specification:'Liberation Mono';letter-spacing:0px;word-spacing:0px;fill:#383838;fill-opacity:1;stroke:none"> @@ -196,7 +196,7 @@ y="258.07648" id="text3053" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;line-height:125%;font-family:LMMono12;-inkscape-font-specification:LMMono12;letter-spacing:0px;word-spacing:0px;fill:#383838;fill-opacity:1;stroke:none"> @@ -215,7 +215,7 @@ y="221.6479" id="text3061" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24px;line-height:125%;font-family:LMMono12;-inkscape-font-specification:LMMono12;letter-spacing:0px;word-spacing:0px;fill:#383838;fill-opacity:1;stroke:none"> @@ -224,52 +224,52 @@ y="396.64789" id="text3065" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24px;line-height:125%;font-family:LMMono12;-inkscape-font-specification:LMMono12;letter-spacing:0px;word-spacing:0px;fill:#383838;fill-opacity:1;stroke:none"> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#ffffff;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#ffffff;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> @@ -156,7 +156,7 @@ y="76.687393" id="text8005" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:150%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;fill:#383838"> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" /> @@ -303,7 +303,7 @@ transform="translate(119.375,120.50487)" id="text5042" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none"> @@ -312,7 +312,7 @@ y="-59.808353" id="text5046" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none"> @@ -332,7 +332,7 @@ y="16.073187" id="text5054" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(3) fib(3) @@ -359,7 +359,7 @@ y="94.448578" id="text5066" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(2) @@ -368,7 +368,7 @@ y="94.365906" id="text5070" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(2) @@ -377,7 +377,7 @@ y="94.448578" id="text5074" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(1) @@ -386,7 +386,7 @@ y="173.6662" id="text5078" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(2) @@ -395,7 +395,7 @@ y="173.62218" id="text5082" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(1) @@ -404,7 +404,7 @@ y="173.62218" id="text5086" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(1) @@ -413,7 +413,7 @@ y="173.53947" id="text5090" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(0) @@ -422,7 +422,7 @@ y="173.62218" id="text5094" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(1) @@ -431,7 +431,7 @@ y="173.6662" id="text5098" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(0) @@ -440,7 +440,7 @@ y="227.68558" id="text5102" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">1 @@ -449,7 +449,7 @@ y="226.80403" id="text5106" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">1 @@ -458,7 +458,7 @@ y="227.12074" id="text5110" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">1 @@ -467,7 +467,7 @@ y="227.20348" id="text5114" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">0 @@ -476,7 +476,7 @@ y="227.28615" id="text5118" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">0 @@ -485,7 +485,7 @@ y="306.12897" id="text5122" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">0 @@ -494,7 +494,7 @@ y="306.29437" id="text5126" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">1 @@ -503,7 +503,7 @@ y="252.75708" id="text5130" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(1) @@ -512,7 +512,7 @@ y="252.7131" id="text5134" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#383838;fill-opacity:1;stroke:none">fib(0) @@ -521,7 +521,7 @@ y="148.74535" id="text5110-3" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:center;letter-spacing:0px;word-spacing:0px;text-anchor:middle;display:inline;fill:#383838;fill-opacity:1;stroke:none">1 @@ -533,111 +533,111 @@ + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:0.86456692;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:0.86585552;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" /> + style="fill:none;stroke:#000000;stroke-width:0.94250661;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:0.94250668, 2.82752002;stroke-dashoffset:0;display:inline" /> diff --git a/static/img_javascript/ch1-Z-G-13.svg.pdf b/static/img_javascript/ch1-Z-G-13.svg.pdf index a016c9b4b..d54a77a89 100644 Binary files a/static/img_javascript/ch1-Z-G-13.svg.pdf and b/static/img_javascript/ch1-Z-G-13.svg.pdf differ diff --git a/static/img_javascript/ch1-Z-G-6.svg b/static/img_javascript/ch1-Z-G-6.svg index f11e427c8..fd53b8191 100644 --- a/static/img_javascript/ch1-Z-G-6.svg +++ b/static/img_javascript/ch1-Z-G-6.svg @@ -71,7 +71,7 @@ y="277.22516" id="text3806" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:500;font-stretch:normal;font-size:20px;line-height:125%;font-family:Latin Modern Mono;-inkscape-font-specification:'Latin Modern Mono, Normal';letter-spacing:0px;word-spacing:0px;display:inline;fill:#383838;fill-opacity:1;stroke:none;text-anchor:start;text-align:start;writing-mode:lr;font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;"> @@ -122,7 +122,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 Z" transform="matrix(0.8,0,0,0.8,10,0)" id="path4631" - style="fill:#383838;fill-rule:evenodd;stroke:#383838;stroke-width:1.00000003pt;marker-start:none" + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;marker-start:none" inkscape:connector-curvature="0" /> @@ -183,7 +183,7 @@ x="182.1723" y="23.532969" id="rect3794-7-1" - style="display:inline;fill:none;fill-opacity:1;stroke:#383838;stroke-width:0.811737;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.811737;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> @@ -399,7 +399,7 @@ x="107.17252" y="63.069424" id="rect3794-7-1-0" - style="display:inline;fill:none;fill-opacity:1;stroke:#383838;stroke-width:0.8117395;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.8117395;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.8117395;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.8117395;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.8117395;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.8117395;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.8117395;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> 1 4 2 3 3 4 1 @@ -452,7 +452,7 @@ x="107.17242" y="153.53273" id="rect3794-7-1-0" - style="display:inline;fill:none;fill-opacity:1;stroke:#383838;stroke-width:0.811738;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.811738;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.811738;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.811738;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.811738;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> @@ -510,10 +510,15 @@ image/svg+xml - + - + + + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.81132936;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.81132936;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.81132936;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.81132936;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:none;fill-opacity:1;stroke:#000000;stroke-width:0.81132936;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> [1, [2, null]] + id="tspan4687">[1, [2, null]] [3, [4, null]] + id="tspan4729">[3, [4, null]] [[1, [2, null]], [3, [4, null]]] + id="tspan4683">[[1, [2, null]], [3, [4, null]]] diff --git a/static/img_javascript/ch2-Z-G-15.svg.pdf b/static/img_javascript/ch2-Z-G-15.svg.pdf index 3a9dc280a..65097ee11 100644 Binary files a/static/img_javascript/ch2-Z-G-15.svg.pdf and b/static/img_javascript/ch2-Z-G-15.svg.pdf differ diff --git a/static/img_javascript/ch2-Z-G-16.svg b/static/img_javascript/ch2-Z-G-16.svg index fc44a1d47..b455fdae7 100644 --- a/static/img_javascript/ch2-Z-G-16.svg +++ b/static/img_javascript/ch2-Z-G-16.svg @@ -9,7 +9,7 @@ xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" height="197.90005" width="409.73999" - inkscape:version="1.0rc1 (09960d6, 2020-04-09)" + inkscape:version="0.92.5 (2060ec1f9f, 2020-04-08)" sodipodi:docname="ch2-Z-G-16.svg" version="1.1" style="display:inline" @@ -25,15 +25,15 @@ fit-margin-top="0" inkscape:current-layer="svg2" inkscape:window-maximized="0" - inkscape:window-y="23" + inkscape:window-y="0" inkscape:window-x="0" - inkscape:cy="95.212045" - inkscape:cx="-183.74898" - inkscape:zoom="0.84709239" + inkscape:cy="94.585986" + inkscape:cx="261.06617" + inkscape:zoom="4.7918782" showgrid="false" id="namedview328" - inkscape:window-height="804" - inkscape:window-width="1440" + inkscape:window-height="2160" + inkscape:window-width="3840" inkscape:pageshadow="2" inkscape:pageopacity="0" guidetolerance="10" @@ -87,7 +87,7 @@ image/svg+xml - + @@ -96,7 +96,7 @@ id="layer2" transform="translate(-43.900441,-402.45211)"> @@ -239,25 +239,31 @@ id="layer3" transform="translate(-43.900441,-402.45211)"> [[1, [2, null]], [3, [4, null]]] + x="255.28043">[[1, [2, null]], [3, [4, null]]] [1, [2, null]] + x="213.28044">[1, [2, null]] 3 4 1 @@ -210,36 +210,36 @@ x="53.193272" y="69.714439" id="rect3794-77-9-4-8" - style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#383838;stroke-width:0.81173909;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.81173909;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.81173909;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.81173909;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.81173909;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.81173909;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.81173909;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.81173909;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.81173909;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> enumerate: filter: map: accumulate: enumerate: map: filter: image/svg+xml - + @@ -107,61 +107,65 @@ x="258.49637" y="34.847168" id="rect66724-4" - style="fill:none;stroke:#383838;stroke-width:1.01467514;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="fill:none;stroke:#000000;stroke-width:1.01467514;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> right_split + x="286.87119" + style="font-size:22px">right_split identity + x="95.961945" + style="font-size:22px">identity right_split + x="286.87119" + style="font-size:22px">right_split right_split(right_split(n) + style="font-style:oblique;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono Oblique';font-size:22px">n) right_split + x="200" + style="font-size:11.52379932px">right_split corner_split + x="200" + style="font-size:11.52379932px">corner_split up_split nn--1 up_split right_split + x="200" + style="font-size:11.52379932px">right_split identity + x="100" + style="font-size:11.52379932px">identity nn--1 nn--1 nn--1 nn--1 corner_split(corner_split(n) nn--1 nn--1 diff --git a/static/img_javascript/ch2-Z-G-37.svg.pdf b/static/img_javascript/ch2-Z-G-37.svg.pdf index d00da7934..ca6761a2b 100644 Binary files a/static/img_javascript/ch2-Z-G-37.svg.pdf and b/static/img_javascript/ch2-Z-G-37.svg.pdf differ diff --git a/static/img_javascript/ch2-Z-G-51.svg b/static/img_javascript/ch2-Z-G-51.svg index d0670e805..f4b2e26ef 100644 --- a/static/img_javascript/ch2-Z-G-51.svg +++ b/static/img_javascript/ch2-Z-G-51.svg @@ -42,40 +42,40 @@ --> - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + - 7 - 3 - 5 - 3 - 9 - 1 - 7 - 9 - 3 - 1 - 11 - 5 - 9 - 1 - 7 - 11 - 11 - 5 + 7 + 3 + 5 + 3 + 9 + 1 + 7 + 9 + 3 + 1 + 11 + 5 + 9 + 1 + 7 + 11 + 11 + 5 diff --git a/static/img_javascript/ch2-Z-G-51.svg.pdf b/static/img_javascript/ch2-Z-G-51.svg.pdf index 2fda82660..bb52657c0 100644 Binary files a/static/img_javascript/ch2-Z-G-51.svg.pdf and b/static/img_javascript/ch2-Z-G-51.svg.pdf differ diff --git a/static/img_javascript/ch2-Z-G-54.svg b/static/img_javascript/ch2-Z-G-54.svg index 7bc9a4dae..8ca6fd699 100644 --- a/static/img_javascript/ch2-Z-G-54.svg +++ b/static/img_javascript/ch2-Z-G-54.svg @@ -13,7 +13,7 @@ style="display:inline" version="1.1" sodipodi:docname="ch2-Z-G-54.svg" - inkscape:version="1.0.1 (c497b03c, 2020-09-10)" + inkscape:version="0.92.5 (2060ec1f9f, 2020-04-08)" width="468" height="353"> @@ -115,27 +115,27 @@ x="200" y="82.362183" id="rect3796" - style="fill:#e8e8e8;fill-opacity:1;stroke:#383838;stroke-width:1.01467;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:1.01467;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="fill:none;stroke:#000000;stroke-width:1.01467;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + style="fill:none;stroke:#000000;stroke-width:1.01467;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + style="fill:none;stroke:#000000;stroke-width:1.01467;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + style="fill:none;stroke:#000000;stroke-width:1.01467;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> + style="display:inline;fill:none;stroke:#000000;stroke-width:1.01467;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> Programs that use complex numbers + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">Programs that use complex numbers Complex-arithmetic package + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">Complex-arithmetic package List structure and primitive machine arithmetic + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">List structure and primitive machine arithmetic div_complex - Polar representation Rectangular Rectangularrepresentation + y="93.461372" + id="tspan870" + style="line-height:26.66666603px">representation + Polarrepresentation diff --git a/static/img_javascript/ch2-Z-G-54.svg.pdf b/static/img_javascript/ch2-Z-G-54.svg.pdf index 6d5303924..b58bd5d68 100644 Binary files a/static/img_javascript/ch2-Z-G-54.svg.pdf and b/static/img_javascript/ch2-Z-G-54.svg.pdf differ diff --git a/static/img_javascript/ch2-Z-G-59.svg b/static/img_javascript/ch2-Z-G-59.svg index 698bc4752..d6b2e5ad8 100644 --- a/static/img_javascript/ch2-Z-G-59.svg +++ b/static/img_javascript/ch2-Z-G-59.svg @@ -17,7 +17,7 @@ sodipodi:docname="ch2-Z-G-59.svg" width="602" height="356" - inkscape:version="0.92.2 5c3e80d, 2017-08-06"> + inkscape:version="0.92.5 (2060ec1f9f, 2020-04-08)"> @@ -157,7 +157,7 @@ image/svg+xml - + @@ -175,48 +175,48 @@ Imaginary + id="tspan3917" + style="font-size:24.4px">Imaginary Real + id="tspan3921" + style="font-size:24.4px">Real z z = x = x + iy + iy = re + style="font-style:normal;font-size:24.4px">= re A + id="tspan4193" + style="font-size:24.4px">A y + id="tspan4219" + style="font-size:24.4px">y x + id="tspan4223" + style="font-size:24.4px">x r + id="tspan4227" + style="font-size:24.4px">r + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.811739;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.811739;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.811739;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="display:inline;fill:#e8e8e8;fill-opacity:1;stroke:#000000;stroke-width:0.811739;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> Programs that use rational numbers Rational numbers in problem domain + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000;stroke-width:0.8">Rational numbers in problem domain add_rat sub_rat ... Rational numbers as numerators and denominators + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000;stroke-width:0.8">Rational numbers as numerators and denominators make_rat numer denom Rational numbers as pairs + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000;stroke-width:0.8">Rational numbers as pairs pair head tail However pairs are implemented + style="fill:#000000;stroke-width:0.8;font-size:22px">However pairs are implemented diff --git a/static/img_javascript/ch2-Z-G-6.svg.pdf b/static/img_javascript/ch2-Z-G-6.svg.pdf index 1c65b50fd..a2c0f3760 100644 Binary files a/static/img_javascript/ch2-Z-G-6.svg.pdf and b/static/img_javascript/ch2-Z-G-6.svg.pdf differ diff --git a/static/img_javascript/ch2-Z-G-62.svg b/static/img_javascript/ch2-Z-G-62.svg index d7475b5fd..d428e0fca 100644 --- a/static/img_javascript/ch2-Z-G-62.svg +++ b/static/img_javascript/ch2-Z-G-62.svg @@ -15,7 +15,7 @@ width="669" height="389" sodipodi:docname="ch2-Z-G-62.svg" - inkscape:version="1.0.1 (c497b03c, 2020-09-10)"> + inkscape:version="0.92.5 (2060ec1f9f, 2020-04-08)"> @@ -100,7 +100,7 @@ image/svg+xml - + @@ -112,7 +112,7 @@ x="-16" y="0" /> Programs that use complex numbers + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">Programs that use complex numbers Complex-arithmetic package + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">Complex-arithmetic package Rectangular Rectangular representation + y="362.38799" + id="tspan31" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:21.33329964px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east_asian:normal;fill:#000000">representation Polar Polar representation + y="362.38799" + id="tspan44" + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east_asian:normal;fill:#000000">representation List structure and primitive machine arithmetic + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">List structure and primitive machine arithmetic @@ -231,7 +241,7 @@ y="212.36218" id="text3104" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10.477px;line-height:125%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:start;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#383838;fill-opacity:1;stroke:none">image/svg+xml - + @@ -100,11 +100,11 @@ + style="fill:none;stroke:#000000;stroke-width:1.01467252;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" /> @@ -116,150 +116,166 @@ id="g874" transform="matrix(1.1214098,0,0,1.1214098,-19.372682,-37.819252)"> real_part + x="44.332474" + style="font-size:19.61816278px">real_part imag_part + x="44.332474" + style="font-size:19.61816278px">imag_part magnitude + x="44.332474" + style="font-size:19.61816278px">magnitude angle + x="44.332474" + style="font-size:19.61816278px">angle real_part_polar + x="216.15036" + style="font-size:19.61816278px">real_part_polar imag_part_polar + x="216.15036" + style="font-size:19.61816278px">imag_part_polar magnitude_polar + x="216.15036" + style="font-size:19.61816278px">magnitude_polar angle_polar + x="216.15036" + style="font-size:19.61816278px">angle_polar real_part_rectangular + x="464.33179" + style="font-size:19.61816278px">real_part_rectangular imag_part_rectangular + x="464.33179" + style="font-size:19.61816278px">imag_part_rectangular magnitude_rectangular + x="464.33179" + style="font-size:19.61816278px">magnitude_rectangular angle_rectangular + x="464.33179" + style="font-size:19.61816278px">angle_rectangular Types + id="tspan4525" + style="font-size:24.4px">Types Polar + id="tspan4529" + style="font-size:24.4px">Polar Rectangular + id="tspan4533" + style="font-size:24.4px">Rectangular Operations + id="tspan4537" + style="font-size:24.4px">Operations diff --git a/static/img_javascript/ch2-Z-G-63.svg.pdf b/static/img_javascript/ch2-Z-G-63.svg.pdf index 7eb897d52..2d512a432 100644 Binary files a/static/img_javascript/ch2-Z-G-63.svg.pdf and b/static/img_javascript/ch2-Z-G-63.svg.pdf differ diff --git a/static/img_javascript/ch2-Z-G-64.svg b/static/img_javascript/ch2-Z-G-64.svg index 3d7125510..7f2933c0f 100644 --- a/static/img_javascript/ch2-Z-G-64.svg +++ b/static/img_javascript/ch2-Z-G-64.svg @@ -13,7 +13,7 @@ style="display:inline" version="1.1" sodipodi:docname="ch2-Z-G-64.svg" - inkscape:version="1.0.1 (c497b03c, 2020-09-10)"> + inkscape:version="0.92.5 (2060ec1f9f, 2020-04-08)"> image/svg+xml - + @@ -109,7 +109,7 @@ y="-4.3722725" style="fill:#ffffff" /> add sub mul div + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">add sub mul div add_complex + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:11.52382088px;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east_asian:normal;fill:#000000">add_complex mul_complex + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:11.52382088px;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east_asian:normal;fill:#000000">mul_complex sub_complex + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:11.52382088px;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east_asian:normal;fill:#000000">sub_complex div_complex + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:11.52382088px;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east_asian:normal;fill:#000000">div_complex Programs that use numbers + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24.4px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">Programs that use numbers Generic arithmetic package + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24.4px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">Generic arithmetic package Complex arithmetic + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24.39999962px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;fill:#000000">Complex arithmetic Rectangular + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24.4px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">Rectangular Polar + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24.4px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">Polar sub_rat + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal">sub_rat div_rat + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">div_rat add_rat + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">add_rat mul_rat + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">mul_rat Rational Rationalarithmetic - Ordinary arithmetic + y="421.97141" + id="tspan895" + style="line-height:29.33333397px">arithmetic List structure and primitive machine arithmetic + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24.4px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">List structure and primitive machine arithmetic + -- * / + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">+ -- * / + Ordinaryarithmetic diff --git a/static/img_javascript/ch2-Z-G-64.svg.pdf b/static/img_javascript/ch2-Z-G-64.svg.pdf index 44228d536..552d46f19 100644 Binary files a/static/img_javascript/ch2-Z-G-64.svg.pdf and b/static/img_javascript/ch2-Z-G-64.svg.pdf differ diff --git a/static/img_javascript/ch2-Z-G-65.svg b/static/img_javascript/ch2-Z-G-65.svg index fa5904555..d680280d6 100644 --- a/static/img_javascript/ch2-Z-G-65.svg +++ b/static/img_javascript/ch2-Z-G-65.svg @@ -53,7 +53,7 @@ d="M 0,0 5,-5 -12.5,0 5,5 Z" transform="matrix(0.4,0,0,0.4,4,0)" id="path4565" - style="fill:#383838;fill-rule:evenodd;stroke:#383838;stroke-width:1.00000003pt;marker-start:none" + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;marker-start:none" inkscape:connector-curvature="0" /> @@ -223,7 +223,7 @@ 3 4 "complex" @@ -372,7 +372,7 @@ 2 [1, [[2, [[3, [4, null]], null], null]] @@ -372,7 +372,7 @@ + style="fill:none;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.01467216;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> 2 + style="fill:none;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.01467216;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> + style="fill:none;fill-opacity:1;fill-rule:nonzero;stroke:#000000;stroke-width:1.01467216;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> diff --git a/static/img_javascript/ch2-Z-G-ex-2-24.svg.pdf b/static/img_javascript/ch2-Z-G-ex-2-24.svg.pdf index a899e1521..b402874b8 100644 Binary files a/static/img_javascript/ch2-Z-G-ex-2-24.svg.pdf and b/static/img_javascript/ch2-Z-G-ex-2-24.svg.pdf differ diff --git a/static/img_javascript/ch2_3_4-1.pdf b/static/img_javascript/ch2_3_4-1.pdf index cb5b58f10..89469c0d0 100644 Binary files a/static/img_javascript/ch2_3_4-1.pdf and b/static/img_javascript/ch2_3_4-1.pdf differ diff --git a/static/img_javascript/ch2_3_4-1.svg b/static/img_javascript/ch2_3_4-1.svg index 332f6a350..97085300c 100644 --- a/static/img_javascript/ch2_3_4-1.svg +++ b/static/img_javascript/ch2_3_4-1.svg @@ -1,4 +1,4 @@ - +! +! + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;marker-start:none" /> E1 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal">E1 make_withdraw:= ... + id="tspan5495">make_withdraw:= … W1:= @@ -336,19 +338,19 @@ y="99.047531" id="text5477" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:20px;line-height:120%;font-family:'Latin Modern Mono';-inkscape-font-specification:'Latin Modern Mono';text-align:start;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#383838;fill-opacity:1;stroke:none">programprogramenv + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start">env balance: 50 @@ -357,26 +359,25 @@ y="385.72888" id="text5497" xml:space="preserve" - style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:24px;line-height:120%;font-family:Times;-inkscape-font-specification:Sans;text-align:start;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#383838;fill-opacity:1;stroke:none">parameters: amountparameters: amountbody: ... + y="415.67059" + style="font-size:22px;line-height:26.66666603px">body: … diff --git a/static/img_javascript/ch3-Z-G-10.svg.pdf b/static/img_javascript/ch3-Z-G-10.svg.pdf index 3e86aa761..3876d096b 100644 Binary files a/static/img_javascript/ch3-Z-G-10.svg.pdf and b/static/img_javascript/ch3-Z-G-10.svg.pdf differ diff --git a/static/img_javascript/ch3-Z-G-11.svg b/static/img_javascript/ch3-Z-G-11.svg index b9676ee7b..50a239b94 100644 --- a/static/img_javascript/ch3-Z-G-11.svg +++ b/static/img_javascript/ch3-Z-G-11.svg @@ -13,7 +13,7 @@ style="display:inline" version="1.1" sodipodi:docname="ch3-Z-G-11.svg" - inkscape:version="1.0.1 (c497b03c, 2020-09-10)" + inkscape:version="0.92.5 (2060ec1f9f, 2020-04-08)" width="718.95038" height="488.13916"> + style="fill:#000000;fill-rule:evenodd;stroke:#000000;stroke-width:1.00000003pt;marker-start:none" /> image/svg+xml - + @@ -302,116 +302,116 @@ E1 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">E1 programenv + y="169.10957" + id="tspan992">env parameters: amountparameters: amountbody: ... + y="479.06857" + id="tspan996" + style="font-size:22px;line-height:26.66666603px">body: … E2 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">E2 make_withdraw:= ... + style="fill:#000000">make_withdraw:= … diff --git a/static/img_javascript/ch3-Z-G-11.svg.pdf b/static/img_javascript/ch3-Z-G-11.svg.pdf index 0c917d543..061a2fbf6 100644 Binary files a/static/img_javascript/ch3-Z-G-11.svg.pdf and b/static/img_javascript/ch3-Z-G-11.svg.pdf differ diff --git a/static/img_javascript/ch3-Z-G-12.svg b/static/img_javascript/ch3-Z-G-12.svg index ce8224c57..5ed785082 100644 --- a/static/img_javascript/ch3-Z-G-12.svg +++ b/static/img_javascript/ch3-Z-G-12.svg @@ -13,7 +13,7 @@ style="display:inline" version="1.1" sodipodi:docname="ch3-Z-G-12.svg" - inkscape:version="1.0.1 (c497b03c, 2020-09-10)" + inkscape:version="0.92.5 (2060ec1f9f, 2020-04-08)" width="720" height="821"> @@ -123,77 +123,77 @@ image/svg+xml - + programenv + y="130.31033" + id="tspan930">env sqrt:= E2 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">E2 x: 2 is_good_enough:= improve:= ... + style="fill:#000000">improve:= … sqrt_iter:= ... + style="fill:#000000">sqrt_iter:= … guess: 1 guess: 1 call to sqrt_iter @@ -375,11 +379,11 @@ transform="matrix(1.9090888,0,0,1.9090888,-628.61581,-18.5157)"> E3 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:11.52382225px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">E3 call to is_good_enough @@ -409,11 +413,11 @@ transform="matrix(1.9090888,0,0,1.9090888,-530.70682,-33.11964)"> E4 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:11.52382225px;font-family:Times;-inkscape-font-specification:'Times, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;fill:#000000">E4 parameters: guessparameters: guessbody: return abs(...) < ...; - body: return abs(…) < …;