More curves, more intro

2019-09-11 16:47:38 +02:00
parent ab952037ae
commit e198861812
41 changed files with 267234 additions and 279 deletions
--- a/assets/preliminary-work/cdf.dat
+++ b/assets/preliminary-work/cdf.dat
@@ -1,102 +1,513 @@
 x y1 y2
 1 0.005755 0.009458
-210 0.283952 0.443984
-419 0.371935 0.566748
-628 0.426774 0.651649
-837 0.457305 0.715185
-1046 0.487327 0.765409
-1255 0.507299 0.807756
-1464 0.523058 0.842872
-1673 0.532736 0.872979
-1882 0.548073 0.897718
-2091 0.564363 0.918185
-2300 0.584053 0.934271
-2509 0.625557 0.946067
-2718 0.663158 0.955622
-2927 0.687540 0.963509
-3136 0.694305 0.969471
-3345 0.720457 0.974755
-3554 0.742463 0.979297
-3763 0.757721 0.983233
-3972 0.767483 0.986583
-4181 0.778537 0.989490
-4390 0.805164 0.992003
-4599 0.813789 0.994157
-4808 0.826447 0.996059
-5017 0.843146 0.997610
-5226 0.858641 0.998703
-5435 0.867922 0.999425
-5644 0.890417 0.999873
-5853 0.914330 1.000000
-6062 0.939489 1.000000
-6271 0.960974 1.000000
-6480 0.975065 1.000000
-6689 0.982177 1.000000
-6898 0.987715 1.000000
-7107 0.989260 1.000000
-7316 0.990782 1.000000
-7525 0.993237 1.000000
-7734 0.994721 1.000000
-7943 0.995942 1.000000
-8152 0.996636 1.000000
-8361 0.997071 1.000000
+42 0.115322 0.207319
+83 0.177440 0.335601
+124 0.225912 0.378821
+165 0.257414 0.411426
+206 0.283410 0.441202
+247 0.302398 0.468827
+288 0.322016 0.494654
+329 0.335683 0.518926
+370 0.354424 0.541568
+411 0.369452 0.562782
+452 0.382174 0.582418
+493 0.395114 0.600526
+534 0.406392 0.617343
+575 0.417985 0.632765
+616 0.424613 0.647481
+657 0.429842 0.661467
+698 0.434250 0.674690
+739 0.440510 0.687299
+780 0.445825 0.699381
+821 0.453529 0.710884
+862 0.460736 0.721718
+903 0.465811 0.732017
+944 0.472543 0.741963
+985 0.479001 0.751586
+1026 0.484722 0.760955
+1067 0.489301 0.770001
+1108 0.493737 0.778746
+1149 0.496744 0.787205
+1190 0.500846 0.795392
+1231 0.505369 0.803274
+1272 0.508255 0.810849
+1313 0.512829 0.818080
+1354 0.517705 0.825060
+1395 0.521018 0.831849
+1436 0.522223 0.838459
+1477 0.523506 0.844898
+1518 0.524566 0.851181
+1559 0.526336 0.857247
+1600 0.529293 0.863128
+1641 0.531699 0.868760
+1682 0.532938 0.874147
+1723 0.536887 0.879331
+1764 0.541581 0.884300
+1805 0.543473 0.889101
+1846 0.545935 0.893755
+1887 0.548209 0.898260
+1928 0.550956 0.902577
+1969 0.554055 0.906740
+2010 0.556435 0.910730
+2051 0.560366 0.914579
+2092 0.564429 0.918274
+2133 0.568256 0.921807
+2174 0.571468 0.925149
+2215 0.574053 0.928324
+2256 0.579004 0.931313
+2297 0.583649 0.934079
+2338 0.591705 0.936640
+2379 0.598032 0.939062
+2420 0.608756 0.941370
+2461 0.619054 0.943585
+2502 0.624413 0.945710
+2543 0.629142 0.947756
+2584 0.636774 0.949704
+2625 0.643829 0.951589
+2666 0.647524 0.953408
+2707 0.661536 0.955160
+2748 0.665488 0.956854
+2789 0.674220 0.958503
+2830 0.683491 0.960102
+2871 0.686865 0.961614
+2912 0.687024 0.963017
+2953 0.687540 0.964320
+2994 0.687685 0.965545
+3035 0.688002 0.966720
+3076 0.688806 0.967865
+3117 0.693595 0.968971
+3158 0.694944 0.970050
+3199 0.705015 0.971128
+3240 0.708258 0.972191
+3281 0.710013 0.973202
+3322 0.714485 0.974212
+3363 0.721146 0.975169
+3404 0.725797 0.976112
+3445 0.730949 0.977026
+3486 0.735559 0.977902
+3527 0.737686 0.978765
+3568 0.742969 0.979573
+3609 0.744177 0.980382
+3650 0.752294 0.981191
+3691 0.753629 0.981938
+3732 0.757585 0.982680
+3773 0.757760 0.983398
+3814 0.758909 0.984072
+3855 0.759249 0.984745
+3896 0.762727 0.985419
+3937 0.763987 0.986065
+3978 0.767700 0.986672
+4019 0.768330 0.987278
+4060 0.769041 0.987884
+4101 0.770770 0.988438
+4142 0.773140 0.988977
+4183 0.778756 0.989516
+4224 0.783231 0.990055
+4265 0.784988 0.990565
+4306 0.791466 0.991037
+4347 0.800088 0.991508
+4388 0.804946 0.991980
+4429 0.806057 0.992452
+4470 0.809993 0.992885
+4511 0.811820 0.993290
+4552 0.812841 0.993694
+4593 0.813456 0.994098
+4634 0.814330 0.994503
+4675 0.820455 0.994907
+4716 0.822579 0.995303
+4757 0.823402 0.995640
+4798 0.825861 0.995977
+4839 0.828500 0.996314
+4880 0.831830 0.996651
+4921 0.834301 0.996979
+4962 0.839930 0.997249
+5003 0.842090 0.997518
+5044 0.845329 0.997788
+5085 0.850118 0.998008
+5126 0.852425 0.998210
+5167 0.855149 0.998412
+5208 0.857781 0.998615
+5249 0.859879 0.998813
+5290 0.861535 0.998948
+5331 0.863001 0.999083
+5372 0.864827 0.999218
+5413 0.866747 0.999352
+5454 0.868990 0.999487
+5495 0.873947 0.999622
+5536 0.878193 0.999696
+5577 0.881534 0.999763
+5618 0.887623 0.999831
+5659 0.891371 0.999898
+5700 0.894935 0.999965
+5741 0.897841 1.000000
+5782 0.905153 1.000000
+5823 0.909209 1.000000
+5864 0.915613 1.000000
+5905 0.920310 1.000000
+5946 0.924767 1.000000
+5987 0.929469 1.000000
+6028 0.934475 1.000000
+6069 0.940405 1.000000
+6110 0.945352 1.000000
+6151 0.948412 1.000000
+6192 0.951515 1.000000
+6233 0.958039 1.000000
+6274 0.961301 1.000000
+6315 0.967169 1.000000
+6356 0.969838 1.000000
+6397 0.971677 1.000000
+6438 0.973798 1.000000
+6479 0.975051 1.000000
+6520 0.976060 1.000000
+6561 0.978081 1.000000
+6602 0.979835 1.000000
+6643 0.980660 1.000000
+6684 0.982063 1.000000
+6725 0.983431 1.000000
+6766 0.984418 1.000000
+6807 0.985368 1.000000
+6848 0.986553 1.000000
+6889 0.987306 1.000000
+6930 0.987919 1.000000
+6971 0.988515 1.000000
+7012 0.988622 1.000000
+7053 0.989171 1.000000
+7094 0.989227 1.000000
+7135 0.989451 1.000000
+7176 0.989625 1.000000
+7217 0.989788 1.000000
+7258 0.990134 1.000000
+7299 0.990590 1.000000
+7340 0.991253 1.000000
+7381 0.991595 1.000000
+7422 0.992003 1.000000
+7463 0.992404 1.000000
+7504 0.992839 1.000000
+7545 0.993457 1.000000
+7586 0.993834 1.000000
+7627 0.994108 1.000000
+7668 0.994384 1.000000
+7709 0.994646 1.000000
+7750 0.994823 1.000000
+7791 0.995106 1.000000
+7832 0.995436 1.000000
+7873 0.995619 1.000000
+7914 0.995789 1.000000
+7955 0.995983 1.000000
+7996 0.996158 1.000000
+8037 0.996268 1.000000
+8078 0.996401 1.000000
+8119 0.996526 1.000000
+8160 0.996672 1.000000
+8201 0.996780 1.000000
+8242 0.996830 1.000000
+8283 0.996960 1.000000
+8324 0.997012 1.000000
+8365 0.997071 1.000000
+8406 0.997157 1.000000
+8447 0.997242 1.000000
+8488 0.997287 1.000000
+8529 0.997349 1.000000
 8570 0.997448 1.000000
