Vectornaut
0 Followers · 0 Following
  • Joined on 2019-09-28
Repositories
1
 Projects Packages Public Activity Starred Repositories
Vectornaut pushed to gram at glen/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 glen/dyna3 2024-03-01 18:26:43 +00:00
ef33b8ee10 Correct signature
Vectornaut created branch gram in glen/dyna3 2024-03-01 18:04:32 +00:00
Vectornaut pushed to gram at glen/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 glen/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 glen/dyna3 2024-02-16 20:48:30 +00:00
Vectornaut pushed to seed-problem at glen/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 »
Vectornaut created branch macaulay2 in glen/dyna3 2024-02-16 20:48:01 +00:00
Vectornaut pushed to macaulay2 at glen/dyna3 2024-02-16 20:48:01 +00:00
74529048de Start interface to Macaulay2
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
Compare 7 commits »
Vectornaut pushed to engine-proto at glen/dyna3 2024-02-13 09:21:48 +00:00
e41bcc7e13 Explore the performance wall
31d5e7e864 Play with two points on two spheres
a450f701fb Try displaying a chain of spheres
6cf07dc6a1 Evaluate and display elements
Compare 4 commits »
Vectornaut pushed to engine-proto at glen/dyna3 2024-02-12 22:14:20 +00:00
1f173708eb Move random cut routine into engine
6f18d4efcc Test lots of uniformly distributed hyperplanes
621c4c5776 Try uniformly distributed hyperplane orientations
b3b7c2026d Separate the algebraic and numerical parts of the engine
Compare 4 commits »
Vectornaut pushed to engine-proto at glen/dyna3 2024-02-10 19:22:06 +00:00
af1d31f6e6 Test a scale constraint
Vectornaut pushed to engine-proto at glen/dyna3 2024-02-10 18:51:03 +00:00
8e33987f59 Systematically try out different cut planes
Vectornaut pushed to engine-proto at glen/dyna3 2024-02-10 06:06:37 +00:00
06872a04af Say how many sample solutions we found
becefe0c47 Try switching to compiled system
34358a8728 Find witnesses on random rational hyperplanes
Compare 3 commits »
Vectornaut pushed to engine-proto at glen/dyna3 2024-02-09 22:10:51 +00:00
95c0ff14b2 Show explicitly that all coefficients are 1 in first cut equation
Vectornaut pushed to engine-proto at glen/dyna3 2024-02-08 06:58:59 +00:00
f97090c997 Try a cut that goes through the trivial solution
45aaaafc8f Seek sample solutions by cutting with a hyperplane
Compare 2 commits »
Vectornaut pushed to engine-proto at glen/dyna3 2024-02-05 21:00:20 +00:00
43cbf8a3a0 Add relations to center and orient the construction
21f09c4a4d Switch element abbreviation from "elem" to "elt"
Compare 2 commits »
Vectornaut pushed to engine-proto at glen/dyna3 2024-02-01 21:17:13 +00:00
a3f3f6a31b Order spheres before points within each coordinate block
Vectornaut pushed to engine-proto at glen/dyna3 2024-01-30 07:49:45 +00:00
65d23fb667 Use module names as filenames
4e02ee16fc Find dimension of solution variety
6349f298ae Extend AbstractAlgebra ideals to rational coefficients
Compare 3 commits »