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.
 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.