Remove unnecessary heading

Vectornaut 2024-02-04 23:45:05 +00:00
parent 627d05eb4b
commit 920e4ea0e3

@ -1,5 +1,3 @@
# Engine prototype
## 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.