-8779 0.997860 1.000000
-8988 0.998217 1.000000
-9197 0.998779 1.000000
-9406 0.999129 1.000000
-9615 0.999463 1.000000
-9824 0.999635 1.000000
-10033 0.999694 1.000000
-10242 0.999875 1.000000
-10451 0.999880 1.000000
-10660 1.000000 1.000000
-10869 1.000000 1.000000
-11078 1.000000 1.000000
-11287 1.000000 1.000000
-11496 1.000000 1.000000
-11705 1.000000 1.000000
-11914 1.000000 1.000000
-12123 1.000000 1.000000
-12332 1.000000 1.000000
-12541 1.000000 1.000000
-12750 1.000000 1.000000
-12959 1.000000 1.000000
-13168 1.000000 1.000000
-13377 1.000000 1.000000
-13586 1.000000 1.000000
-13795 1.000000 1.000000
-14004 1.000000 1.000000
-14213 1.000000 1.000000
-14422 1.000000 1.000000
-14631 1.000000 1.000000
-14840 1.000000 1.000000
-15049 1.000000 1.000000
-15258 1.000000 1.000000
-15467 1.000000 1.000000
-15676 1.000000 1.000000
-15885 1.000000 1.000000
-16094 1.000000 1.000000
-16303 1.000000 1.000000
-16512 1.000000 1.000000
-16721 1.000000 1.000000
-16930 1.000000 1.000000
+8611 0.997533 1.000000
+8652 0.997601 1.000000
+8693 0.997656 1.000000
+8734 0.997763 1.000000
+8775 0.997860 1.000000
+8816 0.997911 1.000000
+8857 0.997944 1.000000
+8898 0.998057 1.000000
+8939 0.998161 1.000000
+8980 0.998217 1.000000
+9021 0.998338 1.000000
+9062 0.998403 1.000000
+9103 0.998496 1.000000
+9144 0.998624 1.000000
+9185 0.998744 1.000000
+9226 0.998846 1.000000
+9267 0.998917 1.000000
+9308 0.998973 1.000000
+9349 0.999020 1.000000
+9390 0.999109 1.000000
+9431 0.999175 1.000000
+9472 0.999223 1.000000
+9513 0.999325 1.000000
+9554 0.999412 1.000000
+9595 0.999458 1.000000
+9636 0.999484 1.000000
+9677 0.999530 1.000000
+9718 0.999566 1.000000
+9759 0.999597 1.000000
+9800 0.999625 1.000000
+9841 0.999642 1.000000
+9882 0.999655 1.000000
+9923 0.999680 1.000000
+9964 0.999693 1.000000
+10005 0.999694 1.000000
+10046 0.999694 1.000000
+10087 0.999701 1.000000
+10128 0.999870 1.000000
+10169 0.999875 1.000000
+10210 0.999875 1.000000
+10251 0.999875 1.000000
+10292 0.999877 1.000000
+10333 0.999878 1.000000
+10374 0.999878 1.000000
+10415 0.999880 1.000000
+10456 0.999880 1.000000
+10497 0.999993 1.000000
+10538 0.999993 1.000000
+10579 0.999993 1.000000
+10620 0.999993 1.000000
+10661 1.000000 1.000000
+10702 1.000000 1.000000
+10743 1.000000 1.000000
+10784 1.000000 1.000000
+10825 1.000000 1.000000
+10866 1.000000 1.000000
+10907 1.000000 1.000000
+10948 1.000000 1.000000
+10989 1.000000 1.000000
+11030 1.000000 1.000000
+11071 1.000000 1.000000
+11112 1.000000 1.000000
+11153 1.000000 1.000000
+11194 1.000000 1.000000
+11235 1.000000 1.000000
+11276 1.000000 1.000000
+11317 1.000000 1.000000
+11358 1.000000 1.000000
+11399 1.000000 1.000000
+11440 1.000000 1.000000
+11481 1.000000 1.000000
+11522 1.000000 1.000000
+11563 1.000000 1.000000
+11604 1.000000 1.000000
+11645 1.000000 1.000000
+11686 1.000000 1.000000
+11727 1.000000 1.000000
+11768 1.000000 1.000000
+11809 1.000000 1.000000
+11850 1.000000 1.000000
+11891 1.000000 1.000000
+11932 1.000000 1.000000
+11973 1.000000 1.000000
+12014 1.000000 1.000000
+12055 1.000000 1.000000
+12096 1.000000 1.000000
+12137 1.000000 1.000000
+12178 1.000000 1.000000
+12219 1.000000 1.000000
+12260 1.000000 1.000000
+12301 1.000000 1.000000
+12342 1.000000 1.000000
+12383 1.000000 1.000000
+12424 1.000000 1.000000
+12465 1.000000 1.000000
+12506 1.000000 1.000000
+12547 1.000000 1.000000
+12588 1.000000 1.000000
+12629 1.000000 1.000000
+12670 1.000000 1.000000
+12711 1.000000 1.000000
+12752 1.000000 1.000000
+12793 1.000000 1.000000
+12834 1.000000 1.000000
+12875 1.000000 1.000000
+12916 1.000000 1.000000
+12957 1.000000 1.000000
+12998 1.000000 1.000000
+13039 1.000000 1.000000
+13080 1.000000 1.000000
+13121 1.000000 1.000000
+13162 1.000000 1.000000
+13203 1.000000 1.000000
+13244 1.000000 1.000000
+13285 1.000000 1.000000
+13326 1.000000 1.000000
+13367 1.000000 1.000000
+13408 1.000000 1.000000
+13449 1.000000 1.000000
+13490 1.000000 1.000000
+13531 1.000000 1.000000
+13572 1.000000 1.000000
+13613 1.000000 1.000000
+13654 1.000000 1.000000
+13695 1.000000 1.000000
+13736 1.000000 1.000000
+13777 1.000000 1.000000
+13818 1.000000 1.000000
+13859 1.000000 1.000000
+13900 1.000000 1.000000
+13941 1.000000 1.000000
+13982 1.000000 1.000000
+14023 1.000000 1.000000
+14064 1.000000 1.000000
+14105 1.000000 1.000000
+14146 1.000000 1.000000
+14187 1.000000 1.000000
+14228 1.000000 1.000000
+14269 1.000000 1.000000
+14310 1.000000 1.000000
+14351 1.000000 1.000000
+14392 1.000000 1.000000
+14433 1.000000 1.000000
+14474 1.000000 1.000000
+14515 1.000000 1.000000
+14556 1.000000 1.000000
+14597 1.000000 1.000000
+14638 1.000000 1.000000
+14679 1.000000 1.000000
+14720 1.000000 1.000000
+14761 1.000000 1.000000
+14802 1.000000 1.000000
+14843 1.000000 1.000000
+14884 1.000000 1.000000
+14925 1.000000 1.000000
+14966 1.000000 1.000000
+15007 1.000000 1.000000
+15048 1.000000 1.000000
+15089 1.000000 1.000000
+15130 1.000000 1.000000
+15171 1.000000 1.000000
+15212 1.000000 1.000000
+15253 1.000000 1.000000
+15294 1.000000 1.000000
+15335 1.000000 1.000000
+15376 1.000000 1.000000
+15417 1.000000 1.000000
+15458 1.000000 1.000000
+15499 1.000000 1.000000
+15540 1.000000 1.000000
+15581 1.000000 1.000000
+15622 1.000000 1.000000
+15663 1.000000 1.000000
+15704 1.000000 1.000000
+15745 1.000000 1.000000
+15786 1.000000 1.000000
+15827 1.000000 1.000000
+15868 1.000000 1.000000
+15909 1.000000 1.000000
+15950 1.000000 1.000000
+15991 1.000000 1.000000
+16032 1.000000 1.000000
+16073 1.000000 1.000000
+16114 1.000000 1.000000
+16155 1.000000 1.000000
+16196 1.000000 1.000000
+16237 1.000000 1.000000
+16278 1.000000 1.000000
+16319 1.000000 1.000000
+16360 1.000000 1.000000
+16401 1.000000 1.000000
+16442 1.000000 1.000000
+16483 1.000000 1.000000
+16524 1.000000 1.000000
+16565 1.000000 1.000000
+16606 1.000000 1.000000
+16647 1.000000 1.000000
+16688 1.000000 1.000000
+16729 1.000000 1.000000
+16770 1.000000 1.000000
+16811 1.000000 1.000000
+16852 1.000000 1.000000
+16893 1.000000 1.000000
+16934 1.000000 1.000000
+16975 1.000000 1.000000
+17016 1.000000 1.000000
+17057 1.000000 1.000000
+17098 1.000000 1.000000
 17139 1.000000 1.000000
