From 1a24108744e7861090d91d766b75f0f5cdeb868b Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 25 Feb 2021 18:42:42 -0500 Subject: [PATCH] eja: add a note on debugging to the DESIGN document. --- mjo/eja/DESIGN | 9 +++++++++ 1 file changed, 9 insertions(+) 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. -- 2.43.2