Vectornaut/dyna3
1
0
Fork 0
forked from glen/dyna3
Code Pull requests Activity
77 commits 21 branches 2 tags 2 MiB
Commit graph

77 commits

This branch
This branch
All branches
Author SHA1 Message Date
Aaron Fenyes
6349f298ae Extend AbstractAlgebra ideals to rational coefficients 
The extension should also let us work over finite fields of prime order,
although we don't need to do that.
 2024-01-29 19:11:21 -05:00
Aaron Fenyes
0731c7aac1 Correct relation equations 2024-01-29 12:41:07 -05:00
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
Glen Whitney
c48d685ad6 doc: Extend comments on coordinatization; add a theory.md notes file 2023-11-07 17:06:19 -08:00
Glen Whitney
15159302c3 doc: Add Aaron's observations on inversive coords 2023-11-06 11:47:53 -08:00
Glen Whitney
daed435826 doc: Add a few implementation goals to README 2023-11-01 13:08:20 -07:00
Glen Whitney
2cfcfacb5a doc: Add new notes directory with design notes 2023-11-01 12:58:08 -07:00
Glen Whitney
fce8be5b56 Adjust lighting and camera for decent initial rendering of polyhedra 
Note that the version of three.js also incidentally bumped, since it's set
  to take the latest
 2019-12-31 07:20:33 -08:00
Glen Whitney
9c2038e3c9 Enable mouse rotate, pan, and zoom with TrackballControls 2019-12-12 14:04:11 -05:00
Glen Whitney
c7f2feab1f First pass at coordinate axes 2019-12-12 02:44:33 -05:00
Glen Whitney
413a8b5b81 Switch to good old make to reduce redundancies in build 2019-12-12 00:33:59 -05:00
Glen Whitney
2c17758987 0.1.1 2019-12-11 13:21:01 -05:00
Glen Whitney
6717a76f21 Copy only the production dependencies to the site directory 2019-12-11 13:20:31 -05:00
Glen Whitney
5fef463aba 0.1.0 2019-12-11 12:43:50 -05:00
Glen Whitney
c3995d6fcb Set up testing with Ava 2019-12-11 12:07:43 -05:00
Glen Whitney
eb81cee609 Generate documentation by assembling markdown and litcoffee files 2019-12-09 20:52:42 -05:00
Glen Whitney
83318c7884 Set up npm run build to build dyna3 2019-12-09 12:08:05 -05:00
Glen Whitney
660f42b31f Automatically generate externals.js from package-lock.json 
This commit adds a utility to parse package-lock.json and write the proper
  contents of externals.js to standard output. In addition, if the utility
  (src/helpers/pkglock_to_externals.litcoffee) is invoked with a --doc option,
  it instead emits a Markdown bulleted list of all of the external dependencies.
 2019-12-08 23:22:52 -05:00
Glen Whitney
fa63ce50ed Establish working stub code (still no build system) 2019-11-24 13:15:44 -05:00
Glen Whitney
c83019656e Establish package structure and initial technology plan 2019-11-23 15:54:44 -05:00
Glen Whitney
3192855776 Add a brief initial description 2019-09-14 16:08:37 -04:00
Glen Whitney
ec10233738 Initial commit 2019-09-14 19:00:59 +00:00