Documentation

unit-disc
- Unit Disc (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
unit-equation
- Unit Equations (NUMBER FIELDS AND ORDERS)
unit-group
- The Unit Group (INTEGER RESIDUE CLASS RINGS)
- Unit Group (p-ADIC RINGS AND THEIR EXTENSIONS)
- Unit Groups (NUMBER FIELDS AND ORDERS)
- Units and Unit Groups (QUATERNION ALGEBRAS)
- RngIntRes_unit-group (Example H20E5)
Unit_Group
- AlgQuat_Unit_Group (Example H95E27)
Unit_Group_NumberRing
- AlgQuat_Unit_Group_NumberRing (Example H95E28)
Unital
- IsUnital(P, U) : Plane, { PlanePt } -> BoolElt
- UnitalFeet(P, U, p) : Plane, { PlanePt }, PlanePt -> { PlanePt }
unital
- Unitals (FINITE PLANES)
- Plane_unital (Example H154E11)
UnitalFeet
- UnitalFeet(P, U, p) : Plane, { PlanePt }, PlanePt -> { PlanePt }
Unitary
- CSU(n, q) : RngIntElt, RngIntElt -> GrpMat
- ConformalSpecialUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- ConformalUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- ExtendedSpecialUnitaryGroup(n,q,m) : RngIntElt, RngIntElt, RngIntElt -> GrpMat
- GeneralUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- IsUnitary(G) : GrpRed -> BoolElt
- IsUnitary(R) : Rng -> BoolElt
- IsUnitaryGroup(G) : GrpMat -> BoolElt
- IsUnitarySpace(W) : ModTupFld -> BoolElt, RngIntElt
- ProjectiveGammaUnitaryGroup(arguments)
- ProjectiveGeneralUnitaryGroup(arguments)
- ProjectiveSigmaUnitaryGroup(arguments)
- ProjectiveSpecialUnitaryGroup(arguments)
- SpecialUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- UnitaryForm(G) : GrpMat -> BoolElt, AlgMatElt [,SeqEnum]
- UnitaryGroup(V) : SpcPlr -> GrpRed
- UnitaryModularForms(Q, W) : AlgMatElt, GrpRep -> ModFrmAlg
- UnitaryModularForms(F, Q, W, p) : Fld, AlgMatElt, [RngIntElt], RngIntElt -> ModFrmAlg
- UnitaryReflection(a, zeta) : ModTupRngElt, FldElt -> AlgMatElt
- UnitarySpace(J, sigma) : AlgMatElt, Map -> ModTupFld
- UnitaryTransvection(a, alpha) : ModTupRngElt, FldElt -> AlgMatElt
unitary
- RecognizeSU4(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- Constructive Recognition of Unitary Groups (ALMOST SIMPLE GROUPS)
- Unitary Groups (ALMOST SIMPLE GROUPS)
unitary-transvection
- GrpRfl_unitary-transvection (Example H109E4)
unitary_rank3_discm7-example
- ModFrmAlg_unitary_rank3_discm7-example (Example H151E7)
UnitaryForm
- UnitaryForm(G) : GrpMat -> BoolElt, AlgMatElt [,SeqEnum]
unitaryform
- FldForms_unitaryform (Example H30E12)
UnitaryGroup
- UnitaryGroup(V) : SpcPlr -> GrpRed
UnitaryModularForms
- UnitaryModularForms(Q, W) : AlgMatElt, GrpRep -> ModFrmAlg
- UnitaryModularForms(F, Q, W, p) : Fld, AlgMatElt, [RngIntElt], RngIntElt -> ModFrmAlg
UnitaryReflection
- UnitaryReflection(a, zeta) : ModTupRngElt, FldElt -> AlgMatElt
UnitarySpace
- UnitarySpace(J, sigma) : AlgMatElt, Map -> ModTupFld
unitaryspace
- Unitary Spaces (POLAR SPACES)
UnitaryTransvection
- UnitaryTransvection(a, alpha) : ModTupRngElt, FldElt -> AlgMatElt
UnitDisc
- UnitDisc() : -> SpcHyd
UnitDiscAngle
- GrpPSL2Shim_UnitDiscAngle (Example H143E5)
UnitDiscBasics
- GrpPSL2Shim_UnitDiscBasics (Example H143E4)
UnitDiscPractice2
- GrpPSL2Shim_UnitDiscPractice2 (Example H143E6)
uniteq
- RngOrd_uniteq (Example H39E23)
UnitEquation
- UnitEquation(a, b, c) : FldNumElt, FldNumElt, FldNumElt -> [ ModHomElt ]
UnitGenerators
- UnitGenerators(G) : GrpDrch -> [RngIntElt]
UnitGroup
- UnitGroup(S) : AlgQuatOrd[RngInt] -> GrpPerm, Map
- MultiplicativeGroup(S) : AlgQuatOrd[RngInt] -> GrpPerm, Map
- MultiplicativeGroup(F) : FldFin -> GrpAb, Map
- MultiplicativeGroup(Z) : RngInt -> GrpAb, Map
- MultiplicativeGroup(R) : RngIntRes -> GrpAb, Map
- UnitGroup(S) : AlgEtQOrd -> GrpAb, Map
- UnitGroup(K) : FldNum -> GrpAb, Map
- UnitGroup(F) : FldPad -> GrpAb, Map
- UnitGroup(Q) : FldRat -> GrpAb, Map
- UnitGroup(N) : Nfd -> GrpMat, Map
- UnitGroup(O) : RngFunOrd -> GrpAb, Map
- UnitGroup(R) : RngIntRes -> GrpAb, Map
- UnitGroup(O) : RngOrd -> GrpAb, Map
- UnitGroup(OQ) : RngOrdRes -> GrpAb, Map
- UnitGroup(R) : RngPad -> GrpAb, Map
- RngOrd_UnitGroup (Example H39E20)
UnitGroupAsSubgroup
- UnitGroupAsSubgroup(O) : RngOrd -> GrpAb
UnitGroupGenerators
- UnitGroupGenerators(F) : FldPad -> SeqEnum
- UnitGroupGenerators(R) : RngPad -> SeqEnum
unitgrp
- FldNear_unitgrp (Example H23E7)
UnitRank
- UnitRank(K) : FldNum -> RngIntElt
- UnitRank(O) : RngFunOrd -> RngIntElt
- UnitRank(O) : RngOrd -> RngIntElt
- UnitRank(O) : RngOrd -> RngIntElt

V2.29, 21 October 2025

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