dyna3

glen/dyna3

Fork 0

forked from StudioInfinity/dyna3

Commit graph

96ffc59642 Tetrahedron radius ratio: tweak guess Aaron Fenyes 2024-07-17 19:01:34 -07:00
a02b76544a Tetrahedron radius ratio: add circumscribed sphere Aaron Fenyes 2024-07-17 18:55:36 -07:00
6e719f9943 Tetrahedron radius ratio: correct vertex guesses Aaron Fenyes 2024-07-17 18:27:58 -07:00
d51d43f481 Correct point utility Aaron Fenyes 2024-07-17 18:27:22 -07:00
6d233b5ee9 Tetrahedron radius ratio: correct signs Aaron Fenyes 2024-07-17 18:08:36 -07:00
5abd4ca6e1 Revert "Give spheres positive radii in examples" Aaron Fenyes 2024-07-17 17:49:43 -07:00
ea640f4861 Start tetrahedron radius ratio example Aaron Fenyes 2024-07-17 17:33:32 -07:00
4728959ae0 Give spheres positive radii in examples Aaron Fenyes 2024-07-17 17:22:33 -07:00
2038103d80 Write examples directly in light cone basis Aaron Fenyes 2024-07-17 15:37:14 -07:00
bde42ebac0 Switch engine to light cone basis Aaron Fenyes 2024-07-17 14:30:43 -07:00
e6cf08a9b3 Make tetrahedron faces planar Aaron Fenyes 2024-07-15 23:54:59 -07:00
7c77481f5e Don't constrain self-product of frozen vector Aaron Fenyes 2024-07-15 23:39:05 -07:00
1ce609836b Implement frozen variables Aaron Fenyes 2024-07-15 22:11:54 -07:00
b185fd4b83 Switch to backtracking Newton's method in Optim Aaron Fenyes 2024-07-15 15:52:38 -07:00
94e0d321d5 Switch back to BigFloat precision in examples Aaron Fenyes 2024-07-15 14:31:30 -07:00
53d8c38047 Preserve explicit zeros in Gram matrix conversion Aaron Fenyes 2024-07-15 14:08:57 -07:00
7b3efbc385 Clean up backtracking gradient descent code Aaron Fenyes 2024-07-15 13:15:15 -07:00
25b09ebf92 Sketch backtracking Newton's method Aaron Fenyes 2024-07-15 11:32:04 -07:00
3910b9f740 Use Newton's method for polishing Aaron Fenyes 2024-07-11 13:43:52 -07:00
d538cbf716 Correct improvement threshold by using unit step Aaron Fenyes 2024-07-10 23:31:44 -07:00
4d5ea062a3 Record gradient and last line search in history Aaron Fenyes 2024-07-09 15:00:13 -07:00
5652719642 Require triangle sides to be planar Aaron Fenyes 2024-07-09 14:10:23 -07:00
f84d475580 Visualize neighborhoods of global minima Aaron Fenyes 2024-07-09 14:01:30 -07:00
77bc124170 Change loss function to match gradient Aaron Fenyes 2024-07-09 14:00:24 -07:00
023759a267 Start "circles in triangle" from a very close guess Aaron Fenyes 2024-07-08 14:21:10 -07:00
610fc451f0 Track slope in gradient descent history Aaron Fenyes 2024-07-08 14:19:25 -07:00
93dd05c317 Add required package to "sphere in tetrahedron" example Aaron Fenyes 2024-07-08 14:19:05 -07:00
9efa99e8be Test gradient descent for circles in triangle Aaron Fenyes 2024-07-08 12:56:28 -07:00
828498b3de Add sphere and plane utilities to engine Aaron Fenyes 2024-07-08 12:56:14 -07:00
736ac50b07 Test gradient descent for sphere in tetrahedron Aaron Fenyes 2024-07-07 17:58:55 -07:00
ea354b6c2b Randomize guess in gradient descent test Aaron Fenyes 2024-07-07 17:56:12 -07:00
d39244d308 Host Ganja.js locally Aaron Fenyes 2024-07-06 21:35:09 -07:00
7e94fef19e Improve random vector generator Aaron Fenyes 2024-07-06 21:32:43 -07:00
abc53b4705 Sketch random vector generator Aaron Fenyes 2024-07-02 17:16:31 -07:00
17fefff61e Name gradient descent test more specifically Aaron Fenyes 2024-07-02 17:16:19 -07:00
133519cacb Encapsulate gradient descent code Aaron Fenyes 2024-07-02 14:57:57 -07:00
e7dde5800c Do gradient descent entirely in BigFloat Aaron Fenyes 2024-07-02 12:35:12 -07:00
242d630cc6 Get Ganja.js to display planes Aaron Fenyes 2024-06-27 21:45:41 -07:00
8eb1ebb8d2 Merge branch 'ganja' into gram Aaron Fenyes 2024-06-26 15:57:07 -07:00
05a824834d Let visibility controls scroll Aaron Fenyes 2024-06-26 15:56:51 -07:00
a113f33635 Merge branch 'ganja' into gram Aaron Fenyes 2024-06-26 15:52:20 -07:00
5ea32ac53c Streamline visibility controls Aaron Fenyes 2024-06-26 15:51:57 -07:00
3eb4fc6c91 Add element visibility controls Aaron Fenyes 2024-06-26 15:24:31 -07:00
7aaf134a36 Size the viewer window automatically Aaron Fenyes 2024-06-26 13:15:54 -07:00
c933e07312 Switch to Ganja.js basis ordering Aaron Fenyes 2024-06-26 11:39:34 -07:00
2b6c4f4720 Avoid naming conflict with identity transformation Aaron Fenyes 2024-06-26 11:28:47 -07:00
5aadfecf6c Merge branch 'ganja' into gram Aaron Fenyes 2024-06-26 11:12:24 -07:00
4a28a47520 Update namespace of AbstractAlgebra.Rationals Aaron Fenyes 2024-06-26 01:06:27 -07:00
a3b1f4920c Build construction viewer module Aaron Fenyes 2024-06-26 00:41:21 -07:00
665cb30ce0 Correct indentation of CSS Aaron Fenyes 2024-06-25 23:31:00 -07:00
182b5bb9f6 Generate palette automatically Aaron Fenyes 2024-06-25 17:57:16 -07:00
b7b5b9386b Load elements from Julia into Ganja.js Aaron Fenyes 2024-06-25 16:30:19 -07:00
06a9dda5bb Play with reflections Aaron Fenyes 2024-06-25 13:40:40 -07:00
69a9baa8ee Add live updates to Ganja.js visualization Aaron Fenyes 2024-06-25 03:11:50 -07:00
3b10c95d5f Clean up examples Aaron Fenyes 2024-06-25 02:07:39 -07:00
3c34481519 Get familiar with Ganja.js inline syntax Aaron Fenyes 2024-06-25 01:54:01 -07:00
d1ce91d2aa Get a Ganja.js visualization running in Blink Aaron Fenyes 2024-06-24 19:37:57 -07:00
58a5c38e62 Try numerical low-rank factorization Aaron Fenyes 2024-05-30 00:36:03 -07:00
ef33b8ee10 Correct signature Aaron Fenyes 2024-03-01 13:26:20 -05:00
717e5a6200 Extend Gram matrix automatically Aaron Fenyes 2024-02-21 02:50:22 -05:00
16826cf07c Try out the Gram matrix approach Aaron Fenyes 2024-02-20 22:35:24 -05:00
3170a933e4 Clean up example of three mutually tangent spheres Aaron Fenyes 2024-02-15 17:16:37 -08:00
f2000e5731 Test different sign patterns for cosines Aaron Fenyes 2024-02-15 16:25:09 -08:00
ba365174d3 Find real solutions for three mutually tangent spheres Aaron Fenyes 2024-02-15 16:16:06 -08:00
ae5db0f9ea Make results reproducible Aaron Fenyes 2024-02-15 16:00:46 -08:00
8d8bc9162c Store elements in arrays to keep order stable Aaron Fenyes 2024-02-15 14:27:41 -08:00
2a505c1f59 Store elements in arrays to keep order stable seed-problem Aaron Fenyes 2024-02-15 14:27:41 -08:00
a6da6f9925 Investigate why witness sets aren't reproducible Aaron Fenyes 2024-02-15 14:17:03 -08:00
291d5c8ff6 Study mutually tangent spheres with two fixed Aaron Fenyes 2024-02-15 13:28:01 -08:00
e41bcc7e13 Explore the performance wall Aaron Fenyes 2024-02-13 04:02:14 -05:00
31d5e7e864 Play with two points on two spheres Aaron Fenyes 2024-02-12 22:48:16 -05:00
a450f701fb Try displaying a chain of spheres Aaron Fenyes 2024-02-12 21:14:07 -05:00
6cf07dc6a1 Evaluate and display elements Aaron Fenyes 2024-02-12 20:34:12 -05:00
1f173708eb Move random cut routine into engine Aaron Fenyes 2024-02-10 17:39:26 -05:00
6f18d4efcc Test lots of uniformly distributed hyperplanes Aaron Fenyes 2024-02-10 15:10:48 -05:00
621c4c5776 Try uniformly distributed hyperplane orientations Aaron Fenyes 2024-02-10 15:02:26 -05:00
b3b7c2026d Separate the algebraic and numerical parts of the engine Aaron Fenyes 2024-02-10 14:50:50 -05:00
af1d31f6e6 Test a scale constraint Aaron Fenyes 2024-02-10 14:21:52 -05:00
8e33987f59 Systematically try out different cut planes Aaron Fenyes 2024-02-10 13:46:01 -05:00
06872a04af Say how many sample solutions we found Aaron Fenyes 2024-02-10 01:06:06 -05:00
becefe0c47 Try switching to compiled system Aaron Fenyes 2024-02-10 00:59:50 -05:00
34358a8728 Find witnesses on random rational hyperplanes Aaron Fenyes 2024-02-09 23:44:10 -05:00
95c0ff14b2 Show explicitly that all coefficients are 1 in first cut equation Aaron Fenyes 2024-02-09 17:09:43 -05:00
f97090c997 Try a cut that goes through the trivial solution Aaron Fenyes 2024-02-08 01:58:12 -05:00
45aaaafc8f Seek sample solutions by cutting with a hyperplane Aaron Fenyes 2024-02-08 01:53:55 -05:00
43cbf8a3a0 Add relations to center and orient the construction Aaron Fenyes 2024-02-05 00:10:13 -05:00
21f09c4a4d Switch element abbreviation from "elem" to "elt" Aaron Fenyes 2024-02-04 16:08:13 -05:00
a3f3f6a31b Order spheres before points within each coordinate block Aaron Fenyes 2024-02-01 16:13:22 -05:00
65d23fb667 Use module names as filenames Aaron Fenyes 2024-01-30 02:49:33 -05:00
4e02ee16fc Find dimension of solution variety Aaron Fenyes 2024-01-30 02:45:14 -05:00
6349f298ae Extend AbstractAlgebra ideals to rational coefficients Aaron Fenyes 2024-01-29 19:11:21 -05:00
0731c7aac1 Correct relation equations Aaron Fenyes 2024-01-29 12:41:07 -05:00
59a527af43 Correct Minkowski product; build chain of three spheres Aaron Fenyes 2024-01-29 12:28:45 -05:00
c29000d912 Write a simple solver for the hitting set problem Aaron Fenyes 2024-01-28 01:34:13 -05:00
86dbd9ea45 Order variables by coordinate and then element Aaron Fenyes 2024-01-27 14:21:03 -05:00
463a3b21e1 Realize relations as equations Aaron Fenyes 2024-01-27 12:28:29 -05:00
4d5aa3b327 Realize geometric elements as symbolic vectors Aaron Fenyes 2024-01-26 11:14:32 -05:00
b864cf7866 Start drafting engine prototype Aaron Fenyes 2024-01-24 11:16:24 -05:00
c48d685ad6 doc: Extend comments on coordinatization; add a theory.md notes file Glen Whitney 2023-11-07 17:06:19 -08:00
15159302c3 doc: Add Aaron's observations on inversive coords Glen Whitney 2023-11-06 11:47:53 -08:00