From: Michael Orlitzky Date: Tue, 10 Nov 2020 01:59:33 +0000 (-0500) Subject: eja: split "check" args into check_field and check_axioms. X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=3e46389a46db107db3fe36ace6fe5f2c2b52f815;hp=3e46389a46db107db3fe36ace6fe5f2c2b52f815;p=sage.d.git eja: split "check" args into check_field and check_axioms. ---