-17348 1.000000 1.000000
-17557 1.000000 1.000000
-17766 1.000000 1.000000
-17975 1.000000 1.000000
-18184 1.000000 1.000000
-18393 1.000000 1.000000
-18602 1.000000 1.000000
-18811 1.000000 1.000000
-19020 1.000000 1.000000
-19229 1.000000 1.000000
-19438 1.000000 1.000000
-19647 1.000000 1.000000
-19856 1.000000 1.000000
-20065 1.000000 1.000000
-20274 1.000000 1.000000
-20483 1.000000 1.000000
-20692 1.000000 1.000000
-20901 1.000000 1.000000
+17180 1.000000 1.000000
+17221 1.000000 1.000000
+17262 1.000000 1.000000
+17303 1.000000 1.000000
+17344 1.000000 1.000000
+17385 1.000000 1.000000
+17426 1.000000 1.000000
+17467 1.000000 1.000000
+17508 1.000000 1.000000
+17549 1.000000 1.000000
+17590 1.000000 1.000000
+17631 1.000000 1.000000
+17672 1.000000 1.000000
+17713 1.000000 1.000000
+17754 1.000000 1.000000
+17795 1.000000 1.000000
+17836 1.000000 1.000000
+17877 1.000000 1.000000
+17918 1.000000 1.000000
+17959 1.000000 1.000000
+18000 1.000000 1.000000
+18041 1.000000 1.000000
+18082 1.000000 1.000000
+18123 1.000000 1.000000
+18164 1.000000 1.000000
+18205 1.000000 1.000000
+18246 1.000000 1.000000
+18287 1.000000 1.000000
+18328 1.000000 1.000000
+18369 1.000000 1.000000
+18410 1.000000 1.000000
+18451 1.000000 1.000000
+18492 1.000000 1.000000
+18533 1.000000 1.000000
+18574 1.000000 1.000000
+18615 1.000000 1.000000
+18656 1.000000 1.000000
+18697 1.000000 1.000000
+18738 1.000000 1.000000
+18779 1.000000 1.000000
+18820 1.000000 1.000000
+18861 1.000000 1.000000
+18902 1.000000 1.000000
+18943 1.000000 1.000000
+18984 1.000000 1.000000
+19025 1.000000 1.000000
+19066 1.000000 1.000000
+19107 1.000000 1.000000
+19148 1.000000 1.000000
+19189 1.000000 1.000000
+19230 1.000000 1.000000
+19271 1.000000 1.000000
+19312 1.000000 1.000000
+19353 1.000000 1.000000
+19394 1.000000 1.000000
+19435 1.000000 1.000000
+19476 1.000000 1.000000
+19517 1.000000 1.000000
+19558 1.000000 1.000000
+19599 1.000000 1.000000
+19640 1.000000 1.000000
+19681 1.000000 1.000000
+19722 1.000000 1.000000
+19763 1.000000 1.000000
+19804 1.000000 1.000000
+19845 1.000000 1.000000
+19886 1.000000 1.000000
+19927 1.000000 1.000000
+19968 1.000000 1.000000
+20009 1.000000 1.000000
+20050 1.000000 1.000000
+20091 1.000000 1.000000
+20132 1.000000 1.000000
+20173 1.000000 1.000000
+20214 1.000000 1.000000
+20255 1.000000 1.000000
+20296 1.000000 1.000000
+20337 1.000000 1.000000
+20378 1.000000 1.000000
+20419 1.000000 1.000000
+20460 1.000000 1.000000
+20501 1.000000 1.000000
+20542 1.000000 1.000000
+20583 1.000000 1.000000
+20624 1.000000 1.000000
+20665 1.000000 1.000000
+20706 1.000000 1.000000
+20747 1.000000 1.000000
+20788 1.000000 1.000000
+20829 1.000000 1.000000
+20870 1.000000 1.000000
+20911 1.000000 1.000000
+20952 1.000000 1.000000