From: Michael Orlitzky Date: Tue, 6 Aug 2019 23:00:57 +0000 (-0400) Subject: eja: use "dimension" instead of "degree" in EJA string representation. X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=208bc5d64bd206684e59f757d932768552e9f7ba;hp=208bc5d64bd206684e59f757d932768552e9f7ba;p=sage.d.git eja: use "dimension" instead of "degree" in EJA string representation. ---