dyna3/app-proto
Vectornaut 2c4fd39c1f refactor: Tidy up engine tests (#72)
### `zero_loss_test`
  - Drop the redundant type hint in the definition of `a`.

  ### `tangent_test_three_spheres`
  - Get the dimension from the expected basis, rather than putting it in by hand.

  ### `tangent_test_kaleidocycle`
  - Factor out the realization code, in the same style as `realize_irisawa_hexlet`.
  - Rename the `irisawa` submodule to `examples`.

  ### `frozen_entry_test`
  - Move up into the section for simpler tests, between `zero_loss_test` and `irisawa_hexlet_test`.

Co-authored-by: Aaron Fenyes <aaron.fenyes@fareycircles.ooo>
Reviewed-on: glen/dyna3#72
Reviewed-by: Glen Whitney <glen@nobody@nowhere.net>
Co-authored-by: Vectornaut <vectornaut@nobody@nowhere.net>
Co-committed-by: Vectornaut <vectornaut@nobody@nowhere.net>
2025-03-12 21:54:56 +00:00
..
examples refactor: Tidy up engine tests (#72) 2025-03-12 21:54:56 +00:00
src refactor: Tidy up engine tests (#72) 2025-03-12 21:54:56 +00:00
.gitignore feat: Application prototype (#14) 2024-10-21 23:38:27 +00:00
Cargo.toml Generalize constraints to observables (#48) 2025-03-10 23:43:24 +00:00
index.html Clean up the outline view (#19) 2024-11-15 03:32:47 +00:00
main.css Generalize constraints to observables (#48) 2025-03-10 23:43:24 +00:00
run-examples Switch to Euclidean-invariant projection onto tangent space of solution variety (#34) 2025-01-31 19:34:33 +00:00