Documentation

O
- O(x) : RngPadElt -> RngPadElt
- BigO(x) : RngPadElt -> RngPadElt
- BigO(f) : RngSerElt -> RngIntElt
- O(s) : RngDiffElt -> RngDiffElt
- O (x) : SnuElement -> SnuElement
o`
- o`CyclotomicExtensions : RngOrd -> [Rec]
o`CyclotomicExtensions
- o`CyclotomicExtensions : RngOrd -> [Rec]
Object
- AsyncReadObject(I) : IO ->
- AsyncReadObject(I) : IO ->
- AsyncWriteObject(I, x) : IO, Any ->
- AsyncWriteObject(I, x) : IO, Any ->
- ReadObject(I) : IO -> Any
- ReadObject(I) : IO -> Any
- ReadObjectCheck(I) : IO -> BoolElt, Any
- WriteObject(I, x) : IO, Any ->
- WriteObject(I, x) : IO, Any ->
- WriteObjectCheck(I, x) : IO, Any -> BoolElt
object
- Objects (INPUT AND OUTPUT)
- Objects (INPUT AND OUTPUT)
- The Error Objects (STATEMENTS AND EXPRESSIONS)
ObjectExchange
- IO_ObjectExchange (Example H3E16)
Objective
- ObjectiveFunction(L) : LP -> Mtrx
- SetObjectiveFunction(L, F) : LP, Mtrx ->
ObjectiveFunction
- ObjectiveFunction(L) : LP -> Mtrx
Objects
- Combinatorial Objects (SYMMETRIC FUNCTIONS)
objects
- Associated Schemes and Curves (HYPERGEOMETRIC MOTIVES)
- Standard Topological Objects (SIMPLICIAL HOMOLOGY)
- Tensors from Algebraic Objects (MULTILINEAR ALGEBRA)
Obstruction
- Obstruction(G) : GrphMultUnd -> GrphMultUnd
- Obstruction(G) : GrphUnd -> GrphUnd
- ObstructionDescentBuildingBlock(M) : ModSym -> SeqEnum
ObstructionDescentBuildingBlock
- ObstructionDescentBuildingBlock(M) : ModSym -> SeqEnum
Octonion
- OctonionAlgebra(K, a, b, c) : Fld, FldElt, FldElt, FldElt -> AlgGen
- SplitOctonionAlgebra(K) : Fld -> AlgGen
OctonionAlgebra
- OctonionAlgebra(K, a, b, c) : Fld, FldElt, FldElt, FldElt -> AlgGen
Odd
- HasOddDegreeModel(C) : CrvHyp -> BoolElt, CrvHyp, MapIsoSch
- IsOdd(chi) : GrpDrchElt -> BoolElt
- IsOdd(chi) : GrpDrchNFElt -> BoolElt
- IsOdd(n) : RngIntElt -> BoolElt
- LRatioOddPart(M, j) : ModSym, RngIntElt -> FldRatElt
- OddGraph(n) : RngIntElt -> GrphUnd
- RecogniseSpOdd(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
OddDim
- AlgClff_OddDim (Example H95E9)
OddGraph
- OddGraph(n) : RngIntElt -> GrphUnd
- EnumComb_OddGraph (Example H153E1)
Oddity
- Oddity(f) : RngMPolElt -> RngIntElt
of
- Basic Properties of Homotopisms (MULTILINEAR ALGEBRA)
- Conjugacy of Elements of the Exceptional Groups (ALMOST SIMPLE GROUPS)
- Conjugacy of Subgroups of the Classical Groups (ALMOST SIMPLE GROUPS)
- Constructions of Homotopisms (MULTILINEAR ALGEBRA)
- Constructions of Tensor and Cotensor Spaces (MULTILINEAR ALGEBRA)
- Differential Operators of Algebraic Functions (DIFFERENTIAL RINGS)
- Invariants (NON--ASSOCIATIVE ALGEBRAS)
- Invariants of General Multilinear Maps (MULTILINEAR ALGEBRA)
- Invariants of Tensors (MULTILINEAR ALGEBRA)
- Linear Invariants of Tensors (MULTILINEAR ALGEBRA)
- Properties of Tensor Spaces (MULTILINEAR ALGEBRA)
- Recognition Of Classical Groups in Low Degree (ALMOST SIMPLE GROUPS)
- Restriction of Scalars (SCHEMES)
- Searching For Points (HYPERELLIPTIC CURVES)
- Structure of Congruence Subgroups (CONGRUENCE SUBGROUPS OF PSL₂(R))
- Twisted Groups (GROUPS OF LIE TYPE)
- Zeta Functions of Curves (ALGEBRAIC CURVES)
Of2
- ModByPowerOf2(n, b) : RngIntElt, RngIntElt -> RngIntElt
ofe
- RngLoc_ofe (Example H48E14)
Ohno
- DiscriminantFromDixmierOhnoInvariants(DO) : SeqEnum -> Any
- DixmierOhnoAlgebraicRelations(DOinv) : SeqEnum -> SeqEnum
- DixmierOhnoInvariants(C) : Crv -> SeqEnum, SeqEnum
- DixmierOhnoInvariantsEqual(DO1, DO2) : SeqEnum , SeqEnum -> BoolElt
- PlaneQuarticFromDixmierOhnoInvariants(DO) : SeqEnum -> Crv, SeqEnum
Old
- OldQuotient(A) : ModAbVar -> ModAbVar, MapModAbVar
- OldQuotient(A, r) : ModAbVar, RngIntElt -> ModAbVar, MapModAbVar
- OldSubvariety(A) : ModAbVar -> ModAbVar, MapModAbVar
- OldSubvariety(A, r) : ModAbVar, RngIntElt -> ModAbVar, MapModAbVar
old
- New Codes from Old (LINEAR CODES OVER THE INTEGER RESIDUE RING Z₄)
- New Tensors from Old (MULTILINEAR ALGEBRA)

V2.28, 13 July 2023

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