Enrich examples

tex/forest.bib

@@ -848,4 +848,66 @@ @article{winchenbach2024lipschitz
   pages={1--20},
   year={2024},
   publisher={Springer}
+}
+
+@article{singh2009real,
+  title={Real-time ray tracing of implicit surfaces on the GPU},
+  author={Singh, Jag Mohan and Narayanan, PJ},
+  journal={IEEE transactions on visualization and computer graphics},
+  volume={16},
+  number={2},
+  pages={261--272},
+  year={2009},
+  publisher={IEEE}
+}
+
+@article{coulon2022ray,
+  title={Ray-marching Thurston geometries},
+  author={Coulon, R{\'e}mi and Matsumoto, Elisabetta A and Segerman, Henry and Trettel, Steve J},
+  journal={Experimental Mathematics},
+  volume={31},
+  number={4},
+  pages={1197--1277},
+  year={2022},
+  publisher={Taylor \& Francis}
+}
+
+@article{feng2024heat,
+    author = {Feng, Nicole and Crane, Keenan},
+    title = {A Heat Method for Generalized Signed Distance},
+    year = {2024},
+    issue_date = {July 2024},
+    publisher = {Association for Computing Machinery},
+    address = {New York, NY, USA},
+    volume = {43},
+    number = {4},
+    issn = {0730-0301},
+    url = {https://doi.org/10.1145/3658220},
+    doi = {10.1145/3658220},
+    journal = {ACM Trans. Graph.},
+    month = {jul},
+    articleno = {92},
+    numpages = {19}
+}
+
+@article{kopczynski2022real,
+  title={Real-time visualization in anisotropic geometries},
+  author={Kopczy{\'n}ski, Eryk and Celi{\'n}ska-Kopczy{\'n}ska, Dorota},
+  journal={Experimental Mathematics},
+  volume={31},
+  number={4},
+  pages={1177--1196},
+  year={2022},
+  publisher={Taylor \& Francis}
+}
+
+@article{szirmay2022adapting,
+  title={Adapting game engines to curved spaces},
+  author={Szirmay-Kalos, L{\'a}szl{\'o} and Magdics, Mil{\'a}n},
+  journal={The Visual Computer},
+  volume={38},
+  number={12},
+  pages={4383--4395},
+  year={2022},
+  publisher={Springer}
 }

trees/ag-000H.tree

@@ -18,7 +18,7 @@
 \ul{
   \li{ray-marching ordinary SDFs}
   \li{ray-marching SDFs with singularities}
-  \li{adaptive optimization}
+  \li{optimizations: bounded, adaptive etc.}
   \li{lighting}
   \li{shadow, including self-shadow}
   \li{edge detection}

trees/ag-000O.tree

@@ -126,6 +126,7 @@
   }
 }
 
+\figure{
 \tikzfig{
 \tikzset{>=latex}
 
@@ -301,6 +302,9 @@
 \end{tikzpicture}
 }
 
+\figcaption{Recreated based on [Ray trace diagram](https://en.wikipedia.org/wiki/File:Ray_trace_diagram.svg) from Wikipedia}
+}
+
 % \tikzfig\verb>>>|
 % \colorlet{mydarkblue}{blue!40!black}
 % \colorlet{watercol}{blue!80!cyan!10!white}

trees/ag-000Z.tree

@@ -9,4 +9,6 @@
 \transclude{ag-0012}
 \transclude{ag-000L}
 \transclude{ag-0011}
+\transclude{ag-0013}
+\transclude{ag-0016}
 }

trees/ag-0011.tree

@@ -13,16 +13,16 @@
 % cox1997ideals gathmann2013commutative hart1996sphere
 
 \card{example}{SDFs of geometric primitives}{
-\p{SDFs of many geometric primitives in #{\RR^3}, can be found in \em{Appendix A: Distance to Natural Quadrics and Torus} of \citek{hart1996sphere}, or in Inigo Quilez's article [Distance functions](https://iquilezles.org/articles/distfunctions/) (written in [GLSL](https://en.wikipedia.org/wiki/OpenGL_Shading_Language)), which also includes an example that renders them by ray-marching.
+\p{SDFs of some geometric primitives in #{\RR^3}, can be found in \em{Appendix A: Distance to Natural Quadrics and Torus} of \citek{hart1996sphere}.}
+
+\p{Many more can be found in Inigo Quilez's article [Distance functions](https://iquilezles.org/articles/distfunctions/) (written in [GLSL](https://en.wikipedia.org/wiki/OpenGL_Shading_Language)), which also includes an example that renders them by ray-marching.
 }
 
 \webonly{
-\p{Here's another example from [shadertoy.com](https://shadertoy.com), rendered by ray-marching:
-}
 \scope{
 \put\transclude/title{ }
 \put\transclude/toc{false}
-\transclude{uts-000J}
+\transclude{ag-0014}
 }
 }
 }

trees/ag-0013.tree

@@ -0,0 +1,34 @@
+\import{cg-macros}
+% clifford hopf spin tt ag math draft cg
+\tag{cg}
+
+% definition theorem lemma construction observation
+% convention corollary axiom example exercise proof
+% discussion remark notation
+% \taxon{}
+% \refcardt{lemma}{}{}{}{
+
+% kostecki2011introduction leinster2016basic nakahira2023diagrammatic rosiak2022sheaf
+
+% cox1997ideals gathmann2013commutative hart1996sphere gillespie2024ray winchenbach2024lipschitz
+
+\card{example}{SDFs of exotic implicit surfaces}{
+\p{SDFs of many exotic implicit surfaces can be found in:
+\ul{
+  \li{\em{Appendix A: Implicit Equations} in \citek{singh2009real}}
+  \li{\em{Appendix B: Function definitions} in \citek{winchenbach2024lipschitz}}
+  \li{\citek{gillespie2024ray}}
+}
+}
+
+\webonly{
+\p{The following example renders many exotic implicit surfaces by ray-marching:
+}
+\scope{
+\put\transclude/title{ }
+\put\transclude/toc{false}
+\transclude{uts-000J}
+}
+}
+
+}