7fb4e3adee
doc: another unicode pseudo-space
2024-10-20 19:41:05 -07:00
cbad99d356
doc: punctuation
2024-10-20 19:33:33 -07:00
47c2217bcf
doc: fix more weird Unicode characters, probably from marktest editor
2024-10-20 19:27:05 -07:00
bb881f806c
doc: Won't tex formula immediately followed by dash
2024-10-20 16:17:18 -07:00
d3e5a0bc37
doc: Weird unicode minus
2024-10-20 16:15:27 -07:00
ce62a94ddb
doc: Two more small typos
2024-10-20 16:10:01 -07:00
160cb47f55
doc: Fix typos and expand some comments a bit in notes/inversive.md
2024-10-20 16:06:11 -07:00
Aaron Fenyes
48732093f7
doc: Clean up engine comments
2024-10-16 16:00:36 -07:00
Aaron Fenyes
db1b315df2
Merge branch 'engine-proto' of code.studioinfinity.org:glen/dyna3 into engine-proto
2024-10-15 14:41:20 -07:00
Aaron Fenyes
609cd2f814
doc: Correct and clarify various relations
2024-10-15 14:24:36 -07:00
ed88c7b9f9
doc: fix latex conflict with markdown table format
2024-10-03 21:20:32 -07:00
0e929123d4
doc: correct condition that two sphere/planes intersect
2024-10-03 20:39:15 -07:00
Aaron Fenyes
3f0cedfaab
doc: Clarify characterization of center of sphere
...
In the process, clarify the signed distance from a point to a sphere and
add inversion across a sphere.
2024-09-26 01:07:22 -07:00
Aaron Fenyes
2c1a42e251
doc: Clarify orientation convention
2024-09-25 23:07:52 -07:00
23ecca3963
doc: Another note about inversive coordinates
2024-09-18 20:27:04 -07:00
a182b66301
doc: More elaboration of plane coordinates in inversive notes
2024-09-18 20:11:20 -07:00
bd3e3506e5
doc: typo in inversive notes
2024-09-18 19:52:03 -07:00
8084fdeab0
doc: Slight mods to the inversive notes
2024-09-18 19:50:23 -07:00
Aaron Fenyes
d7dbee4c05
Stow algebraic engine prototype
...
We're using the Gram matrix engine for the next stage of development,
so the algebraic engine shouldn't be at the top level anymore.
2024-07-28 20:50:04 -07:00
Aaron Fenyes
9d69a900e2
Irisawa hexlet: use Abe's terminology in comments
...
Abe uses the names "sun" and "moon" for what Wikipedia calls the nucleus
spheres.
2024-07-18 03:39:41 -07:00
Aaron Fenyes
8a77cd7484
Irisawa hexlet: drop unviable approach
...
The approach in the deleted file can't work, because the "sun" and
"moon" spheres can't be placed arbitrarily.
2024-07-18 03:21:46 -07:00
Aaron Fenyes
a26f1e3927
Add Irisawa hexlet example
...
Hat tip Romy, who sent me the article on sangaku that led me to this
problem.
2024-07-18 03:16:57 -07:00
Aaron Fenyes
19a4d49497
Clean up example formatting
2024-07-18 01:48:05 -07:00
Aaron Fenyes
71c10adbdd
Overlapping pyramids: drop outdated comment
2024-07-18 01:12:49 -07:00
Aaron Fenyes
33c09917d0
Correct scope of guess constants
2024-07-18 01:05:13 -07:00
Aaron Fenyes
b24dcc9af8
Report success correctly when step limit is reached
2024-07-18 01:04:40 -07:00
Aaron Fenyes
b040bbb7fe
Drop old code from examples
2024-07-18 00:50:48 -07:00
Aaron Fenyes
9007c8bc7c
Circles in triangle: jiggle the guess
2024-07-18 00:49:09 -07:00
Aaron Fenyes
a7f9545a37
Circles in triangle: correct frozen variables
...
Since the self-product of the point at infinity is left unspecified, the
first three components can vary without violating any constraints. To
keep the point at infinity where it's supposed to be, we freeze all of
its components.
2024-07-18 00:43:00 -07:00
Aaron Fenyes
3764fde2f6
Clean up formatting of notes
2024-07-18 00:27:10 -07:00
Aaron Fenyes
24dae6807b
Clarify notes on tangency
2024-07-18 00:16:23 -07:00
Aaron Fenyes
74c7f64b0c
Correct sign of normal in plane utility
...
Clarify the relevant notes too.
2024-07-18 00:03:12 -07:00
Aaron Fenyes
d0340c0b65
Correct point utility again
...
The balance between the light cone basis vectors was wrong, throwing the
point's coordinates off by a factor of two.
2024-07-17 23:37:28 -07:00
Aaron Fenyes
69a704d414
Use notes' sign convention for light cone basis
2024-07-17 23:07:34 -07:00
Aaron Fenyes
01f44324c1
Tetrahedron radius ratio: find radius ratio
2024-07-17 22:45:17 -07:00
Aaron Fenyes
96ffc59642
Tetrahedron radius ratio: tweak guess
...
Jiggle the vertex guesses. Put the circumscribed sphere guess on-shell.
2024-07-17 19:01:34 -07:00
Aaron Fenyes
a02b76544a
Tetrahedron radius ratio: add circumscribed sphere
2024-07-17 18:55:36 -07:00
Aaron Fenyes
6e719f9943
Tetrahedron radius ratio: correct vertex guesses
2024-07-17 18:27:58 -07:00
Aaron Fenyes
d51d43f481
Correct point utility
2024-07-17 18:27:22 -07:00
Aaron Fenyes
6d233b5ee9
Tetrahedron radius ratio: correct signs
2024-07-17 18:08:36 -07:00
Aaron Fenyes
5abd4ca6e1
Revert "Give spheres positive radii in examples"
...
This reverts commit 4728959ae0
2024-07-17 17:49:43 -07:00
Aaron Fenyes
ea640f4861
Start tetrahedron radius ratio example
...
Add the vertices of the tetrahedron to the `sphere-in-tetrahedron`
example.
2024-07-17 17:33:32 -07:00
Aaron Fenyes
4728959ae0
Give spheres positive radii in examples
...
This changes the meaning of `indep_val` in the overlapping pyramids
example, so we adjust `indep_val` to get a nice-looking construction.
2024-07-17 17:22:33 -07:00
Aaron Fenyes
2038103d80
Write examples directly in light cone basis
2024-07-17 15:37:14 -07:00
Aaron Fenyes
bde42ebac0
Switch engine to light cone basis
2024-07-17 14:30:43 -07:00
Aaron Fenyes
e6cf08a9b3
Make tetrahedron faces planar
2024-07-15 23:54:59 -07:00
Aaron Fenyes
7c77481f5e
Don't constrain self-product of frozen vector
2024-07-15 23:39:05 -07:00
Aaron Fenyes
1ce609836b
Implement frozen variables
2024-07-15 22:11:54 -07:00
Aaron Fenyes
b185fd4b83
Switch to backtracking Newton's method in Optim
...
This performs much better than the trust region Newton's method for the
actual `circles-in-triangle` problem. (The trust region method performs
better for the simplified problem produced by the conversion bug.)
2024-07-15 15:52:38 -07:00
Aaron Fenyes
94e0d321d5
Switch back to BigFloat precision in examples
2024-07-15 14:31:30 -07:00
