feat: experimental example emulating 3D diagramming

[keenancrane]

Description

This example is basically a "what if..." experiment, as in, "what if we had 3D types in Penrose?" It draws a diagram that is relatively simple from the 3D perspective, but which has some neat consequences in terms of the ability to declare constraints/objectives that optimize the 3D geometry so that its projection yields a legible 2D diagram. See the README for more info.

This example has been added to the registry and gallery. Here are a few random samples (not cherry picked):

[cloudflare-pages]

Deploying with    Cloudflare Pages

Latest commit:	4fcf153
Status:	✅  Deploy successful!
Preview URL:	https://aa660739.penrose-72l.pages.dev
Branch Preview URL:	https://tri-3d.penrose-72l.pages.dev

View logs

[github-actions]

± Registry diff

A	two-triangles-triangle-mesh-3d.svg

📊 Performance

Key

Note that each bar component rounds up to the nearest 100ms, so each full bar is an overestimate by up to 400ms.

     0s   1s   2s   3s   4s   5s   6s   7s   8s   9s
     |    |    |    |    |    |    |    |    |    |
name ▝▀▀▀▀▀▀▀▀▀▀▀▚▄▄▄▄▄▄▄▄▄▞▀▀▀▀▀▀▀▀▀▀▀▀▚▄▄▄▄▄▄▄▄▄▖
      compilation labelling optimization rendering

Data

                                        0s   1s   2s   3s   4s   5s   6s   7s
                                        |    |    |    |    |    |    |    |
3d-projection-fake-3d-linear-algebra    ▝▞▖
allShapes-allShapes                     ▝▚▚▄▖
arrowheads-arrowheads                   ▝▞▖
caffeine-structural-formula             ▝▀▀▚▀▖
center-shrink-circle-animation          ▝▞▖
circle-example-euclidean                ▝▀▞▀▀▖
collinear-euclidean                     ▝▀▞▖
congruent-triangles-euclidean           ▝▀▀▞▖
continuousmap-continuousmap             ▝▞▖
cubic-bezier-cubic-bezier               ▝▚▀▀▖
glutamine-molecules-basic               ▝▀▞▖
half-adder-distinctive-shape            ▝▚▚
hypergraph-hypergraph                   ▝▀▀▀▞▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▚
incenter-triangle-euclidean             ▝▀▞▖
lagrange-bases-lagrange-bases           ▝▚▚
midsegment-triangles-euclidean          ▝▀▞▖
mobius-mobius                           ▝▚▚
non-convex-non-convex                   ▝▀▞▖
one-water-molecule-atoms-and-bonds      ▝▞▖
parallel-lines-euclidean                ▝▀▞▖
persistent-homology-persistent-homology ▝▀▀▞▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄
points-around-line-shape-distance       ▝▀▞▖
points-around-polyline-shape-distance   ▝▀▀▞▖
points-around-star-shape-distance       ▝▀▀▀▞▖
siggraph-teaser-euclidean-teaser        ▝▀▞▖
small-graph-disjoint-rect-line-horiz    ▝▀▚▚
small-graph-disjoint-rects              ▝▚▚
small-graph-disjoint-rects-large-canvas ▝▞▖
small-graph-disjoint-rects-small-canvas ▝▞▖
tree-tree                               ▝▚▚
tree-venn                               ▝▀▚▚
tree-venn-3d                            ▝▀▞▄▄
two-triangles-triangle-mesh-3d          ▝▚▀▖
two-vectors-perp-vectors-dashed         ▝▚▚
vector-wedge-exterior-algebra           ▝▚▚
wet-floor-atoms-and-bonds               ▝▚▀▚
word-cloud-example-word-cloud           ▝▀▞▖
wos-laplace-estimator-walk-on-spheres   ▝▀▚▚
wos-nested-estimator-walk-on-spheres    ▝▀▀▞▀▀▀▀▀▀▚
wos-offcenter-estimator-walk-on-spheres ▝▀▚▀▀▀▖
wos-poisson-estimator-walk-on-spheres   ▝▀▚▀▚

[codecov]

Codecov Report

Merging #1299 (4fcf153) into main (880dbc1) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1299   +/-   ##
=======================================
  Coverage   63.43%   63.43%           
=======================================
  Files          61       61           
  Lines        7212     7212           
  Branches     1680     1680           
=======================================
  Hits         4575     4575           
  Misses       2553     2553           
  Partials       84       84           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.