From: Michael Orlitzky 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.