Documentation

create-diff-op-ring
- RngDiff_create-diff-op-ring (Example H118E33)
create-elements
- Creation of Twisted Polynomials (CLASS FIELD THEORY FOR GLOBAL FUNCTION FIELDS)
create-elts
- Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
create-ex
- Newton_create-ex (Example H55E1)
create-group-refl
- Construction of Reflection Groups (REFLECTION GROUPS)
create-group-refl-complex
- Construction of Finite Complex Reflection Groups (REFLECTION GROUPS)
create-group-refl-real
- Construction of Real Reflection Groups (REFLECTION GROUPS)
create-name
- Creating Names (INPUT AND OUTPUT)
create-new-root-datum
- Building Groups of Lie Type (GROUPS OF LIE TYPE)
- Building Root Data (ROOT DATA)
create-new-root-system
- Building Root Systems (ROOT SYSTEMS)
create-pts-1
- RieSrf_create-pts-1 (Example H124E12)
create-root-datum
- Constructing Root Data (ROOT DATA)
create-struct
- Creation of Structures (ALGEBRAIC FUNCTION FIELDS)
create-subspaces
- Subspaces (ALGEBRAIC FUNCTION FIELDS)
create_small_mod_crv
- Small Modular Curve Models (SMALL MODULAR CURVES)
CreateA4wrC3
- ModAlg_CreateA4wrC3 (Example H97E7)
CreateA7
- ModAlg_CreateA7 (Example H97E6)
CreateCharacterFile
- CreateCharacterFile(P) : NFSProc -> .
- CreateCharacterFile(P, cc) : NFSProc, RngIntElt -> .
CreateComplexField
- FldRe_CreateComplexField (Example H26E3)
CreateCycleFile
- CreateCycleFile(P) : NFSProc -> .
CreateElements
- FldRe_CreateElements (Example H26E4)
CreateEmbedded
- PMod_CreateEmbedded (Example H116E1)
createGGrp
- GrpCoh_createGGrp (Example H74E24)
CreateHom
- ModRng_CreateHom (Example H59E6)
- ModRng_CreateHom (Example H59E7)
CreateHomGHom
- ModAlg_CreateHomGHom (Example H97E26)
CreateK35
- ModFld_CreateK35 (Example H29E2)
CreateK3Data
- CreateK3Data(g) : RngIntElt -> SeqEnum
CreateK6
- ModAlg_CreateK6 (Example H97E1)
CreateL27
- ModAlg_CreateL27 (Example H97E2)
CreateLattice
- ModAlg_CreateLattice (Example H97E23)
CreateM11
- ModAlg_CreateM11 (Example H97E4)
CreateM12
- ModAlg_CreateM12 (Example H97E5)
CreateMatrices
- ModAlg_CreateMatrices (Example H97E3)
CreatePolyAction
- ModAlg_CreatePolyAction (Example H97E8)
CreateQ6
- ModFld_CreateQ6 (Example H29E1)
CreateSubgroupPoset
- Grp_CreateSubgroupPoset (Example H63E27)
CreateVirtualRays
- CreateVirtualRays(S) : [TorLatElt] -> SeqEnum
CreateZ6
- ModRng_CreateZ6 (Example H59E1)
Creating
- Constructing Tensor Categories (MULTILINEAR ALGEBRA)
- Creating Tensors (MULTILINEAR ALGEBRA)
creating
- Creating Galois Representations (LOCAL GALOIS REPRESENTATIONS)
Creating-tensor-categories
- Constructing Tensor Categories (MULTILINEAR ALGEBRA)
Creating-tensors
- Creating Tensors (MULTILINEAR ALGEBRA)
CreatingExtendedRootData
- RootDtm_CreatingExtendedRootData (Example H104E2)
CreatingRootData
- RootDtm_CreatingRootData (Example H104E1)
CreatingRootDataHomomorphisms
- GrpLie_CreatingRootDataHomomorphisms (Example H110E20)
- RootDtm_CreatingRootDataHomomorphisms (Example H104E31)
CreatingRootSystemsMatrix
- RootSys_CreatingRootSystemsMatrix (Example H103E2)
CreatingRootSystemsName
- RootSys_CreatingRootSystemsName (Example H103E1)
Creation
- Creation (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
- Creation (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
- Creation (CHAIN COMPLEXES)
- Creation of Elements (BRANDT MODULES)
- Operations on Elements (BRANDT MODULES)
- AlgAff_Creation (Example H115E1)
- AlgFP_Creation (Example H89E6)
- AlgMat_Creation (Example H90E1)
- CrvEll_Creation (Example H128E1)
- CrvHyp_Creation (Example H134E1)
- FldFunG_Creation (Example H45E1)
- FldNum_Creation (Example H36E1)
- GrpAb_Creation (Example H75E5)
- GrpPSL2_Creation (Example H139E2)
- ModSym_Creation (Example H142E1)
- RngPol_Creation (Example H24E1)
- RngSer_Creation (Example H50E1)
creation
- Alternative Models (ELLIPTIC CURVES)
- Ambient Spaces (MODULAR FORMS)
- Ambient Spaces (MODULAR SYMBOLS)
- Ambient Spaces (SUPERSINGULAR DIVISORS ON MODULAR CURVES)
- Basic Creation and Access (MODULES OVER MULTIVARIATE RINGS)
- Bounds on the Graph Order (GRAPHS)
- Cartesian Product Constructor and Functions (TUPLES AND CARTESIAN PRODUCTS)
- Changing the Base Ring (ELLIPTIC CURVES)
- Clifford Algebras (CLIFFORD ALGEBRAS)
- Constructing Confluent Presentations (GROUPS DEFINED BY REWRITE SYSTEMS)
- Constructing Quantum Codes (QUANTUM CODES)
- Constructing Schemes (SCHEMES)
- Construction (LINEAR CODES OVER FINITE RINGS)
- Construction (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Construction of a Base and Strong Generating Set (MATRIX GROUPS OVER GENERAL RINGS)
- Construction of a Codeword (ADDITIVE CODES)
- Construction of a Codeword (LINEAR CODES OVER FINITE FIELDS)
- Construction of a Coset Geometry (INCIDENCE GEOMETRY)
- Construction of a Finitely Presented Abelian Group and its Elements (ABELIAN GROUPS)
- Construction of a General Digraph (GRAPHS)
- Construction of a General Graph (GRAPHS)
- Construction of a General Group (GROUPS)
- Construction of a General Matrix Group (MATRIX GROUPS OVER GENERAL RINGS)
- Construction of a General Permutation Group (PERMUTATION GROUPS)
- Construction of a Matrix (FREE MODULES)
- Construction of a Plane (FINITE PLANES)
- Construction of a Rewrite Monoid (MONOIDS GIVEN BY REWRITE SYSTEMS)
- Construction of a Vector (VECTOR SPACES)
- Construction of a Vector Space (VECTOR SPACES)
- Construction of a Vector Space with Inner Product Matrix (VECTOR SPACES)
- Construction of Additive Codes (ADDITIVE CODES)
- Construction of an Automatic Group (AUTOMATIC AND HYPERBOLIC GROUPS)
- Construction of an Incidence Geometry (INCIDENCE GEOMETRY)
- Construction of an SLP-Group and its Elements (BLACK-BOX GROUPS)
- Construction of an SLP-Group and its Elements (GROUPS OF STRAIGHT-LINE PROGRAMS)
- Construction of Associative Algebras (ASSOCIATIVE ALGEBRAS)
- Construction of Automorphism Groups (INCIDENCE STRUCTURES AND DESIGNS)
- Construction of Codes (LINEAR CODES OVER FINITE FIELDS)
- Construction of Elements (ABELIAN GROUPS)
- Construction of Elements (FREE MODULES)
- Construction of Elements (GROUPS)
- Construction of General Algebras and their Elements (ALGEBRAS)
- Construction of Group Algebras and their Elements (GROUP ALGEBRAS)
- Construction of Incidence Structures and Designs (INCIDENCE STRUCTURES AND DESIGNS)
- Construction of Incidence and Coset Geometries (INCIDENCE GEOMETRY)
- Construction of Matrix Algebras and their Elements (MATRIX ALGEBRAS)
- Construction of New Ideals (FINITELY PRESENTED ALGEBRAS)
- Construction of Orders (ASSOCIATIVE ALGEBRAS)
- Construction of Orders of Algebraic Function Fields (ALGEBRAIC FUNCTION FIELDS)
- Construction of Structure Constant Algebras and Elements (STRUCTURE CONSTANT ALGEBRAS)
- Constructions (LINEAR CODES OVER FINITE RINGS)
- Creating a G-Set (PERMUTATION GROUPS)
- Creating a Record (RECORDS)
- Creating Edges and Vertices (GRAPHS)
- Creating Elements of a Braid Group (BRAID GROUPS)
- Creating Point-Sets and Block-Sets (INCIDENCE STRUCTURES AND DESIGNS)
- Creating Point-Sets and Line-Sets (FINITE PLANES)
- Creating Sequences (SEQUENCES)
- Creating Sets (SETS)
- Creating the Database (DATABASES OF GROUPS)
- Creating the Database (DATABASES OF GROUPS)
- Creating the Database (LATTICES)
- Creating the Poset of Subgroup Classes (GROUPS)
- Creation (ALGEBRAIC CURVES)
- Creation (ALGEBRAIC FUNCTION FIELDS)
- Creation (BASIC ALGEBRAS)
- Creation (BASIC ALGEBRAS)
- Creation (BASIC ALGEBRAS)
- Creation (CHAIN COMPLEXES)
- Creation (CLASS FIELD THEORY)
- Creation (CONGRUENCE SUBGROUPS OF PSL₂(R))
- Creation (CONGRUENCE SUBGROUPS OF PSL₂(R))
- Creation (DIFFERENTIAL RINGS)
- Creation (DIFFERENTIAL RINGS)
- Creation (INTEGER RESIDUE CLASS RINGS)
- Creation (INTEGER RESIDUE CLASS RINGS)
- Creation (INTEGER RESIDUE CLASS RINGS)
- Creation (INVARIANT THEORY)
- Creation (INVARIANT THEORY)
- Creation (INVARIANT THEORY)
- Creation (MODULAR FORMS OVER IMAGINARY QUADRATIC FIELDS)
- Creation (MODULES OVER MULTIVARIATE RINGS)
- Creation (NUMBER FIELDS)
- Creation (RING OF INTEGERS)
- Creation (SYMMETRIC FUNCTIONS)
- Creation and Access Functions (HYPERELLIPTIC CURVES)
- Creation and Access Functions (QUATERNION ALGEBRAS)
- Creation by Hand (RESOLUTION GRAPHS AND SPLICE DIAGRAMS)
- Creation from Curve Singularities (RESOLUTION GRAPHS AND SPLICE DIAGRAMS)
- Creation from Pencils (RESOLUTION GRAPHS AND SPLICE DIAGRAMS)
- Creation Functions (ALGEBRAIC SURFACES)
- Creation Functions (ALGEBRAIC SURFACES)
- Creation Functions (BINARY QUADRATIC FORMS)
- Creation Functions (CHARACTERS OF FINITE GROUPS)
- Creation Functions (COHERENT SHEAVES)
- Creation Functions (COPRODUCTS)
- Creation Functions (CYCLOTOMIC FIELDS)
- Creation Functions (DIRICHLET AND HECKE CHARACTERS)
- Creation Functions (ELLIPTIC CURVES)
- Creation Functions (FINITE FIELDS)
- Creation Functions (GALOIS RINGS)
- Creation Functions (HYPERELLIPTIC CURVES)
- Creation Functions (HYPERGEOMETRIC MOTIVES)
- Creation Functions (HYPERGEOMETRIC MOTIVES)
- Creation Functions (MAPPINGS)
- Creation Functions (MOD P GALOIS REPRESENTATIONS)
- Creation Functions (MOD P GALOIS REPRESENTATIONS)
- Creation Functions (MODULAR CURVES)
- Creation Functions (MODULAR FORMS)
- Creation Functions (MODULAR SYMBOLS)
- Creation Functions (NUMBER FIELDS AND ORDERS)
- Creation Functions (NUMBER FIELDS)
- Creation Functions (POWER, LAURENT AND PUISEUX SERIES)
- Creation Functions (RATIONAL FIELD)
- Creation Functions (RATIONAL FUNCTION FIELDS)
- Creation Functions (REAL AND COMPLEX FIELDS)
- Creation Functions (RIEMANN SURFACES)
- Creation Functions (RING OF INTEGERS)
- Creation Functions (SUPERSINGULAR DIVISORS ON MODULAR CURVES)
- Creation Functions (UNIVARIATE POLYNOMIAL RINGS)
- Creation Functions (VALUATION RINGS)
- Creation Intrinsics (SERIES RINGS OVER p-ADIC RINGS)
- Creation of a Cohomology Module (COHOMOLOGY AND EXTENSIONS)
- Creation of a Hyperelliptic Curve (HYPERELLIPTIC CURVES)
- Creation of a Kummer Surface (HYPERELLIPTIC CURVES)
- Creation of a Matrix Group (MATRIX GROUPS OVER GENERAL RINGS)
- Creation of a Modular Curve (MODULAR CURVES)
- Creation of a Permutation Group (PERMUTATION GROUPS)
- Creation of Admissible Representations (ADMISSIBLE REPRESENTATIONS OF GL₂(Q_p))
- Creation of Affine Algebras (AFFINE ALGEBRAS)
- Creation of Algebra Modules from other Algebra Modules (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
- Creation of Algebraic Function Fields and their Orders (ALGEBRAIC FUNCTION FIELDS)
- Creation of Algebraic Function Fields (ALGEBRAIC FUNCTION FIELDS)
- Creation of an Algebraic Geometric Code (ALGEBRAIC-GEOMETRIC CODES)
- Creation of an Elliptic Curve (ELLIPTIC CURVES)
- Creation of Automorphism Groups (AUTOMORPHISM GROUPS)
- Creation of Booleans (STATEMENTS AND EXPRESSIONS)
- Creation of Cyclotomic Fields (CYCLOTOMIC FIELDS)
- Creation of Differential Operators (DIFFERENTIAL RINGS)
- Creation of Differential Ring Elements (DIFFERENTIAL RINGS)
- Creation of Divisors (ALGEBRAIC CURVES)
- Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
- Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
- Creation of Elements (ALGEBRAIC FUNCTION FIELDS)
- Creation of Elements (ALGEBRAICALLY CLOSED FIELDS)
- Creation of Elements (FINITE FIELDS)
- Creation of Elements (GALOIS RINGS)
- Creation of Elements (INTRODUCTION TO RINGS [BASIC RINGS])
- Creation of Elements (MODULAR SYMBOLS)
- Creation of Elements (MODULES OVER DEDEKIND DOMAINS)
- Creation of Elements (POWER, LAURENT AND PUISEUX SERIES)
- Creation of Forms (BINARY QUADRATIC FORMS)
- Creation of FP-Algebras (FINITELY PRESENTED ALGEBRAS)
- Creation of Full Cuspidal Spaces (HILBERT MODULAR FORMS)
- Creation of General Del Pezzos (ALGEBRAIC SURFACES)
- Creation of Genus One Models (MODELS OF GENUS ONE CURVES)
- Creation of Ideals (ALGEBRAIC FUNCTION FIELDS)
- Creation of Ideals (FINITELY PRESENTED ALGEBRAS)
- Creation of Ideals and Quotients (UNIVARIATE POLYNOMIAL RINGS)
- Creation of Ideals in Orders (NUMBER FIELDS AND ORDERS)
- Creation of Isomorphisms (HYPERELLIPTIC CURVES)
- Creation of Lattice Elements (LATTICES)
- Creation of Lattices (LATTICES)
- Creation of Lazy Series Rings (LAZY POWER SERIES RINGS)
- Creation of Linear Systems (SCHEMES)
- Creation of Local Rings and Fields (p-ADIC RINGS AND THEIR EXTENSIONS)
- Creation of LP objects (LINEAR PROGRAMMING)
- Creation of Maps (SCHEMES)
- Creation of Matrices (MATRICES)
- Creation of Modules (MODULES OVER DEDEKIND DOMAINS)
- Creation of New Lists (LISTS)
- Creation of Newton Polygons (NEWTON POLYGONS)
- Creation of Number Field Lattices (LATTICES OVER NUMBER FIELDS)
- Creation of Point Sets (ELLIPTIC CURVES)
- Creation of Points (ELLIPTIC CURVES)
- Creation of Points (MODULAR CURVES)
- Creation of Polynomial Rings (MULTIVARIATE POLYNOMIAL RINGS)
- Creation of Quantum States (QUANTUM CODES)
- Creation of Quaternion Algebras (QUATERNION ALGEBRAS)
- Creation of Quaternion Orders (QUATERNION ALGEBRAS)
- Creation of Regular Models (ALGEBRAIC CURVES)
- Creation of Small Graph Databases (GRAPHS)
- Creation of Sparse Matrices (SPARSE MATRICES)
- Creation of Splice Diagrams (RESOLUTION GRAPHS AND SPLICE DIAGRAMS)
- Creation of Strings (INPUT AND OUTPUT)
- Creation of Structures (ALGEBRAIC FUNCTION FIELDS)
- Creation of Structures (ALGEBRAIC FUNCTION FIELDS)
- Creation of Structures (QUADRATIC FIELDS)
- Creation of Subgroup Schemes (ELLIPTIC CURVES)
- Creation of Subgroups of PSL₂(R) (CONGRUENCE SUBGROUPS OF PSL₂(R))
- Creation of Triangle Groups (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
- Creation of Twisted Polynomial Rings (CLASS FIELD THEORY FOR GLOBAL FUNCTION FIELDS)
- Creation of Vector Spaces and Arithmetic with Vectors (VECTOR SPACES)
- Creation Predicates (ELLIPTIC CURVES)
- Creation Predicates (HYPERELLIPTIC CURVES)
- Defining Ideals and Quotient Rings (INTRODUCTION TO RINGS [BASIC RINGS])
- Definition of a Module (FREE MODULES)
- Differential Operator Rings (DIFFERENTIAL RINGS)
- Differential Rings and Fields (DIFFERENTIAL RINGS)
- Element Creation (INTEGER RESIDUE CLASS RINGS)
- Elementary Creation of Lattices (LATTICES)
- Elements (MODULAR FORMS)
- Elements (SUPERSINGULAR DIVISORS ON MODULAR CURVES)
- Explicit Creation (SCHEMES)
- Free Groups and Words (FREE GROUPS)
- General Function Field Places (ALGEBRAIC FUNCTION FIELDS)
- Global Function Field Places (ALGEBRAIC FUNCTION FIELDS)
- Hom_R(M, N) for Matrix Modules (FREE MODULES)
- Hom_R(M, N) for R-modules (FREE MODULES)
- Labels (MODULAR FORMS)
- Labels (MODULAR SYMBOLS)
- Local Polynomial Rings and Ideals (LOCAL POLYNOMIAL RINGS)
- New Rings from Existing Ones (INTRODUCTION TO RINGS [BASIC RINGS])
- Operations on Structure Constant Algebras and Elements (STRUCTURE CONSTANT ALGEBRAS)
- Other Ring Constructions (INTRODUCTION TO RINGS [BASIC RINGS])
- Points (RIEMANN SURFACES)
- Polynomial Rings and Ideals (GRÖBNER BASES)
- Predicates on Curve Models (ELLIPTIC CURVES)
- Predicates on Models (HYPERELLIPTIC CURVES)
- Presentation of Lattices (LATTICES)
- Specification of a Subgroup (FINITELY PRESENTED GROUPS)
- Structure Creation (CHARACTERS OF FINITE GROUPS)
- Structure Creation (CHARACTERS OF FINITE GROUPS)
- Subspaces (SUPERSINGULAR DIVISORS ON MODULAR CURVES)
- The Automorphism Group Function (GRAPHS)
- The Collineation Group Function (FINITE PLANES)
- The Construction of a Matrix Group (MATRIX GROUPS OVER GENERAL RINGS)
- The Construction of a Permutation Group (PERMUTATION GROUPS)
- The Construction of a Rewrite Monoid (MONOIDS GIVEN BY REWRITE SYSTEMS)
- The Construction of a Rewrite Group (GROUPS DEFINED BY REWRITE SYSTEMS)
- The Construction of a Vector Space (VECTOR SPACES)
- The Construction of Direct Sums and Tensor Products (MATRIX ALGEBRAS)
- The Construction of Free Semigroups and their Elements (FINITELY PRESENTED SEMIGROUPS)
- The Construction of Related Structures (INCIDENCE STRUCTURES AND DESIGNS)
- The Record Format Constructor (RECORDS)
- The Subcode Constructor (ADDITIVE CODES)
- The Subcode Constructor (LINEAR CODES OVER FINITE FIELDS)
- The Subcode Constructor (LINEAR CODES OVER FINITE RINGS)
- AlgGrp_creation (Example H91E1)
- AlgSym_creation (Example H155E18)
- AlgSym_creation (Example H155E2)
- FldCyc_creation (Example H38E1)
- FldQuad_creation (Example H37E1)

V2.28, 13 July 2023