]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: get rid of the KnownRankEJA class.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 3 Nov 2020 19:43:30 +0000 (14:43 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 3 Nov 2020 19:43:30 +0000 (14:43 -0500)
Not needed now that I know how to compute rank.


No differences found