This package contains functions for handling commutative algebras over fields (e.g. matrix algebras), such as the computation of the decomposition of such an algebra into a direct product of its localisations, and the computation of an isomorphic affine algebra with few relations. Functions testing certain properties (e.g. the Gorenstein property) are included. Some functions only work over finite fields (for technical, not conceptual reasons).
This package computes Katz modular forms of weight one over finite fields. It is based on an algorithm by Edixhoven.
This package is designed for the computation of Hecke algebras of modular forms over finite fields of characteristic p in the following cases:
FastHeckeOperator (by Georg Weber)
(to be added very soon)
Last modification: 8 August 2008.