Documentation

Approximant
- PadeHermiteApproximant(f,m) : SeqEnum, RngIntElt -> ModTupRngElt, SeqEnum
- PadeHermiteApproximant(f,d) : SeqEnum, SeqEnum -> ModTupRngElt, SeqEnum, RngIntElt
approximants
- Approximants (RATIONAL FUNCTION FIELDS)
Approximate
- ApproximateByTorsionGroup(G : parameters) : ModAbVarSubGrp -> ModAbVarSubGrp
- ApproximateByTorsionPoint(x : parameters) : ModAbVarElt -> ModAbVarElt
- ApproximateOrder(x) : ModAbVarElt -> RngIntElt
- ApproximateStabiliser(G, A, U: parameters) : GrpMat, GrpMat, ModTupFld -> GrpMat, GrpMat, RngIntElt, RngIntElt, RngIntElt
ApproximateByTorsionGroup
- ApproximateByTorsionGroup(G : parameters) : ModAbVarSubGrp -> ModAbVarSubGrp
ApproximateByTorsionPoint
- ApproximateByTorsionPoint(x : parameters) : ModAbVarElt -> ModAbVarElt
Approximated
- ApproximatedSuccessiveMinima(D) : OMDiv -> SeqEnum
ApproximatedSuccessiveMinima
- ApproximatedSuccessiveMinima(D) : OMDiv -> SeqEnum
ApproximateOrder
- ApproximateOrder(x) : ModAbVarElt -> RngIntElt
ApproximateStabiliser
- ApproximateStabiliser(G, A, U: parameters) : GrpMat, GrpMat, ModTupFld -> GrpMat, GrpMat, RngIntElt, RngIntElt, RngIntElt
Approximation
- BernoulliApproximation(n) : RngIntElt -> FldPrElt
- BernoulliApproximation(n) : RngIntElt -> FldReElt
- BestApproximation(r, n) : FldReElt, RngIntElt -> FldReElt
- ClassNumberApproximation(F, e) : FldFunG, FldReElt -> FldReElt
- ClassNumberApproximationBound(q, g, e) : RngIntElt, RngIntElt, FldReElt, -> RngIntElt
- HilbertSeriesApproximation(R, n) : RngInvar, RngIntElt -> RngSerLaurElt
- InfinitePrecisionApproximation(K) : FldXPad -> FldPad
- MolienSeriesApproximation(G, n) : GrpPerm, RngIntElt -> RngSerLaurElt
- MurphyAlphaApproximation(F, b) : RngMPolElt, RngIntElt -> FldReElt
- StrongApproximation(m, S): DivFunElt, [<PlcFunElt, FldFunElt>] -> FldFunElt
- StrongApproximation(S, Z, V): [PlcFunElt], [FldFunGElt], [RngIntElt] -> FldFunElt
- WeakApproximation(I, V) : [RngFunOrdIdl], [RngIntElt] -> FldFunElt
- WeakApproximation(I, V) : [RngOrdIdl], [RngIntElt] -> FldOrdElt
AQ
- HasFiniteAQ(G) : GrpFP -> [ RngIntElt ]
- HasFiniteAbelianQuotient(G) : GrpFP -> [ RngIntElt ]
AQInvariants
- AQInvariants(G) : GrpFP -> [ RngIntElt ]
- AbelianQuotientInvariants(G) : GrpFP -> [ RngIntElt ]
- AbelianQuotientInvariants(H) : GrpFP -> [ RngIntElt ]
- AbelianQuotientInvariants(G, n) : GrpFP, RngIntElt -> [ RngIntElt ]
- AbelianQuotientInvariants(H, n) : GrpFP, RngIntElt -> [ RngIntElt ]
- AbelianQuotientInvariants(G) : GrpGPC -> [ RngIntElt ]
- AbelianQuotientInvariants(G) : GrpPC -> SeqEnum
AQPrimes
- AQPrimes(G) : GrpFP -> [ RngIntElt ]
arbitrary
- General K[G]-Modules (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- GENERAL p-ADIC EXTENSIONS
arbitrary-K[G]-module
- General K[G]-Modules (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
Arc
- FixedArc(g,H) : GrpPSL2Elt, SpcHyp -> SeqEnum
- IsArc(P, A) : Plane, { PlanePt } -> BoolElt
arc
- Arcs (FINITE PLANES)
Arccos
- Arccos(r) : FldReElt -> FldReElt
- Arccos(f) : RngSerElt -> RngSerElt
- Arccos(f) : RngSerElt -> RngSerElt
Arccosec
- Arccosec(r) : FldReElt -> FldReElt
Arccot
- Arccot(r) : FldReElt -> FldReElt
arcs
- Plane_arcs (Example H150E10)
Arcsec
- Arcsec(r) : FldReElt -> FldReElt
Arcsin
- Arcsin(r) : FldReElt -> FldReElt
- Arcsin(f) : RngSerElt -> RngSerElt
- Arcsin(f) : RngSerElt -> RngSerElt
Arctan
- Arctan(r) : FldReElt -> FldReElt
- Arctan(x, y) : FldReElt, FldReElt -> FldReElt
- Arctan(f) : RngSerElt -> RngSerElt
- Arctan(f) : RngSerElt -> RngSerElt
Arctan2
- Arctan2(x, y) : FldReElt, FldReElt -> FldReElt
- Arctan(x, y) : FldReElt, FldReElt -> FldReElt
Are
- AreCohomologous(alpha, beta) : OneCoC, OneCoC -> BoolElt, GrpElt
- AreGLConjugate(A, B : parameters) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt
- AreGenerators(S) : SetEnum -> BoolElt
- AreIdentical(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
- AreInvolutionsConjugate(G, x, wx, y, wy : parameters) : GrpMat,GrpMatElt, GrpSLPElt, GrpMatElt, GrpSLPElt -> BoolElt, GrpMatElt, GrpSLPElt
- AreLinearlyEquivalent(D,E) : DivCrvElt, DivCrvElt -> BoolElt
- AreLinearlyEquivalent(D,E) : DivTorElt,DivTorElt -> BoolElt
- AreProportional(P,Q) : TorLatElt,TorLatElt -> BoolElt, FldRatElt
- SetOrderUnitsAreFundamental(O) : RngOrd ->
AreCohomologous
- AreCohomologous(alpha, beta) : OneCoC, OneCoC -> BoolElt, GrpElt
AreGenerators
- AreGenerators(S) : SetEnum -> BoolElt
AreGLConjugate
- AreGLConjugate(A, B : parameters) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt
AreIdentical
- AreIdentical(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
AreInvolutionsConjugate
- AreInvolutionsConjugate(G, x, wx, y, wy : parameters) : GrpMat,GrpMatElt, GrpSLPElt, GrpMatElt, GrpSLPElt -> BoolElt, GrpMatElt, GrpSLPElt
AreLinearlyEquivalent
- AreLinearlyEquivalent(D,E) : DivCrvElt, DivCrvElt -> BoolElt
- AreLinearlyEquivalent(D,E) : DivTorElt,DivTorElt -> BoolElt
AreProportional
- AreProportional(P,Q) : TorLatElt,TorLatElt -> BoolElt, FldRatElt
Arf
- ArfInvariant(V) : ModTupFld -> RngIntElt
ArfInvariant
- ArfInvariant(V) : ModTupFld -> RngIntElt
Arg
- Arg(c) : FldComElt -> FldReElt
- Argument(c) : FldComElt -> FldReElt

V2.28, 13 July 2023

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