[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: Verbose-Output .. Vertices
Verbose Output (BRANDT MODULES)
CodeFld_VerboseBestCode (Example H107E44)
Verbosity (SPARSE MATRICES)
Verify(G) : GrpMat ->
Verify(G: parameters ) : RngIntElt ->
VerifyMinimumDistanceLowerBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
VerifyMinimumDistanceUpperBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
CodeFld_VerifyLower (Example H107E19)
VerifyMinimumDistanceLowerBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
VerifyMinimumWeightUpperBound(C, d: parameters) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
VerifyMinimumDistanceUpperBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
VerifyMinimumWeightUpperBound(C, d: parameters) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
VerifyMinimumDistanceUpperBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
VerschiebungImage(e) : RngWittElt -> RngWittElt
VerschiebungMap(W) : RngWitt -> Map
VerschiebungImage(e) : RngWittElt -> RngWittElt
VerschiebungMap(W) : RngWitt -> Map
GetVersion() : -> RngIntElt, RngIntElt, RngIntElt
Magma Updates (OVERVIEW)
AddVertex(~G) : Grph ->
AddVertices(~G, n) : Grph, RngIntElt ->
G +:= n : Grph, RngIntElt ->
N +:= n : GrphNet, RngIntElt ->
G -:= v : Grph, GrphVert ->
N -:= v : GrphNet, GrphVert ->
AddVertex(~G, l) : Grph, . ->
BranchVertexPath(u,v) : GrphVert,GrphVert -> SeqEnum
InitialVertex(e) : GrphEdge -> GrphVert
InitialVertex(e) : GrphEdge -> GrphVert
InsertVertex(e) : GrphEdge -> Grph
InsertVertex(e) : GrphEdge -> GrphNet
InsertVertex(T) : { GrphEdge } -> Grph
InsertVertex(T) : { GrphEdge } -> GrphNet
IsTransitive(G) : GrphUnd -> BoolElt
IsVertex(g,v) : GrphRes,GrphResVert -> BoolElt
IsVertex(N, p) : NwtnPgon,Tup -> BoolElt
IsVertexLabelled(G) : Grph -> BoolElt
OptimalVertexColouring(G) : GrphUnd -> SeqEnum
ResolutionGraphVertex(g,i) : GrphRes,RngIntElt -> GrphResVert
RootVertex(s) : GrphSpl -> GrphSplVert
SpliceDiagramVertex(s,i) : GrphSpl,RngIntElt -> GrphSplVert
TerminalVertex(e) : GrphEdge -> GrphVert
TerminalVertex(e) : GrphEdge -> GrphVert
UnderlyingVertex(v) : GrphSplVert -> GrphVert
Vertex(v) : GrphResVert -> GrphVert
VertexConnectivity(G) : Grph -> RngIntElt, [ { GrphVert } ]
VertexLabels(G) : Grph -> SeqEnum
VertexLabels(s) : GrphSpl -> SeqEnum
VertexPath(u,v) : GrphSplVert,GrphSplVert -> SeqEnum,SeqEnum
VertexPath(u,v) : GrphVert,GrphVert -> SeqEnum
VertexSeparator(G) : Grph -> [ { GrphVert } ]
VertexSet(G) : Grph -> GrphVertSet
The Vertex--Set and Edge--Set of a Graph (GRAPHS)
The Vertex--Set and Edge--Set of Networks (NETWORKS)
The Vertex--Set and Edge--Set of a Graph (GRAPHS)
VertexConnectivity(G) : Grph -> RngIntElt, [ { GrphVert } ]
VertexLabels(G) : Grph -> SeqEnum
VertexLabels(s) : GrphSpl -> SeqEnum
VertexPath(u,v) : GrphSplVert,GrphSplVert -> SeqEnum,SeqEnum
VertexPath(u,v) : GrphVert,GrphVert -> SeqEnum
VertexSeparator(G) : Grph -> [ { GrphVert } ]
VertexSet(G) : Grph -> GrphVertSet
VerticalJoin(X, Y) : ModMatRngElt, ModMatRngElt -> ModMatRngElt
VerticalJoin(X, Y) : Mtrx, Mtrx -> Mtrx
VerticalJoin(Q) : [ ModMatRngElt ] -> ModMatRngElt
VerticalJoin(Q) : [ Mtrx ] -> Mtrx
VerticalJoin(X, Y) : ModMatRngElt, ModMatRngElt -> ModMatRngElt
VerticalJoin(X, Y) : Mtrx, Mtrx -> Mtrx
VerticalJoin(Q) : [ ModMatRngElt ] -> ModMatRngElt
VerticalJoin(Q) : [ Mtrx ] -> Mtrx
AddVertex(~G) : Grph ->
AddVertices(~G, n) : Grph, RngIntElt ->
G +:= n : Grph, RngIntElt ->
N +:= n : GrphNet, RngIntElt ->
G -:= v : Grph, GrphVert ->
N -:= v : GrphNet, GrphVert ->
AddVertices(~G, n, L) : Grph, RngIntElt, SeqEnum ->
AllVertices(N) : NwtnPgon -> SeqEnum
CutVertices(G) : Grph -> { GrphVert }
EndVertices(e) : GrphEdge -> [ GrphVert, GrphVert ]
EndVertices(e) : GrphEdge -> { GrphVert }
EndVertices(F) : NwtnPgon, NwtnPgonFace -> SeqEnum
InnerVertices(N) : NwtnPgon -> SeqEnum
LowerVertices(N) : NwtnPgon -> SeqEnum
OuterVertices(N) : NwtnPgon -> SeqEnum
SeparationVertices(G) : GrphUnd -> [ [ GrphVert ]], [ { GrphVert } ]
Vertices(G) : Grph -> { GrphVert }
Vertices(s) : GrphSpl -> SeqEnum
Vertices(N) : NwtnPgon -> SeqEnum
[____] [____] [_____] [____] [__] [Index] [Root]