X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=mjo%2Feja%2FDESIGN;fp=mjo%2Feja%2FDESIGN;h=35f3858fa8f863f06aa7580edb453b97d56df624;hb=1a24108744e7861090d91d766b75f0f5cdeb868b;hp=467e2ae027d2a20af5576b292576edf21a71b10b;hpb=857eeec29a9b89b0e4f711476771c935757fa8dc;p=sage.d.git

diff --git a/mjo/eja/DESIGN b/mjo/eja/DESIGN
index 467e2ae..35f3858 100644
--- 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.