Vectornaut

Vectornaut created branch macaulay2 in StudioInfinity/dyna3

2024-02-16 20:48:01 +00:00

Vectornaut pushed to macaulay2 at StudioInfinity/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 StudioInfinity/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 StudioInfinity/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 StudioInfinity/dyna3

2024-02-10 19:22:06 +00:00

af1d31f6e6 Test a scale constraint

Vectornaut pushed to engine-proto at StudioInfinity/dyna3

2024-02-10 18:51:03 +00:00

8e33987f59 Systematically try out different cut planes

Vectornaut pushed to engine-proto at StudioInfinity/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 StudioInfinity/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 StudioInfinity/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 StudioInfinity/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 StudioInfinity/dyna3

2024-02-01 21:17:13 +00:00

a3f3f6a31b Order spheres before points within each coordinate block

Vectornaut pushed to engine-proto at StudioInfinity/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 »

Vectornaut pushed to engine-proto at StudioInfinity/dyna3

2024-01-29 17:41:16 +00:00

0731c7aac1 Correct relation equations

Vectornaut pushed to engine-proto at StudioInfinity/dyna3

2024-01-29 17:40:37 +00:00

59a527af43 Correct Minkowski product; build chain of three spheres

Vectornaut pushed to engine-proto at StudioInfinity/dyna3

2024-01-28 06:34:45 +00:00

c29000d912 Write a simple solver for the hitting set problem

86dbd9ea45 Order variables by coordinate and then element

Compare 2 commits »

Vectornaut pushed to engine-proto at StudioInfinity/dyna3

2024-01-27 17:31:02 +00:00

463a3b21e1 Realize relations as equations

Vectornaut created branch engine-proto in StudioInfinity/dyna3

2024-01-27 05:52:24 +00:00

Vectornaut pushed to engine-proto at StudioInfinity/dyna3

2024-01-27 05:52:24 +00:00

4d5aa3b327 Realize geometric elements as symbolic vectors

b864cf7866 Start drafting engine prototype

Compare 2 commits »

Vectornaut pushed to interactions at glen/FireStar

2019-09-29 14:35:43 +00:00

d54d4628af Turn on bridge connection

Vectornaut pushed to interactions at glen/FireStar

2019-09-29 14:30:17 +00:00

fef5385da7 Reorient display

9dc6098ff3 Set up heat/wave mode switch

a52ed7a90e Merge branch 'heat' into interactions

56f42684f3 Turn on bridge connection

b11420daab Update instructions

Compare 11 commits »