]> gitweb.michael.orlitzky.com - sage.d.git/commit
eja: disable axiom checking for concrete algebras.
authorMichael Orlitzky <michael@orlitzky.com>
Thu, 3 Dec 2020 17:39:49 +0000 (12:39 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Thu, 3 Dec 2020 17:39:49 +0000 (12:39 -0500)
commite224054da4441a27efe2301ce18e688f17408ddb
tree2525a98a9454bf6f310f6a8500c6c2abb88e3360
parentc89792b4772d4012799a6e7fcd63c1cdba6fce12
eja: disable axiom checking for concrete algebras.
mjo/eja/TODO
mjo/eja/eja_algebra.py