Returns true if the supersingular module M is the full module of supersingular points and not a submodule.
Returns true if the supersingular module M1 equals M2.
Returns true if the module element P equals Q.
Returns true if the supersingular module M1 is a subset of M2.
Returns true if the underlying computations on the supersingular module M are done using Brandt modules.
Returns true if the underlying computations on the supersingular module M are done using the Mestre-Oesterle method of graphs.
> M := SupersingularModule(11); > S := CuspidalSubspace(M); > IsAmbientSpace(S); false > IsAmbientSpace(M); true > S eq M; false > S eq S; true > S.1 eq S.1; true > S.1 eq M.1 - M.2; true > S.1 eq M.1; false > S subset M; true > UsesBrandt(S); false > UsesMestre(S); true > M := SupersingularModule(11 : Brandt := true); > UsesBrandt(M); true > UsesMestre(M); false