Vectornaut
  • Joined on 2019-09-28
Vectornaut pushed to lang-trials at StudioInfinity/dyna3 2024-08-09 22:20:20 +00:00
3665351e12 Scala benchmark: adjust interface code to match Rust
14fb6d01f0 Rust benchmark: tidy up a bit
0b3fe689cd Rust trial: write benchmark
6b0fad89dc Scala trial: write benchmark
0bd025dd14 Scala trial: clean up Laminar interface
Compare 7 commits »
Vectornaut pushed to engine-proto at StudioInfinity/dyna3 2024-07-29 23:34:14 +00:00
d7dbee4c05 Stow algebraic engine prototype
9d69a900e2 Irisawa hexlet: use Abe's terminology in comments
8a77cd7484 Irisawa hexlet: drop unviable approach
a26f1e3927 Add Irisawa hexlet example
19a4d49497 Clean up example formatting
Compare 78 commits »
Vectornaut pushed to lang-trials at StudioInfinity/dyna3 2024-07-29 20:29:57 +00:00
244f222eb0 Move the engine into a module
42bdfabd91 Rust trial: port interface to Sycamore
12abef4076 Trial a Rust engine powering a Civet interface
d7dbee4c05 Stow algebraic engine prototype
Compare 4 commits »
Vectornaut created branch lang-trials in StudioInfinity/dyna3 2024-07-29 20:29:56 +00:00
Vectornaut pushed to gram at StudioInfinity/dyna3 2024-07-18 22:01:54 +00:00
9d69a900e2 Irisawa hexlet: use Abe's terminology in comments
8a77cd7484 Irisawa hexlet: drop unviable approach
a26f1e3927 Add Irisawa hexlet example
19a4d49497 Clean up example formatting
71c10adbdd Overlapping pyramids: drop outdated comment
Compare 29 commits »
Vectornaut pushed to gram at StudioInfinity/dyna3 2024-07-15 23:20:17 +00:00
b185fd4b83 Switch to backtracking Newton's method in Optim
94e0d321d5 Switch back to BigFloat precision in examples
53d8c38047 Preserve explicit zeros in Gram matrix conversion
7b3efbc385 Clean up backtracking gradient descent code
25b09ebf92 Sketch backtracking Newton's method
Compare 5 commits »
Vectornaut pushed to gram at StudioInfinity/dyna3 2024-07-11 23:15:00 +00:00
3910b9f740 Use Newton's method for polishing
d538cbf716 Correct improvement threshold by using unit step
4d5ea062a3 Record gradient and last line search in history
5652719642 Require triangle sides to be planar
f84d475580 Visualize neighborhoods of global minima
Compare 6 commits »
Vectornaut pushed to gram at StudioInfinity/dyna3 2024-07-08 23:25:16 +00:00
023759a267 Start "circles in triangle" from a very close guess
610fc451f0 Track slope in gradient descent history
93dd05c317 Add required package to "sphere in tetrahedron" example
9efa99e8be Test gradient descent for circles in triangle
828498b3de Add sphere and plane utilities to engine
Compare 14 commits »
Vectornaut pushed to gram at StudioInfinity/dyna3 2024-06-26 23:03:23 +00:00
8eb1ebb8d2 Merge branch 'ganja' into gram
05a824834d Let visibility controls scroll
a113f33635 Merge branch 'ganja' into gram
5ea32ac53c Streamline visibility controls
3eb4fc6c91 Add element visibility controls
Compare 19 commits »
Vectornaut commented on issue glen/archematics#80 2024-06-20 00:39:40 +00:00
Refactor archematics to use JSXGraph for geometry constructions

The problem is using a table data cell as the canvas container! Here's a small demo. As written, the page puts a board in the green table data cell named 'td-box'. This causes the cell to grow…

Vectornaut commented on issue glen/archematics#80 2024-06-20 00:12:58 +00:00
Refactor archematics to use JSXGraph for geometry constructions

I forgot to mention: there's at least one JSXGraph example, checkbox.html, that doesn't set the float property on the canvas div. That means there's still some unexplained difference between…

Vectornaut commented on issue glen/archematics#80 2024-06-19 23:22:48 +00:00
Refactor archematics to use JSXGraph for geometry constructions

In most of the JSXGraph examples, the board div's styling includes something like width: 500px; height: 500px; float: left. If I use the Firefox inspector to add those properties to the…

Vectornaut pushed to gram at StudioInfinity/dyna3 2024-05-30 23:08:57 +00:00
58a5c38e62 Try numerical low-rank factorization
Vectornaut commented on issue glen/archematics#76 2024-03-06 22:28:37 +00:00
[jsxgraph] Add Circle3D element

We should check whether 3D circles appear in their own right, or just as intersections. I think these would be implemented as different elements in JSXGraph, and it would be nice if we could get…

Vectornaut pushed to gram at StudioInfinity/dyna3 2024-03-01 18:26:43 +00:00
ef33b8ee10 Correct signature
Vectornaut created branch gram in StudioInfinity/dyna3 2024-03-01 18:04:32 +00:00
Vectornaut pushed to gram at StudioInfinity/dyna3 2024-03-01 18:04:32 +00:00
717e5a6200 Extend Gram matrix automatically
16826cf07c Try out the Gram matrix approach
Compare 2 commits »
Vectornaut pushed to engine-proto at StudioInfinity/dyna3 2024-02-16 20:48:43 +00:00
3170a933e4 Clean up example of three mutually tangent spheres
f2000e5731 Test different sign patterns for cosines
ba365174d3 Find real solutions for three mutually tangent spheres
ae5db0f9ea Make results reproducible
8d8bc9162c Store elements in arrays to keep order stable
Compare 6 commits »
Vectornaut created branch seed-problem in StudioInfinity/dyna3 2024-02-16 20:48:30 +00:00
Vectornaut pushed to seed-problem at StudioInfinity/dyna3 2024-02-16 20:48:30 +00:00
2a505c1f59 Store elements in arrays to keep order stable
a6da6f9925 Investigate why witness sets aren't reproducible
Compare 2 commits »