I run the code by copying the code from the browser window into the interactive Ocaml REPL (Read Eval Print Loop). Most of the pages need an extra new-line at the end.
Constituents for the tests:
the code | Respective notes | requires: | Description |
Linear | notes | Some matrix routines | |
sort, cross, rp | sort note | ||
tools | miscellaneous print routines | ||
glue | notes | sort | connecting zones to their neighbors |
zone | notes | tools; Linear | logic of geodesics and curvature from inside a zone |
Jig | notes | zone; sort; cross | General logic for embedding |
ji32 | below | Jig; rp; glue | Geodesic thru 2 tetrahedra embedded in 3D |
ji24 | below | Jig; rp; glue | Geodesic thru 4 triangles embedded in 2D |
ji21 (curve) | below | Jig; rp; glue | Bone probe in 1 triangle embedded in 2D |
ji31 (curve) | below | Jig; rp; glue | Bone probe in 1 tetrahedron embedded in 3D |
Jog | notes | zone; sort | Explicit metric in place of metric from embedding space. |
jo24 | notes | Jog; glue | Geodesic over surface of regular tetrahedron, consisting of 4 triangles |
jo44 | note | Jog; glue | All the way round a bone in 4D; 4 regular 4 simplexes |
jo44f | note | Jog; glue | All the way round a boneāflat by construction; 4 nearly regular 4 simplexes. |
mxl | source of consistent noise | ||
jo44fd | note | Jog; glue; mxl | Elaboration on above: adding random noise to edge lengths |
jo44fdx | note | Jog; glue | Elaboration on above: allowance for individual fiddling with edge lengths |
jo43 | note | Jog; glue | All the way round a bone in 4D |