Documentation

U
- ChebyshevU(n) : RngIntElt -> RngUPolElt
- ChebyshevSecond(n) : RngIntElt -> RngUPolElt
- HypergeometricU(a, b, s) : FldReElt, FldReElt, FldReElt -> FldReElt
- ProjectiveGammaUnitaryGroup(arguments)
- ProjectiveSigmaUnitaryGroup(arguments)
U-key
- u
- U
u-key
- u
- U
ud
- Access Operations (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
- Basic Operations (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
- Creation (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
- Distance and Angles (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
- Structural Operations (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
ud-AccessOperations
- Access Operations (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
ud-BasicOperations
- Basic Operations (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
ud-Creation
- Creation (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
ud-DistanceAngle
- Distance and Angles (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
ud-StructuralOperations
- Structural Operations (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
UEA
- IntegralUEAlgebra(L) : AlgLie -> AlgIUE
- IntegralUniversalEnvelopingAlgebra(L) : AlgLie -> AlgIUE
- IntegralUEA(L) : AlgLie -> AlgIUE
- QuantizedUEA(R) : RootDtm -> AlgQUE
uea
- Background (LIE ALGEBRAS)
- Construction of Universal Enveloping Algebras (LIE ALGEBRAS)
- Creation of Elements (LIE ALGEBRAS)
- Elements of Universal Enveloping Algebras (LIE ALGEBRAS)
- Operations on Elements (LIE ALGEBRAS)
- Related Structures (LIE ALGEBRAS)
- The Integral Form of a Universal Enveloping Algebra (LIE ALGEBRAS)
- Universal Enveloping Algebras (LIE ALGEBRAS)
uea-background
- Background (LIE ALGEBRAS)
uea-background-1
- Universal Enveloping Algebras (LIE ALGEBRAS)
uea-construct
- Construction of Universal Enveloping Algebras (LIE ALGEBRAS)
uea-elements
- Elements of Universal Enveloping Algebras (LIE ALGEBRAS)
uea-elts-create
- Creation of Elements (LIE ALGEBRAS)
uea-elts-ops
- Operations on Elements (LIE ALGEBRAS)
uea-integral_form
- The Integral Form of a Universal Enveloping Algebra (LIE ALGEBRAS)
uea-related
- Related Structures (LIE ALGEBRAS)
UEACon
- AlgLie_UEACon (Example H107E50)
UEAlgebra
- IntegralUEAlgebra(L) : AlgLie -> AlgIUE
- IntegralUniversalEnvelopingAlgebra(L) : AlgLie -> AlgIUE
- IntegralUEA(L) : AlgLie -> AlgIUE
- QuantizedUEA(R) : RootDtm -> AlgQUE
UEAMap
- QUAToIntegralUEAMap(U) : AlgQUE -> Map
UFD
- IsUniqueFactorizationDomain(R) : Rng -> BoolElt
- IsUFD(R) : Rng -> BoolElt
uhp
- z / a : SpcHypElt, RngIntElt -> SpcHypElt
- Arithmetic (CONGRUENCE SUBGROUPS OF PSL₂(R))
- Distances, Angles and Geodesics (CONGRUENCE SUBGROUPS OF PSL₂(R))
uhp-arithmetic
- z / a : SpcHypElt, RngIntElt -> SpcHypElt
- Arithmetic (CONGRUENCE SUBGROUPS OF PSL₂(R))
uhp-DistanceAngle
- Distances, Angles and Geodesics (CONGRUENCE SUBGROUPS OF PSL₂(R))
Ultra
- IsUltraSummitRepresentative(u: parameters) : GrpBrdElt -> BoolElt
- MinimalElementConjugatingToUltraSummit(x, s: parameters) : GrpBrdElt, GrpBrdElt -> GrpBrdElt
- UltraSummitProcess(u: parameters) : GrpBrdElt -> GrpBrdClassProc
- UltraSummitRepresentative(u: parameters) : GrpBrdElt -> GrpBrdElt, GrpBrdElt
- UltraSummitSet(u: parameters) : GrpBrdElt -> SetIndx
UltraSummitProcess
- UltraSummitProcess(u: parameters) : GrpBrdElt -> GrpBrdClassProc
UltraSummitRepresentative
- UltraSummitRepresentative(u: parameters) : GrpBrdElt -> GrpBrdElt, GrpBrdElt
UltraSummitSet
- UltraSummitSet(u: parameters) : GrpBrdElt -> SetIndx
un
- Unlabelled, or Uncapacitated, or Unweighted Graphs (MULTIGRAPHS)
Uncapacitated
- UncapacitatedGraph(G) : GrphMult -> GrphMult
UncapacitatedGraph
- UncapacitatedGraph(G) : GrphMult -> GrphMult
und
- Adjacency and Degree Functions for Mul-tigraphs (MULTIGRAPHS)
undconstr
- Construction of a General Multigraph (MULTIGRAPHS)
Undefine
- Undefine(~S, i) : SeqEnum, RngIntElt ->
Underlying
- UnderlyingDigraph(G) : Grph -> GrphDir
- UnderlyingDigraph(G) : GrphMult-> GrphDir, GrphVertSet, GrphEdgeSet
- UnderlyingElement(u) : GrpBBElt -> GrpElt
- UnderlyingField(R) : RngDiff -> Rng
- UnderlyingGraph(D) : Grph -> GrphUnd
- UnderlyingGraph(G) : GrphMult -> GrphUnd, GrphVertSet, GrphEdgeSet
- UnderlyingGraph(g) : GrphRes -> GrphDir
- UnderlyingGraph(s) : GrphSpl -> GrphDir
- UnderlyingGraph(X) : SmpCpx -> GrphUnd, GrphVertSet, GrphEdgeSet
- UnderlyingMultiDigraph(G) : Grph -> GrphMultDir, GrphVertSet, GrphEdgeSet
- UnderlyingMultiGraph(G) : Grph -> GrphMultUnd, GrphVertSet, GrphEdgeSet
- UnderlyingNetwork(G) : Grph -> GrphNet, GrphVertSet, GrphEdgeSet
- UnderlyingRing(F) : FldFunG -> FldFunG
- UnderlyingRing(C) : RngCox -> RngMPol
- UnderlyingRing(R) : RngDiff -> Rng
- UnderlyingVertex(v) : GrphSplVert -> GrphVert
underlying
- Associated Vector Space (MODULAR SYMBOLS)
underlying-representation
- Associated Vector Space (MODULAR SYMBOLS)

V2.28, 13 July 2023

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