Libraries of Functions in the Magma Language

Several library files containing functions and procedures written in the Magma language may be loaded into Magma. They are:

char.m

A collection of functions for computing the characters of an abelian group, the linear characters of a group and for printing a decomposition sequence in a more natural way. Also an implementation of the Burnside-Dixon-Schneider algorithm for computing character tables.

codes.m

A series of functions for encoding/decoding strings with error correction using the coding theory capabilities of Magma.

fpgps.m

A function for eliminating redundant generators from a finitely presented group.

graph.m

A function to construct odd graphs.

geom.m

A set of functions for constructing affine planes from projective planes by various forms of derivation.

knots.m

A function for constructing presentations of knot groups.

perm.m

A set of functions for computing with permutation groups.

pgps.m

A collection of functions to compute the degrees of the characters of a p-group defined by a pc-presentation using the Slattery algorithm.

poly.m

A collection of functions that extend the available intrinsic functions for polynomials.

real.m

A collection of functions implementing standard numerical procedures for root finding and quadrature.

string.m

Functions for converting between strings and sequences of strings of one letter.

To load any of these files while in Magma, type

load "FILENAME";

Magma also contains databases of definitions of structures. See Databases of Structure Definitions.

Example

> P<x> := PolynomialRing(RationalField());
> load "poly.m";
Loading "/home/cayley/v4/LIBS/magma/poly.m"


A collection of functions that extend the available intrinsic functions 
for polynomials.  Documentation may be obtained by typing   PolyDoc(); 

> print IndefiniteIntegral(x^2 + 5);
1/3*x^3 + 5*x