Vectornaut
0 followers · 0 following
  • Joined on 2019-09-28
Repositories
2
 Projects Packages Public activity Starred repositories
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 »
Vectornaut pushed to thresholding at glen/FireStar 2019-09-29 01:46:19 +00:00
2e03b2e1a9 Correct moving average computation
696caac312 Merge branch 'interactions' into thresholding
4c4d824f6f Prepare to merge Glen's changes
Vectornaut pushed to heat at glen/FireStar 2019-09-29 01:42:35 +00:00
56f42684f3 Turn on bridge connection
Vectornaut pushed to heat at glen/FireStar 2019-09-29 01:41:23 +00:00
b11420daab Update instructions
Vectornaut pushed to heat at glen/FireStar 2019-09-29 01:37:38 +00:00
0ac76265a0 Start developing heat evolution