- verbose
- Verbose-Output
- Verbose-Printing
- Verbose_Printing
- VerboseBestCode
- VerbosePrinting
- Verbosity
- verbosity
- Verification
- Verify
- CompositionTreeVerify(G) : Grp -> BoolElt, []
- FactorBasisVerify(O, a, b) : RngOrd, RngIntElt, RngIntElt ->
- Verify(G) : GrpMat ->
- Verify(G: parameters ) : GrpPerm ->
- VerifyMinimumDistanceLowerBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
- VerifyMinimumDistanceUpperBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
- VerifyRelation(f, F) : RngUPolElt, RngSLPolElt -> BoolElt
- VerifyLower
- VerifyMinimumDistanceLowerBound
- VerifyMinimumDistanceUpperBound
- VerifyMinimumWeightUpperBound
- VerifyRelation
- Verma
- VermaModule
- Verschiebung
- VerschiebungImage
- VerschiebungMap
- Version
- version
- Versions
- versions
- Vertex
- 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
- MaximalVertexFacetHeightMatrix(P) : TorPol -> AlgMatElt
- 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
- Vertex(M : parameters) : ModGrp -> Grp
- VertexConnectivity(G) : Grph -> RngIntElt, [ GrphVert ]
- VertexConnectivity(G : parameters) : GrphMult -> RngIntElt, [ GrphVert ]
- VertexEdgeIncidenceMatrix(P) : TorPol -> ModMatRngElt
- VertexFacetHeightMatrix(P) : TorPol -> AlgMatElt
- VertexFacetIncidenceMatrix(P) : TorPol -> ModMatRngElt
- 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
V2.28, 13 July 2023