From: Michael Orlitzky <michael@orlitzky.com>
Date: Thu, 25 Feb 2021 23:42:42 +0000 (-0500)
Subject: eja: add a note on debugging to the DESIGN document.
X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=1a24108744e7861090d91d766b75f0f5cdeb868b;p=sage.d.git

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

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.