The Magma algebra system. I: The user language
From MaRDI portal
Publication:1369784
DOI10.1006/JSCO.1996.0125zbMath0898.68039OpenAlexW1976677460MaRDI QIDQ1369784
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
Related Items (only showing first 100 items - show all)
Algorithms for finitely \(L\)-presented groups and their applications to some self-similar groups. ⋮ Hermitian codes from higher degree places ⋮ Codes associated with the odd graphs ⋮ Vertex-transitive maps with Schläfli type \(\{3,7\}\) ⋮ There exist no arc-regular prime-valent graphs of order four times an odd square-free integer ⋮ The distribution of second \(p\)-class groups on coclass graphs ⋮ Cubic symmetric graphs of order \(8p^3\) ⋮ New extremal binary self-dual codes of length 66 as extensions of self-dual codes over \(R_k\) ⋮ \((2,m,n)\)-groups with Euler characteristic equal to \(-2^as^b\). ⋮ A characterization of graphs by codes from their incidence matrices ⋮ Edge-transitive dihedral or cyclic covers of cubic symmetric graphs of order \(2p\) ⋮ High rank elliptic curves with prescribed torsion group over quadratic fields ⋮ Hamilton decompositions of 6-regular Cayley graphs on even abelian groups with involution-free connections sets ⋮ A fourth extremal even unimodular lattice of dimension 48 ⋮ Krull dimension and monomial orders ⋮ Quantum codes from nearly self-orthogonal quaternary linear codes ⋮ Distinguisher-based attacks on public-key cryptosystems using Reed-Solomon codes ⋮ Cosets of Sylow \(p\)-subgroups and a question of Richard Taylor. ⋮ Irreducible representations of the rational Cherednik algebra associated to the Coxeter group \(H_3\). ⋮ An improved 3-local characterization of McL and its automorphism group. ⋮ Self-pairings on supersingular elliptic curves with embedding degree \textit{three} ⋮ Normal forms of random braids. ⋮ Automorphism groups of hyperbolic lattices ⋮ \(GI\)-graphs: a new class of graphs with many symmetries ⋮ Radical subgroups of the finite exceptional groups of Lie type \(E_6\). ⋮ Towards derived equivalence classification of the cluster-tilted algebras of Dynkin type \(D\). ⋮ Zero-separating invariants for finite groups ⋮ Criteria for solvable radical membership via \(p\)-elements. ⋮ Recognising the small Ree groups in their natural representations. ⋮ Affine transformations of finite vector spaces with large orders or few cycles. ⋮ Projective interpolation of polynomial vectors and improved key recovery attack on SFLASH ⋮ Constant rank-distance sets of Hermitian matrices and partial spreads in Hermitian polar spaces ⋮ Arc-transitive dihedral regular covers of cubic graphs ⋮ Specht modules in the Auslander-Reiten quiver. ⋮ Discrete subgroups acting transitively on vertices of a Bruhat-Tits building ⋮ Balanced tripartite entanglement, the alternating group \(A_{4}\) and the Lie algebra \(sl(3,\mathbb C)\oplus u(1)\) ⋮ Moving out the edges of a lattice polygon ⋮ \(p\)-groups with a unique proper non-trivial characteristic subgroup. ⋮ Perfect powers in elliptic divisibility sequences ⋮ Computing Néron-Tate heights of points on hyperelliptic Jacobians ⋮ An extremal \([72,36,16\) binary code has no automorphism group containing \(Z_2 \times Z_4\), \(Q_8\), or \(Z_{10}\)] ⋮ On the relation between the MXL family of algorithms and Gröbner basis algorithms ⋮ On graph-restrictive permutation groups ⋮ Secants of Lagrangian Grassmannians ⋮ Torsion and Tamagawa numbers ⋮ Self-dual codes from circulant matrices ⋮ Fast arithmetics in Artin-Schreier towers over finite fields ⋮ Difference sets and doubly transitive actions on Hadamard matrices ⋮ Category \(\mathcal O\) for the rational Cherednik algebra associated to the complex reflection group \(G_{12}\). ⋮ On generalized modular forms supported on cuspidal and elliptic points ⋮ Gossiping and routing in second-kind Frobenius graphs ⋮ Hamilton paths in vertex-transitive graphs of order \(10p\) ⋮ Cubic non-normal Cayley graphs of order \(4p^2\) ⋮ Complexity bounds for the rational Newton-Puiseux algorithm over finite fields ⋮ New examples of Beauville surfaces ⋮ Short expressions of permutations as products and cryptanalysis of the algebraic eraser ⋮ An effective version of the Lazard correspondence. ⋮ On special elements in higher algebraic \(K\)-theory and the Lichtenbaum-Gross conjecture ⋮ Polarizations of isotypical components of Jacobians with group action ⋮ Arc-regular cubic graphs of order four times an odd integer ⋮ Source algebras of blocks, sources of simple modules, and a conjecture of Feit. ⋮ Intersecting two classical groups. ⋮ Classification of regular maps of Euler characteristic \(-3p\) ⋮ On computing quaternion quotient graphs for function fields ⋮ Another 80-dimensional extremal lattice ⋮ Computing the number of certain Galois representations mod \(p\) ⋮ On the Diophantine equation \(2^m + nx^2 = y^n\) ⋮ Compositions of n satisfying some coprimality conditions ⋮ Relations among tautological classes revisited ⋮ Ternary codes from the strongly regular \((45, 12, 3, 3)\) graphs and orbit matrices of 2-\((45, 12, 3)\) designs ⋮ Codes from Hall planes of even order ⋮ Hurwitz ball quotients ⋮ Finite primitive permutation groups and regular cycles of their elements. ⋮ On the orders of arc-transitive graphs ⋮ Large subgroups of simple groups. ⋮ AS-configurations and skew-translation generalised quadrangles ⋮ On the uniqueness of the generalized octagon of order \((2,4)\) ⋮ On complexity of multiplication in finite soluble groups. ⋮ On fixed points of elements in primitive permutation groups. ⋮ Effective black-box constructive recognition of classical groups. ⋮ An explicit upper bound for the Helfgott delta in \(\mathrm{SL}(2,p)\). ⋮ The module isomorphism problem reconsidered. ⋮ A note on the Diophantine equation \(y^2=px(Ax^2+2)\) ⋮ A counter-example to Martino's conjecture about generic Calogero-Moser families. ⋮ Primitive idempotents of Schur rings. ⋮ 3-class field towers of exact length 3 ⋮ Regular maps with simple underlying graphs ⋮ Deformation theory and finite simple quotients of triangle groups. II. ⋮ On knot complements that decompose into regular ideal dodecahedra ⋮ An algebraic view of bacterial genome evolution ⋮ On the maximum order of nilpotent transitive permutation groups. ⋮ On the third secant variety ⋮ Galois uniformity in quadratic dynamics over \(k(t)\) ⋮ Simple irreducible subgroups of exceptional algebraic groups. ⋮ Almost simple groups with socle PSL\((2,q)\) acting on abstract regular polytopes ⋮ On lower central series quotients of finitely generated algebras over \(\mathbb Z\). ⋮ An \(L_2\)-quotient algorithm for finitely presented groups on arbitrarily many generators. ⋮ A practical model for computation with matrix groups. ⋮ Integrality and arithmeticity of solvable linear groups. ⋮ Explicit computations of invariants of plane quartic curves
This page was built for publication: The Magma algebra system. I: The user language
