]> gitweb.michael.orlitzky.com - sage.d.git/search
eja: use "dimension" instead of "degree" in EJA string representation.