[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: Verbose-Output .. Vertical
Verbose Output (BRANDT MODULES)
CodeFld_VerboseBestCode (Example H152E42)
ModAbVar_Verbosity (Example H136E2)
Verbosity (SPARSE MATRICES)
CompositionTreeFastVerification(G) : Grp -> BoolElt
CompositionTreeVerify(G) : Grp -> BoolElt, []
FactorBasisVerify(O, L, U): RngOrd, RngIntElt, RngIntElt ->
Verify(G) : GrpMat ->
Verify(G: parameters ) : RngIntElt ->
VerifyMinimumDistanceLowerBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
VerifyMinimumDistanceUpperBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
VerifyRelation(f, F) : RngUPolElt, RngSLPolElt -> BoolElt
CodeFld_VerifyLower (Example H152E19)
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
VerifyRelation(f, F) : RngUPolElt, RngSLPolElt -> BoolElt
VerschiebungImage(e) : RngWittElt -> RngWittElt
VerschiebungMap(W) : RngWitt -> Map
VerschiebungImage(e) : RngWittElt -> RngWittElt
VerschiebungMap(W) : RngWitt -> Map
AdjointVersion(R) : RootDtm -> RootDtm, Map
GetVersion() : -> RngIntElt, RngIntElt, RngIntElt
SimplyConnectedVersion(R) : RootDtm -> RootDtm, Map
GetMPFRVersion() : ->
GetMPCVersion() : ->
Version Functions (REAL AND COMPLEX FIELDS)
AddVertex(~G) : Grph ->
AddVertices(~G, n) : Grph, RngIntElt ->
G +:= n : Grph, RngIntElt ->
G +:= n : GrphMult, RngIntElt ->
G -:= v : Grph, GrphVert ->
G -:= v : GrphMult, GrphVert ->
AddVertex(~G, l) : Grph, . ->
AddVertex(~G, l) : GrphMult, . ->
AssignVertexLabels(~G, L) : GrphMult, SeqEnum ->
BranchVertexPath(u,v) : GrphVert,GrphVert -> SeqEnum
DeleteVertexLabels(~G) : GrphMult ->
InitialVertex(e) : GrphEdge -> GrphVert
InitialVertex(e) : GrphEdge -> GrphVert
InsertVertex(e) : GrphEdge -> Grph
InsertVertex(e) : GrphEdge -> GrphMult
InsertVertex(T) : { GrphEdge } -> Grph
InsertVertex(T) : { GrphEdge } -> GrphMult
IsTransitive(G) : GrphUnd -> BoolElt
IsVertex(g,v) : GrphRes,GrphResVert -> BoolElt
IsVertex(N, p) : NwtnPgon,Tup -> BoolElt
IsVertexLabelled(G) : GrphMult -> 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 ]
VertexConnectivity(G : parameters) : GrphMult -> RngIntElt, [ GrphVert ]
VertexLabels(G) : GrphMult -> SeqEnum
VertexLabels(s) : GrphSpl -> SeqEnum
VertexPath(u,v) : GrphSplVert,GrphSplVert -> SeqEnum,SeqEnum
VertexPath(u,v) : GrphVert,GrphVert -> SeqEnum
VertexSeparator(G) : Grph -> [ GrphVert ]
VertexSeparator(G : parameters) : GrphMult -> [ GrphVert ]
VertexSet(G) : Grph -> GrphVertSet
The Vertex--Set and Edge--Set of a Graph (GRAPHS)
The Vertex--Set and Edge--Set of Multigraphs (MULTIGRAPHS)
Vertex Decorations: Labels (MULTIGRAPHS)
The Vertex--Set and Edge--Set of a Graph (GRAPHS)
VertexConnectivity(G) : Grph -> RngIntElt, [ GrphVert ]
VertexConnectivity(G : parameters) : GrphMult -> RngIntElt, [ GrphVert ]
VertexLabels(G) : GrphMult -> SeqEnum
VertexLabels(s) : GrphSpl -> SeqEnum
VertexPath(u,v) : GrphSplVert,GrphSplVert -> SeqEnum,SeqEnum
VertexPath(u,v) : GrphVert,GrphVert -> SeqEnum
VertexSeparator(G) : Grph -> [ GrphVert ]
VertexSeparator(G : parameters) : GrphMult -> [ GrphVert ]
VertexSet(G) : Grph -> GrphVertSet
VerticalJoin(X, Y) : ModMatRngElt, ModMatRngElt -> ModMatRngElt
VerticalJoin(X, Y) : Mtrx, Mtrx -> Mtrx
VerticalJoin(A, B) : MtrxSprs, MtrxSprs -> MtrxSprs
VerticalJoin(X, Y) : PMat, PMat -> PMat
VerticalJoin(Q) : [ ModMatRngElt ] -> ModMatRngElt
VerticalJoin(Q) : [ Mtrx ] -> Mtrx
[____] [____] [_____] [____] [__] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012