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

Describe test suite

Vectornaut 2024-02-04 23:46:59 +00:00
parent 920e4ea0e3
commit ae084f0d18
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
Engine-prototype.md

@ -1,6 +1,14 @@
## Basis optimization
The size of the Gröbner basis depends a lot on the variable order. So far, I've gotten the best performance with the degree › reverse lexicographic monomial order and the following variable order.
### Best order
The size of the Gröbner basis depends a lot on the variable order. For the examples below, I've gotten the best performance with the degree › reverse lexicographic monomial order and the following variable order.
* First, sort by coordinate: $r$, $s$, $x$, $y$, $z$
* Within each coordinate, put spheres before points: $r_\text{s1}, r_\text{p1}, r_\text{p2}$
* Within each coordinate, put spheres before points: $r_\text{s1}, r_\text{p1}, r_\text{p2}$
### Test suite
* One point on a sphere
* Two points on a sphere
* Three mutually tangent spheres