The Magma algebra system. I: The user language

DOI10.1006/JSCO.1996.0125zbMATH Open0898.68039OpenAlexW1976677460MaRDI QIDQ1369784FDOQ1369784

Authors: Wieb Bosma, Catherine Playoust, John J. Cannon 

Publication date: 8 December 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b7ebcec93f35e52ef14a41c9c9d55fa132987473

Recommendations

• scientific article; zbMATH DE number 1263393
• scientific article; zbMATH DE number 5862969
• Appendix: The Magma language
• Magma - A Tool for Number Theory
• Magma-joined-magmas: a class of new algebraic structures
• scientific article
• scientific article; zbMATH DE number 4113860
• scientific article; zbMATH DE number 125111
• Magma2: a language oriented toward experiments in control

zbMATH Keywords

computational algebraMAGMA language

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (only showing first 100 items - show all)

• The automorphism group of an extremal [120, 60, 24] code does not contain elements of order 29
• DiscreteZOO: a fingerprint database of discrete objects
• Minimal models for rational functions in a dynamical setting
• Five embeddings of one simple group
• Finite primitive permutation groups containing a permutation having at most four cycles
• The structure of modular generalized invariants
• Algorithms for the minimum weight of linear codes
• ‐Relative Difference Sets and Their Representations
• On the group algebra decomposition of a Jacobian variety
• Examples of abelian surfaces with everywhere good reduction
• Structural cryptanalysis of McEliece schemes with compact keys
• A minimum blocking semioval in \(\mathrm{PG}(2, 9)\)
• Distinguishing Siegel theta series of degree 4 for the 32-dimensional even unimodular extremal lattices
• Sylow subgroups of symmetric and alternating groups and the vertex of \(S^{(k p - p, 1^p)}\) in characteristic \(p\)
• On orbifold constructions associated with the Leech lattice vertex operator algebra
• An expansion algorithm for constructing axial algebras
• Cartan images and \(\ell \)-torsion points of elliptic curves with rational \(j\)-invariant
• Commensurability classes of fake quadrics
• Generation of finite groups with cyclic Sylow subgroups
• Fermat-type equations of signature \((13,13,p)\) via Hilbert cuspforms
• Shifted powers in binary recurrence sequences
• A fourth extremal even unimodular lattice of dimension 48
• Krull dimension and monomial orders
• Affine transformations of finite vector spaces with large orders or few cycles.
• Computing Hilbert Modular Forms over Fields with Nontrivial Class Group
• Paramodular abelian varieties of odd conductor
• Polarizations of isotypical components of Jacobians with group action
• Six-dimensional nilpotent Lie algebras
• Proof of a conjecture on the sequence of exceptional numbers, classifying cyclic codes and APN functions
• Transitive nonpropelinear perfect codes
• Three embeddings of the Klein simple group into the Cremona group of rank three
• MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
• Coding with skew polynomial rings
• Algorithms for Del Pezzo surfaces of degree 5 (construction, parametrization)
• \(\mathbb Z_2\mathbb Z_4\)-linear codes: Generator matrices and duality
• Finite field elements of high order arising from modular curves
• Multiplicity-free representations of symmetric groups.
• Skew-cyclic codes
• Map operations and \(k\)-orbit maps
• The Ore conjecture.
• A software package for Mori dream spaces
• Skew codes of prescribed distance or rank
• A signature-based algorithm for computing Gröbner bases over principal ideal domains
• On the rational cohomology of regular surfaces isogenous to a product of curves with \(\chi(\mathcal{O}_S)=2\)
• Regular subgroups of primitive permutation groups.
• Cameron-Liebler line classes
• On number fields with equivalent integral trace forms
• Mixed quasi-étale quotients with arbitrary singularities
• On the maximum orders of elements of finite almost simple groups and primitive permutation groups.
• The asymptotic Fermat's last theorem for five-sixths of real quadratic fields
• Computing modular invariants of \(p\)-groups.
• The fundamental group and torsion group of Beauville surfaces
• Trivial-source endotrivial modules for sporadic groups
• On generalizations of skew quasi-cyclic codes
• On the clique number of a strongly regular graph
• Quasi-cyclic constructions of asymmetric quantum error-correcting codes
• Rigorous computation of the endomorphism ring of a Jacobian
• Ranks and symmetric ranks of cubic surfaces
• On some quadratic APN functions
• Endotrivial modules for the sporadic simple groups and their covers.
• On the support designs of extremal binary doubly even self-dual codes
• Proportions of elements with given 2-part order in finite classical groups of odd characteristic.
• On generalized invariants of cyclic groups
• A taxonomy of pairing-friendly elliptic curves
• Association schemes arising from bent functions
• Recipes to Fermat-type equations of the form \(x^r + y^r =Cz^p\)
• Magma
• Formal desingularization of surfaces: The Jung method revisited
• The linear programming bound for codes over finite Frobenius rings
• On the construction of highly symmetric tight frames and complex polytopes
• Normal coverings and pairwise generation of finite alternating and symmetric groups.
• The Design of Maple's Sum-of-Products and POLY Data Structures for Representing Mathematical Objects
• Heron triangles via elliptic curves
• Elliptic curves over real quadratic fields are modular
• Explicit Coleman integration for curves
• Hensel-lifting torsion points on Jacobians and Galois representations
• Extensions of finite cyclic group actions on non-orientable surfaces
• Testing isomorphism of graded algebras
• The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple}
• Cuspidal quintics and surfaces with \(p_{g}=0\), \(K^{2}=3\) and 5-torsion
• Automorphism groups of hyperbolic lattices
• The classification of minimal product-quotient surfaces with \(p_{g}=0\).
• Irreducibility testing of finite nilpotent linear groups.
• On the unirationality of del Pezzo surfaces of degree 2
• Examples of CM curves of genus two defined over the reflex field
• Surfaces of general type with geometric genus zero: a survey
• How to implement a modular form
• A family of 2-graphs arising from two-dimensional subshifts
• WHICH POINT CONFIGURATIONS ARE DETERMINED BY THE DISTRIBUTION OF THEIR PAIRWISE DISTANCES?
• On the sum of fourth powers in arithmetic progression
• Polybori: A framework for Gröbner-basis computations with Boolean polynomials
• Gröbner techniques for low-degree Hilbert stability
• Basic polynomial algebra subprograms
• \textsc{Champ}: a Cherednik algebra \textsc{Magma} package.
• Enumeration of lattice polytopes by their volume
• Classification of nilpotent associative algebras of small dimension
• ON OPTIMAL QUANTUM CODES
• Chabauty-Coleman experiments for genus 3 hyperelliptic curves
• Canonical models of arithmetic \((1;\infty)\)-curves
• Moving out the edges of a lattice polygon

This page was built for publication: The Magma algebra system. I: The user language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1369784)