Predicates

IsAmbientSpace(M) : ModSS -> BoolElt

True if M is the full module of supersingular points and not a submodule.

M1 eq M2 : ModSS, ModSS -> BoolElt

True if M_1 equals M_2.

P eq Q : ModSSElt, ModSSElt -> BoolElt

True if P equals Q.

M1 subset M2 : ModSS, ModSS -> BoolElt

True if M_1 is a subset of M_2.

UsesBrandt(M) : ModSS -> BoolElt

True if the underlying computations on M are done using Brandt modules.

UsesMestre(M) : ModSS -> BoolElt

True if the underlying computations on M are done using the Mestre-Oesterle method of graphs.

Example ModSS_Predicates (H92E6)

> 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