From ae084f0d18714bbb1a8505d1724e422878b2b922 Mon Sep 17 00:00:00 2001
From: Vectornaut <vectornaut@nobody@nowhere.net>
Date: Sun, 4 Feb 2024 23:46:59 +0000
Subject: [PATCH] Describe test suite

---
 Engine-prototype.md | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/Engine-prototype.md b/Engine-prototype.md
index 9c8d1b1..23240c2 100644
--- a/Engine-prototype.md
+++ b/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}$
\ No newline at end of file
+* 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
\ No newline at end of file