Documentation

IsSelfNormalising
- IsSelfNormalizing(G, H) : GrpGPC, GrpGPC -> BoolElt
- IsSelfNormalising(G, H) : GrpGPC, GrpGPC -> BoolElt
- IsSelfNormalizing(G, H) : GrpFin, GrpFin -> BoolElt
- IsSelfNormalizing(G, H) : GrpPerm, GrpPerm -> BoolElt
IsSelfNormalizing
- IsSelfNormalizing(G, H) : GrpGPC, GrpGPC -> BoolElt
- IsSelfNormalising(G, H) : GrpGPC, GrpGPC -> BoolElt
- IsSelfNormalizing(G, H) : GrpFin, GrpFin -> BoolElt
- IsSelfNormalizing(G, H) : GrpFP, GrpFP -> BoolElt
- IsSelfNormalizing(G, H) : GrpPC, GrpPC -> BoolElt
- IsSelfNormalizing(G, H) : GrpPerm, GrpPerm -> BoolElt
IsSelfOrthogonal
- IsSelfOrthogonal(C) : Code -> BoolElt
- IsSelfOrthogonal(C) : Code -> BoolElt
- IsSelfOrthogonal(C) : Code -> BoolElt
IsSemiLinear
- IsSemiLinear(G) : GrpMat -> BoolElt
IsSemiregular
- IsSemiregular(G, Y) : GrpPerm, GSet -> BoolElt
- IsSemiregular(G, Y, S) : GrpPerm, GSet, SetEnum -> BoolElt
IsSemisimple
- IsSemisimple(A) : AlgGen -> BoolElt
- IsSemisimple(L) : AlgLie -> BoolElt
- IsSemisimple(A) : GalRep -> BoolElt
- IsSemisimple(G) : GrpLie-> BoolElt
- IsSemisimple(x) : GrpLieElt -> BoolElt
- IsSemisimple(W) : GrpPermCox -> BoolElt
- IsSemisimple(M) : ModAlg -> BoolElt, SeqEnum
- IsSemisimple(M) : ModGrp -> BoolElt
- IsSemisimple(M) : ModGrp -> BoolElt
- IsSemisimple(R) : RootStr -> BoolElt
- IsSemisimple(R) : RootSys-> BoolElt
IsSeparable
- IsSeparable(G) : GrphMultUnd -> BoolElt
- IsSeparable(G) : GrphUnd -> BoolElt
- IsSeparable(f) : RngUPolElt -> BoolElt
IsSeparating
- IsSeparating(a) : FldFunGElt -> BoolElt
IsServerSocket
- IsServerSocket(S) : IO -> BoolElt
IsSharplyTransitive
- IsSharplyTransitive(G, Y, k) : GrpPerm, GSet, RngIntElt -> BoolElt
IsShortExactSequence
- IsShortExactSequence(f, g) : MapChn, MapChn -> BoolElt
- IsShortExactSequence(C) : ModCpx -> BoolElt, RngIntElt
IsShortRoot
- IsShortRoot(G, r) : GrpLie, RngIntElt -> BoolElt
- IsShortRoot(W, r) : GrpPermCox, RngIntElt -> BoolElt
- IsShortRoot(R, r) : RootStr, RngIntElt -> BoolElt
- IsShortRoot(R, r) : RootSys, RngIntElt -> BoolElt
IsSimilar
- IsSimilar(A, B) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt
- IsSimilar(a, b) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt
- IsSimilar(A, B) : LatNF, LatNF -> BoolElt, Mtrx, FldNumElt
- IsSimilar(M, N) : ModRng, ModRng -> BoolElt, Map
- IsSimilar(V, W) : ModTupFld, ModTupFld -> BoolElt, Map
IsSimilarity
- IsSimilarity(f) : Map -> BoolElt, FldElt
- IsSimilarity(U, V, f) : ModTupFld, ModTupFld, Map -> BoolElt, FldElt
- IsSimilarity(V, g) : ModTupFld, Mtrx -> BoolElt, FldElt
IsSimple
- IsSimple(A) : AlgGen -> BoolElt
- IsSimple(L) : AlgLie -> BoolElt
- IsSimple(F) : FldAlg -> BoolElt
- IsSimple(F) : FldNum -> BoolElt
- IsSimple(G) : GrpFin -> BoolElt
- IsSimple(G) : GrpGPC -> BoolElt
- IsSimple(G) : GrphMult -> BoolElt
- IsSimple(G) : GrpLie -> BoolElt
- IsSimple(G) : GrpMat -> BoolElt
- IsSimple(G) : GrpPC -> BoolElt
- IsSimple(G) : GrpPerm -> BoolElt
- IsSimple(D) : Inc -> BoolElt
- IsSimple(L) : LatNF -> BoolElt
- IsSimple(A) : ModAbVar -> BoolElt
- IsSimple(u: parameters) : GrpBrdElt -> BoolElt
- IsSimple(P) : TorPol -> BoolElt
IsSimpleStarAlgebra
- IsSimpleStarAlgebra(A) : AlgMat -> BoolElt
IsSimpleSurfaceSingularity
- IsSimpleSurfaceSingularity(p) : Pt -> BoolElt, MonStr, RngIntElt
IsSimplex
- IsSimplex(P) : TorPol -> BoolElt
IsSimplicial
- IsSimplicial(P) : TorPol -> BoolElt
- IsQFactorial(C) : TorCon -> BoolElt
- IsSimplicial(C) : TorCon -> BoolElt
IsSimplifiedModel
- IsSimplifiedModel(E) : CrvEll -> BoolElt
- IsSimplifiedModel(C) : CrvHyp -> BoolElt
IsSimplyConnected
- IsSimplyConnected(G) : GrpLie -> BoolElt
- IsSimplyConnected(R) : RootDtm -> BoolElt
IsSimplyLaced
- IsSimplyLaced(C) : AlgMatElt -> BoolElt
- IsSimplyLaced(M) : AlgMatElt -> BoolElt
- IsSimplyLaced(D) : GrphDir -> BoolElt
- IsSimplyLaced(G) : GrphUnd -> BoolElt
- IsSimplyLaced(G) : GrpLie-> BoolElt
- IsSimplyLaced(W) : GrpMat -> BoolElt
- IsSimplyLaced(W) : GrpPermCox-> BoolElt
- IsSimplyLaced(N) : MonStgElt -> BoolElt
- IsSimplyLaced(R) : RootStr -> BoolElt
- IsSimplyLaced(R) : RootSys-> BoolElt

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.