- subsec_projections
- subsec_pullback_and_pushforward_of_hom_spaces
- subsec_quotients
- subsec_random_element
- subsec_representation_of_torsion_points
- subsec_restriction,_evaluation,_and_other_manipulations
- subsec_structural_invariants
- subsec_subgroups__and_subrings
- subsec_sum_in_an_ambient_variety
- subsec_tamagawa_numbers
- subsec_torsion_subgroup
- subsec_underlying_abelian_group_and_lattice
- subsec_upper_and_lower_bounds
- subsec_values_at_integers_in_the_critical_strip
- subsemigroup
- subsemigroup-ideal
- subsemigroup-ideal-quotient
- Subsequence
- Subsequences
- Subset
- subset
- S subset L : LatNF, LatNF -> BoolElt
- IsSublattice(S, L) : LatNF, LatNF -> BoolElt, Mtrx
- x in R : AlgMatElt, AlgMat -> BoolElt
- e le f : SubGrpLatElt, SubGrpLatElt -> BoolElt
- I subset J : AlgAssVOrdIdl, AlgAssVOrdIdl -> BoolElt
- I subset J : AlgFP, AlgFP -> BoolElt
- I subset J : AlgFr, AlgFr -> BoolElt
- A subset B : AlgGen, AlgGen -> BoolElt
- L subset K : AlgLie, AlgLie -> BoolElt
- C subset D : Code, Code -> BoolElt
- C subset D : Code, Code -> BoolElt
- C subset D : Code, Code -> BoolElt
- A subset B : FldAb, FldAb -> BoolElt
- A subset B : FldFunAb, FldFunAb -> BoolElt
- H subset G : GrpAb, GrpAb -> BoolElt
- A subset B: GrpAutCrv, GrpAutCrv -> BoolElt
- H subset G : GrpFin, GrpFin -> BoolElt
- H ⊂K : GrpFP, GrpFP -> BoolElt
- H subset G : GrpGPC, GrpGPC -> BoolElt
- S subset T : GrphVertSet, GrphVertSet -> BoolElt
- G subset H : GrpLie, GrpLie -> BoolElt
- H subset G : GrpMat, GrpMat -> BoolElt
- H subset G : GrpPC, GrpPC -> BoolElt
- H subset G : GrpPerm, GrpPerm -> BoolElt
- H subset G : GrpPSL2, GrpPSL2 -> BoolElt
- H1 subset H2 : HomModAbVar, HomModAbVar -> BoolElt
- L subset M: Lat, Lat -> BoolElt
- K subset L : LinearSys,LinearSys -> BoolElt
- A subset B : ModAbVar, ModAbVar -> BoolElt
- A subset G : ModAbVar, ModAbVarSubGrp -> BoolElt
- G subset A : ModAbVarSubGrp, ModAbVar -> BoolElt
- G1 subset G2 : ModAbVarSubGrp, ModAbVarSubGrp -> BoolElt
- M1 subset M2 : ModBrdt, ModBrdt -> BoolElt
- M subset N : ModDed, ModDed -> BoolElt
- M subset N : ModMPol, ModMPol -> BoolElt
- N subset M : ModRng, ModRng -> BoolElt
- M1 subset M2 : ModSS, ModSS -> BoolElt
- U subset V : ModTupFld, ModTupFld -> BoolElt
- N subset M : ModTupRng, ModTupRng -> BoolElt
- I subset J : OMIdl, OMIdl -> BoolElt
- I subset J : OMIdl, OMIdl -> BoolElt
- P subset Q : Plane, Plane -> BoolElt
- O1 subset O2 : RngFunOrd, RngFunOrd -> BoolElt
- I subset J : RngIdl, RngIdl -> BoolElt
- I subset J : RngMPol, RngMPol -> BoolElt
- I subset J : RngMPolLoc, RngMPolLoc -> BoolElt
- I subset J : RngMPolRes, RngMPolRes -> BoolElt
- I subset J : RngOrdIdl, RngOrdIdl -> BoolElt
- I subset J : RngUPol, RngUPol -> BoolElt
- R1 subset R2 : RootDtm, RootDtm -> BoolElt, .
- R1 subset R2 : RootSys, RootSys -> BoolElt, .
- R subset S : SetEnum, Set -> BoolElt
- S subset X : Setq,Sch -> BoolElt
- e subset f : SubFldLatElt, SubFldLatElt -> BoolElt
- e subset f : SubModLatElt, SubModLatElt -> SubModLatElt
- S subset T : TenSpc, TenSpc -> BoolElt
- P subset Q : TorPol,TorPol -> BoolElt
- S subset G : { GrpAbElt } , GrpAb -> BoolElt
- S subset G : { GrpFinElt }, GrpFin -> BoolElt
- S subset G : { GrpGPCElt } , GrpGPC -> BoolElt
- S subset G : { GrpMatElt }, GrpMat -> BoolElt
- S subset G : { GrpPCElt } , GrpPC -> BoolElt
- S subset G : { GrpPermElt }, GrpPerm -> BoolElt
- S subset G : { GrpSLPElt } , GrpSLP -> BoolElt
- S subset B : { IncPt }, IncBlk -> BoolElt
- S subset l : { PlanePt }, PlaneLn -> BoolElt
V2.28, 13 July 2023