eja: add a note on debugging to the DESIGN document.

diff --git a/mjo/eja/DESIGN b/mjo/eja/DESIGN
index 467e2ae027d2a20af5576b292576edf21a71b10b..35f3858fa8f863f06aa7580edb453b97d56df624 100644 (file)
--- a/mjo/eja/DESIGN
+++ b/mjo/eja/DESIGN
@@ -67,3 +67,12 @@ process. Undoing the change-of-coordinates allows us to perform some
 computations in the original basis (like the "characteristic
 polynomial of"), which can be much faster when the original basis
 contains only rational entries.
+
+Debugging
+---------
+There are several places in the code where we set check_field=False
+and check_axioms=False because the theory guarantees that they will be
+satisfied. Well, you know what they say about theory and practice. The
+first thing you should do when a problem is discovered it replace all
+of those with check_field=True and check_axioms=True, and then re-run
+the test suite.