Category

In Magma, a category or type is a class of objects with common properties. Examples are GrpPerm, the category of permutation groups, FldQuadElt, the the category of elements of quadratic fields, and RngMPol, the category of multivariate polynomial rings.

Typically, category names are a concatenation of short abbreviations, each starting with a capital letter.

The function Category(x) or Type(x) returns the category of x.

Example

> Q := RationalField();
> print Category(Q);   
FldRat

> V := VectorSpace(Q, 6);              
> print Category(V);     
ModTupFld
> print Category(V ! [5/6, 2, 0, 1, 46/5, -6]);
ModTupFldElt