Commit graph

Select branches

Hide pull requests

kaleidocycle-example

lang-trials

main

outline-update-fix

seed-problem

#13

#14

#15

#16

#19

#21

#22

#24

#25

#29

#34

#43

#46

#48

#72

#75

v0.1.0

v0.1.1

Mono Color

• 0abcb995b5 Rust benchmark: rename package Aaron Fenyes 2024-08-13 13:40:33 -07:00
• d864ab5abe Drop second attempt at static matrices Aaron Fenyes 2024-08-13 13:29:58 -07:00
• fb51e00503 Remove unnecessary type annotations Aaron Fenyes 2024-08-13 13:14:54 -07:00
• 144bfb8faf Scala benchmark: use fullLinkJS output Aaron Fenyes 2024-08-10 21:30:36 -07:00
• 27ada6566b Scala benchmark: step rotation by multiplying Aaron Fenyes 2024-08-10 19:11:55 -07:00
• 3665351e12 Scala benchmark: adjust interface code to match Rust Aaron Fenyes 2024-08-09 15:19:48 -07:00
• 14fb6d01f0 Rust benchmark: tidy up a bit Aaron Fenyes 2024-08-09 15:18:13 -07:00
• 0b3fe689cd Rust trial: write benchmark Aaron Fenyes 2024-08-09 15:12:44 -07:00
• 6b0fad89dc Scala trial: write benchmark Aaron Fenyes 2024-08-08 00:26:26 -07:00
• 0bd025dd14 Scala trial: clean up Laminar interface Aaron Fenyes 2024-08-07 13:40:09 -07:00
• 4f30f31686 Rust trial: Make git ignore Cargo.lock Aaron Fenyes 2024-08-07 13:36:48 -07:00
• c376fcdad8 Hack together a "Hello, world" in Scala with Laminar Aaron Fenyes 2024-08-07 13:32:12 -07:00
• 244f222eb0 Move the engine into a module Aaron Fenyes 2024-07-29 13:14:32 -07:00
• 42bdfabd91 Rust trial: port interface to Sycamore Aaron Fenyes 2024-07-29 05:30:16 -07:00
• 12abef4076 Trial a Rust engine powering a Civet interface Aaron Fenyes 2024-07-28 21:10:04 -07:00
• d7dbee4c05 Stow algebraic engine prototype Aaron Fenyes 2024-07-28 20:50:04 -07:00
• 9d69a900e2 Irisawa hexlet: use Abe's terminology in comments Aaron Fenyes 2024-07-18 03:39:41 -07:00
• 8a77cd7484 Irisawa hexlet: drop unviable approach Aaron Fenyes 2024-07-18 03:21:46 -07:00
• a26f1e3927 Add Irisawa hexlet example Aaron Fenyes 2024-07-18 03:16:57 -07:00
• 19a4d49497 Clean up example formatting Aaron Fenyes 2024-07-18 01:48:05 -07:00
• 71c10adbdd Overlapping pyramids: drop outdated comment Aaron Fenyes 2024-07-18 01:12:49 -07:00
• 33c09917d0 Correct scope of guess constants Aaron Fenyes 2024-07-18 01:05:13 -07:00
• b24dcc9af8 Report success correctly when step limit is reached Aaron Fenyes 2024-07-18 01:04:40 -07:00
• b040bbb7fe Drop old code from examples Aaron Fenyes 2024-07-18 00:50:48 -07:00
• 9007c8bc7c Circles in triangle: jiggle the guess Aaron Fenyes 2024-07-18 00:43:44 -07:00
• a7f9545a37 Circles in triangle: correct frozen variables Aaron Fenyes 2024-07-18 00:43:00 -07:00
• 3764fde2f6 Clean up formatting of notes Aaron Fenyes 2024-07-18 00:27:10 -07:00
• 24dae6807b Clarify notes on tangency Aaron Fenyes 2024-07-18 00:16:23 -07:00
• 74c7f64b0c Correct sign of normal in plane utility Aaron Fenyes 2024-07-18 00:03:12 -07:00
• d0340c0b65 Correct point utility again Aaron Fenyes 2024-07-17 23:37:28 -07:00
• 69a704d414 Use notes' sign convention for light cone basis Aaron Fenyes 2024-07-17 23:07:34 -07:00
• 01f44324c1 Tetrahedron radius ratio: find radius ratio Aaron Fenyes 2024-07-17 22:45:17 -07:00
• 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