106 Commits

Author	SHA1	Message	Date
Aaron Fenyes	59a527af43	Correct Minkowski product; build chain of three spheres	2024-01-29 12:28:57 -05:00
Aaron Fenyes	c29000d912	Write a simple solver for the hitting set problem ... I think we need this to find the dimension of the solution variety.	2024-01-28 01:34:13 -05:00
Aaron Fenyes	86dbd9ea45	Order variables by coordinate and then element ... In other words, order coordinates like (rₛ₁, rₛ₂, sₛ₁, sₛ₂, xₛ₁, xₛ₂, xₚ₃, yₛ₁, yₛ₂, yₚ₃, zₛ₁, zₛ₂, zₚ₃) instead of like (rₛ₁, sₛ₁, xₛ₁, yₛ₁, zₛ₁, rₛ₂, sₛ₂, xₛ₂, yₛ₂, zₛ₂, xₚ₃, yₚ₃, zₚ₃). In the test cases, this really cuts down the size of the Gröbner basis.	2024-01-27 14:21:03 -05:00
Aaron Fenyes	463a3b21e1	Realize relations as equations	2024-01-27 12:28:29 -05:00
Aaron Fenyes	4d5aa3b327	Realize geometric elements as symbolic vectors	2024-01-26 11:14:32 -05:00
Aaron Fenyes	b864cf7866	Start drafting engine prototype	2024-01-24 11:16:24 -05:00