From: Michael Orlitzky Date: Tue, 3 Nov 2020 19:43:30 +0000 (-0500) Subject: eja: get rid of the KnownRankEJA class. X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;ds=inline;h=8e4c84f17025f6c3f2d049902a6a01f954d484ee;hp=8e4c84f17025f6c3f2d049902a6a01f954d484ee;p=sage.d.git eja: get rid of the KnownRankEJA class. Not needed now that I know how to compute rank. ---