- VariationTwo
- varieties
- Variety
- AmbientVariety(G) : ModAbVarSubGrp -> ModAbVar
- IsAbelianVariety(A) : ModAbVar -> BoolElt
- IsInSecantVariety(X,P) : Sch,Pt -> BoolElt
- IsInTangentVariety(X,P) : Sch,Pt -> BoolElt
- ModularAbelianVariety(E) : CrvEll -> ModAbVar
- ModularAbelianVariety(L) : ModAbVarLSer -> ModAbVar
- ModularAbelianVariety(f) : ModFrmElt -> ModAbVar
- ModularAbelianVariety(M) : ModSym -> ModAbVar
- ModularAbelianVariety(eps : parameters) : GrpDrchElt -> ModAbVar
- ModularAbelianVariety(M : parameters) : ModFrm -> ModAbVar
- ModularAbelianVariety(s : parameters) : MonStgElt -> ModAbVar
- ModularAbelianVariety(X : parameters) : [ModFrm] -> ModAbVar
- ModularAbelianVariety(X) : [ModSym] -> ModAbVar
- PolarisedVariety(d,W,n) : RngIntElt,SeqEnum,RngUPolElt-> GRSch
- ProjectiveSpace(k,n) : Fld,RngIntElt -> Prj
- ProjectiveSpace(k,W) : Fld,[RngIntElt] -> Prj
- SecantVariety(X) : Sch -> Sch
- TangentVariety(X) : Sch -> Sch
- ToricVariety(G) : DivTor -> TorVar
- ToricVariety(k) : Fld -> TorVar
- ToricVariety(k,n) : Fld,RngIntElt -> TorVar
- ToricVariety(k,F) : Fld,TorFan -> TorVar
- ToricVariety(k,Z) : Fld,[RngIntElt] -> TorVar
- ToricVariety(k,Z,Q) : Fld,[RngIntElt],[FldRatElt] -> TorVar
- ToricVariety(k,M,v) : Fld,[[RngIntElt]],[RngIntElt] -> TorVar
- ToricVariety(C) : RngCox -> TorVar
- ToricVarietyMap(X,Y,f) : TorVar,TorVar,Map -> TorMap
- Variety(G) : DivSch -> Sch
- Variety(D) : DivTorElt -> TorVar
- Variety(I) : RngMPol -> [ ModTupFldElt ]
- Variety(I) : RngMPol -> [ ModTupFldElt ]
- VarietySequence(I) : RngMPol -> [ [ RngElt ] ]
- VarietySize(I) : RngMPol -> RngIntElt
- VarietySize(I) : RngMPol -> RngIntElt
- ZeroModularAbelianVariety() : -> ModAbVar
- ZeroModularAbelianVariety(k) : RngIntElt -> ModAbVar
- Ideal_Variety (Example H113E3)
- Ideal_Variety (Example H113E4)
- variety
- VarietySequence
- VarietySize
- Various
- Varshamov
- GilbertVarshamovAsymptoticBound(K, delta) : FldFin, FldPrElt -> FldPrElt
- GilbertVarshamovBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- GilbertVarshamovLinearBound(K, n, d) : FldFin, RngIntElt, RngIntElt -> RngIntElt
- vecrep
- Vector
- Creating Vectors (MATRICES)
- L ! [a,b,...] : TorLat,[RngIntElt] -> TorLatElt
- AddVectorToLattice(v) : TorLatElt -> TorLat,TorLatMap
- CharacteristicVector(M, S) : ModRng, { RngIntElt } -> ModRngElt
- CharacteristicVector(V, S) : ModTupFld, { RngElt } -> ModTupFldElt
- CloseVector(L, w, B) : Lat, ModTupRngElt, RngElt -> LatElt
- CloseVector(L, w, u) : Lat, ModTupRngElt, RngElt -> LatElt
- CloseVector(L, w, A, B) : Lat, ModTupRngElt, RngElt, RngElt -> LatElt
- ClosestVector(L, w) : Lat, ModTupRngElt -> LatElt
- ClosestVector(L, w) : Lat, ModTupRngElt -> LatElt
- CoordinateVector(L, v) : Lat, LatElt -> LatElt
- CoordinateVector(v) : LatElt -> LatElt
- DecomposeVector(U, v) : ModTupRng, ModTupRngElt -> ModTupRngElt, ModTupRngElt
- DualVectorSpace(M) : ModSym -> ModTupFld
- EhrhartDeltaVector(P) : TorPol -> SeqEnum
- GradientVector(F) : NwtnPgonFace -> Tup
- HasIsotropicVector(V) : ModTupFld -> BoolElt, ModTupFldElt
- HasSingularVector(V) : ModTupFld -> BoolElt, ModTupFldElt
- HilbertDeltaVector(D) : DivTor -> [RngIntElt]
- HodgeStructure(J) : JacketMot -> HodgeStruc
- HodgeVector(HS) : HodgeStruc -> SeqEnum, RngIntElt
- Lattice(H) : HomModAbVar -> Lat
- MinimalVectorSequence(f,n) : SeqEnum, RngIntElt -> SeqEnum
- NextVector(P) : LatEnumProc -> LatElt, RngElt
- PrimitiveLatticeVector(v) : TorLatElt -> TorLatElt
- RModule(M) : ModFrm -> ModTupRng, Map
- RSpace(C) : Code -> ModTupRng
- RealVectorSpace(H) : ModAbVarHomol -> ModTupFld
- ReduceVector(W, ~v) : ModTupRng, ModTupRngElt ->
- ReduceVector(W, v) : ModTupRng, ModTupRngElt -> ModTupRngElt
- SchreierVector(G, i) : GrpPerm, RngIntElt -> [RngIntElt]
- ShortVector(L, u) : Lat, RngElt -> LatElt
- ShortVector(L, B) : Lat, RngIntElt -> LatElt
- ShortVector(L, A, B) : Lat, RngIntElt, RngIntElt -> LatElt
- ShortestVector(L) : Lat -> LatElt
- ShortestVector(L) : Lat -> LatElt
- SpVector (e) : SeqEnum -> SpVec
- UnitVector(M, i) : ModMPol, RngIntElt -> ModMPolElt
- Vector(v) : LatNFElt -> ModTupFldElt
- Vector(f) : ModMPolElt -> ModTupRngElt
- Vector(R, n, Q) : Rng, RngIntElt, [ RngElt ] -> ModTupRngElt
- Vector(R, Q) : Rng, [ RngElt ] -> ModTupRngElt
- Vector(n, Q) : RngIntElt, [ RngElt ] -> ModTupRngElt
- Vector(v) : TorLatElt -> ModTupFldElt
- Vector(Q) : [ RngElt ] -> ModTupRngElt
- VectorAction(g) : AlgClffElt -> AlgMatElt
- VectorSpace(B) : AlgBas -> ModTupFld
- VectorSpace(A) : AlgFP -> ModTupFld, Map
- VectorSpace(K, n) : Fld, RngIntElt -> ModTupFld
- VectorSpace(K, n, F) : Fld, RngIntElt, Mtrx -> ModTupFld
- VectorSpace(K, J) : FldAlg, Fld -> ModTupFld, Map
- VectorSpace(F, E) : FldFin, FldFin -> ModTupFld, Map
- VectorSpace(F, E, B) : FldFin, FldFin, [ FldFinElt ] -> ModTupFld, Map
- VectorSpace(K, J) : FldNum, Fld -> ModTupFld, Map
- VectorSpace(Q, Q) : FldRat, Fld -> ModTupFld, Map
- VectorSpace(G) : GrpMat -> ModTupFld
- VectorSpace(H) : ModAbVarHomol -> ModTupFld
- VectorSpace(M) : ModSym -> ModTupFld, Map, Map
- VectorSpace(V, F) : ModTupFld, Fld -> ModTupFld, Map
- VectorSpace(P) : Plane -> ModTupFld
- VectorSpace(Q) : RngMPolRes -> ModTupFld, Map
- VectorSpaceWithBasis(Q) : [ModTupFldElt] -> ModTupFld
- ZeroVector (S) : SpSpc -> SpVec
V2.28, 13 July 2023