Documentation

OrderedMonoid-fingen
- Tableau_OrderedMonoid-fingen (Example H154E7)
OrderedMonoid-longest
- Tableau_OrderedMonoid-longest (Example H154E5)
OrderedPartitionStack
- OrderedPartitionStack(n) : RngIntElt -> StkPtnOrd
- GrpPerm_OrderedPartitionStack (Example H64E46)
OrderedPartitionStackZero
- OrderedPartitionStackZero(n, h) : RngIntElt, RngIntElt -> StkPtnOrd
OrderGroup
- GrpFPInt_OrderGroup (Example H77E22)
Ordering
- LexicographicalOrdering(~w1, ~w2) : MonOrdElt, MonOrdElt ->
- Ordering(G) : GrpRWS -> String
- Ordering(M) : MonRWS -> String
OrderLattice
- Lat_OrderLattice (Example H31E3)
OrderOfRootOfUnity
- OrderOfRootOfUnity(r, n) : RngElt, RngIntElt -> RngIntElt
orderq
- Elements of Quotients (NUMBER FIELDS AND ORDERS)
- Operations on Quotient Rings (ALGEBRAIC FUNCTION FIELDS)
- Operations on Quotient Rings (NUMBER FIELDS AND ORDERS)
orderq-elts
- Elements of Quotients (NUMBER FIELDS AND ORDERS)
Orders
- EulerFactorsByDeformation(Q, Y) : RngMPolElt, SeqEnum -> SeqEnum
- ZetaFunctionsByDeformation(Q, Y) : RngMPolElt, SeqEnum -> SeqEnum
- JacobianOrdersByDeformation(Q, Y) : RngMPolElt, SeqEnum -> SeqEnum
- MaximalOrders(u) : RngWittElt -> RngFunOrd, RngFunOrd
- SimpleOrders(W) : GrpMat -> [RngIntElt]
- TwistedToriOrders(G) : GrpLie -> SeqEnum
- WronskianOrders(C) : Crv -> [RngIntElt]
- WronskianOrders(D) : DivCrvElt -> SeqEnum
- WronskianOrders(D) : DivFunElt -> [RngIntElt]
- WronskianOrders(F) : FldFunG -> [RngIntElt]
- GrpLie_Orders (Example H110E7)
- RngOrd_Orders (Example H39E2)
orders
- Minimum(a, O) : FldFunElt, RngFunOrd -> RngElt, RngElt
- Functions related to Orders and Integrality (ALGEBRAIC FUNCTION FIELDS)
- Isomorphisms of Orders (QUATERNION ALGEBRAS)
- Orders (CLASS FIELD THEORY)
- FldFunG_orders (Example H45E26)
- FldFunG_orders (Example H45E5)
orders_ideals
- Orders and Ideals (ALGEBRAIC FUNCTION FIELDS)
- Orders and Ideals (NUMBER FIELDS AND ORDERS)
Ordinary
- HasOnlyOrdinarySingularities(C) : CrvPln -> BoolElt, RngIntElt, RngMPol
- HasOnlyOrdinarySingularitiesMonteCarlo(C) : CrvPln -> BoolElt, RngIntElt
- IsOrdinary(E) : CrvEll -> BoolElt
- IsOrdinaryProjective(X) : Sch -> BoolElt
- IsOrdinaryProjectiveSpace(X) : Sch -> BoolElt
- IsOrdinarySingularity(p) : Pt -> BoolElt
- IsOrdinarySingularity(p) : Pt -> BoolElt
- NonOrdinaryPrimes(f6,lim) : RngMPolElt, RngIntElt -> SeqEnum
- ParametrizeOrdinaryCurve(C) : Crv -> MapSch
- RandomOrdinaryPlaneCurve(d, S, P) : RngIntElt, SeqEnum, Prj -> CrvPln, RngMPol
ordinary
- Ordinary Plane Curves (ALGEBRAIC CURVES)
ordinary-curves
- Crv_ordinary-curves (Example H121E5)
ordinary-plane-curves
- Ordinary Plane Curves (ALGEBRAIC CURVES)
Ore
- OreConditions(R, n, j) : RngPad, RngIntElt, RngIntElt -> BoolElt
OreConditions
- OreConditions(R, n, j) : RngPad, RngIntElt, RngIntElt -> BoolElt
orient
- Orientated Graphs (MULTIGRAPHS)
Orientated
- OrientatedGraph(G) : GrphMultUnd -> GrphMultDir
- OrientatedGraph(G) : GrphUnd -> GrphDir
OrientatedGraph
- OrientatedGraph(G) : GrphMultUnd -> GrphMultDir
- OrientatedGraph(G) : GrphUnd -> GrphDir
Origin
- LogCanonicalThresholdAtOrigin(C) : Sch -> FldRatElt
- Origin(A) : Aff -> Pt
- Origin(A) : Aff -> Pt
Original
- OriginalRing(A) : AlgFP -> Rng
- OriginalRing(Q) : RngMPolRes -> Rng
OriginalRing
- OriginalRing(A) : AlgFP -> Rng
- OriginalRing(Q) : RngMPolRes -> Rng
ortho
- Orthogonalization (LATTICES)
orthog
- Orthogonality (POLAR SPACES)
orthog-symm
- Lseries_orthog-symm (Example H136E35)
Orthogonal
- CO(n, q) : RngIntElt, RngIntElt -> GrpMat
- ConformalOrthogonalGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- ConformalOrthogonalGroupMinus(n, q) : RngIntElt, RngIntElt -> GrpMat
- ConformalOrthogonalGroupPlus(n, q) : RngIntElt, RngIntElt -> GrpMat
- ConformalSpecialOrthogonalGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- ConformalSpecialOrthogonalGroupMinus(n, q) : RngIntElt, RngIntElt -> GrpMat
- ConformalSpecialOrthogonalGroupPlus(n, q) : RngIntElt, RngIntElt -> GrpMat
- DirectSum(L, M) : Lat, Lat -> Lat
- GeneralOrthogonalGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- GeneralOrthogonalGroupMinus(n, q) : RngIntElt, RngIntElt -> GrpMat
- GeneralOrthogonalGroupPlus(n, q) : RngIntElt, RngIntElt -> GrpMat
- IsHermitianSelfOrthogonal(C) : CodeLinFld -> BoolElt
- IsOrthogonal(L) : LSer -> BoolElt
- IsOrthogonalCharacter(chi) : AlgChtrElt -> BoolElt
- IsOrthogonalGroup(G) : GrpMat ->BoolElt
- IsSelfOrthogonal(C) : Code -> BoolElt
- IsSelfOrthogonal(C) : Code -> BoolElt
- IsSelfOrthogonal(C) : Code -> BoolElt
- IsSymplecticSelfOrthogonal(C) : CodeAdd -> BoolElt
- OrthogonalComplement(L, v) : LatNF, LatNFElt -> LatNF
- OrthogonalComplement(M) : ModBrdt -> ModBrdt
- OrthogonalComplement(M) : ModSS -> ModSS
- OrthogonalComplement(V, X : parameters) : ModTupFld, ModTupFld -> ModTupFld
- OrthogonalDecomposition(L) : Lat -> [Lat]
- OrthogonalDecomposition(F) : [Mtrx] -> [* Mtrx *], [* [Mtrx] *]
- OrthogonalReflection(a) : ModTupFldElt -> AlgMatElt
- OrthogonalReflection(a) : ModTupFldElt -> AlgMatElt
- OrthogonalSum(V, W) : ModTupFld, ModTupFld -> ModTupFld, Map, Map
- OrthogonalSymmetrization(chi, p) : AlgChtrElt, [ RngIntElt ] -> AlgChtrElt
- OrthogonalSymmetrization(L, p) : LSer, SeqEnum -> LSer
- OrthogonalTensorProduct(V, W) : ModTupFld, ModTupFld -> ModTupFld
- PGO(arguments)
- PGOMinus(arguments)
- PGOPlus(arguments)
- PSO(arguments)
- PSOMinus(arguments)
- PSOPlus(arguments)
- SemiOrthogonalBasis(V) : ModTupFld -> SeqEnum
- SpecialOrthogonalGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- SpecialOrthogonalGroupMinus(n, q) : RngIntElt, RngIntElt -> GrpMat
- SpecialOrthogonalGroupPlus(n, q) : RngIntElt, RngIntElt -> GrpMat
- SymmetricRepresentationOrthogonal(pa, pe) : SeqEnum,GrpPermElt -> AlgMatElt

V2.28, 13 July 2023

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