Documentation

order
- Attributes of Orders (QUATERNION ALGEBRAS)
- Bases of Orders (ASSOCIATIVE ALGEBRAS)
- Cardinality (FINITELY PRESENTED GROUPS)
- Changing Monomial Order (GRÖBNER BASES)
- Changing Monomial Order (LOCAL POLYNOMIAL RINGS)
- Creation of Maximal Orders (QUATERNION ALGEBRAS)
- Creation of Orders and Fields from Orders (NUMBER FIELDS AND ORDERS)
- Creation of Orders from Elements (QUATERNION ALGEBRAS)
- Creation of Orders with given Discriminant (QUATERNION ALGEBRAS)
- Creation of Orders with given Discriminant over the Integers (QUATERNION ALGEBRAS)
- Creation of Quaternion Orders (QUATERNION ALGEBRAS)
- Elements and Local Monomial Orders (LOCAL POLYNOMIAL RINGS)
- Finding Elements with Prescribed Properties (MATRIX GROUPS OVER FINITE FIELDS)
- Functions Relating to Group Order (ABELIAN GROUPS)
- Functions Relating to Group Order (POLYCYCLIC GROUPS)
- Group Order (MATRIX GROUPS OVER GENERAL RINGS)
- Group Order (PERMUTATION GROUPS)
- Maximal Order (GENERAL p-ADIC EXTENSIONS)
- Monomial Orders (MODULES OVER MULTIVARIATE RINGS)
- Operations with Orders (ASSOCIATIVE ALGEBRAS)
- Operations with Orders (QUATERNION ALGEBRAS)
- Order and Degree (DIFFERENTIAL RINGS)
- Order and Index Functions (GROUPS)
- Order and Roots (FINITE FIELDS)
- Order Functions (AUTOMORPHISM GROUPS)
- Order of an Element (ABELIAN GROUPS)
- Orders of Invertible Matrices (MATRICES)
- Point Order (ELLIPTIC CURVES)
- Predicates (ASSOCIATIVE ALGEBRAS)
- Predicates of Orders (QUATERNION ALGEBRAS)
- Representation and Monomial Orders (FINITELY PRESENTED ALGEBRAS)
- Representation and Monomial Orders (GRÖBNER BASES)
- Testing Order Relations (SEQUENCES)
- MonRWS_order (Example H85E8)
Order-2
- GrpAtc_Order-2 (Example H82E6)
order-attributes
- Attributes of Orders (QUATERNION ALGEBRAS)
order-basis
- Bases of Orders (ASSOCIATIVE ALGEBRAS)
order-create-disc
- Creation of Orders with given Discriminant (QUATERNION ALGEBRAS)
order-create-disc-integers
- Creation of Orders with given Discriminant over the Integers (QUATERNION ALGEBRAS)
order-create-element
- Creation of Orders from Elements (QUATERNION ALGEBRAS)
order-create-maximal
- Creation of Maximal Orders (QUATERNION ALGEBRAS)
order-create-more
- FldFunG_order-create-more (Example H45E7)
order-creation
- Creation of Quaternion Orders (QUATERNION ALGEBRAS)
order-diff-ring-op-elts
- Order and Degree (DIFFERENTIAL RINGS)
order-finite
- MonRWS_order-finite (Example H85E6)
order-ideals
- FldFunG_order-ideals (Example H45E35)
order-index
- Order and Index Functions (GROUPS)
order-infinite
- MonRWS_order-infinite (Example H85E7)
order-ops
- Operations with Orders (ASSOCIATIVE ALGEBRAS)
- Operations with Orders (QUATERNION ALGEBRAS)
order-pred
- Predicates of Orders (QUATERNION ALGEBRAS)
order-preds
- x notin O : AlgAssVElt, AlgAssVOrd -> BoolElt
- Predicates (ASSOCIATIVE ALGEBRAS)
order-reco
- RngOrd_order-reco (Example H39E34)
order-root
- Order and Roots (FINITE FIELDS)
Order11
- GrpFP_Order11 (Example H78E19)
OrderAutomorphismGroupAbelianPGroup
- OrderAutomorphismGroupAbelianPGroup (A) : SeqEnum -> RngIntElt
Ordered
- IsLexicographicallyOrdered(w1, w2) : MonOrdElt, MonOrdElt -> boolean
- IsOrdered(R) : Rng -> BoolElt
- OrderedIntegerMonoid() : -> MonOrd
- OrderedMonoid(P) : MonPlc -> MonOrd
- OrderedMonoid(M) : MonPlc -> MonOrd;
- OrderedMonoid(n) : RngIntElt -> MonOrd
- OrderedPartitionStack(n) : RngIntElt -> StkPtnOrd
- OrderedPartitionStackZero(n, h) : RngIntElt, RngIntElt -> StkPtnOrd
ordered
- Ordered Monoids (PARTITIONS, WORDS AND YOUNG TABLEAUX)
- Ordered Partition Stacks (PERMUTATION GROUPS)
ordered-monoid
- Ordered Monoids (PARTITIONS, WORDS AND YOUNG TABLEAUX)
ordered-partn-stack
- Ordered Partition Stacks (PERMUTATION GROUPS)
OrderedIntegerMonoid
- OrderedIntegerMonoid() : -> MonOrd
orderedmon--fingen
- Tableau_orderedmon--fingen (Example H154E4)
OrderedMonoid
- OrderedMonoid(P) : MonPlc -> MonOrd
- OrderedMonoid(M) : MonPlc -> MonOrd;
- OrderedMonoid(n) : RngIntElt -> MonOrd
OrderedMonoid-basic
- Tableau_OrderedMonoid-basic (Example H154E6)
OrderedMonoid-Creation
- Tableau_OrderedMonoid-Creation (Example H154E3)

V2.28, 13 July 2023

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