glen/dyna3
1
0
Fork 0
Code Issues 10 Pull Requests 1 Actions Projects Releases 2 Wiki Activity

Record hyperplane cut results

Vectornaut 2024-02-10 18:50:27 +00:00
parent c0a3e71283
commit 26feacb01e
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Engine-prototype.md

@ -1,3 +1,9 @@
## Witness sets
* Cutting along a hyperplane with real coefficients and offset has been doing a good job of finding real solutions.
* Hyperplanes that go through the origin has been performing better than hyperplanes with other offsets.
* Ones that go through the trivial solution seem the worst.
* In tests based on commit 8e33987, hyperplanes through the origin tend to hit around 1.5 times as many real solutions as ones through the trivial solution.
## Rational points
One strategy for exploring a positive-dimensional solution variety is to enumerate rational points. When the user drags the display, we move numerically along the solution variety, snapping to the nearest known rational point when the drag ends.