| |
| | [No title] (Site not responding. Last check: 2007-10-21) |
 | | In the case where K is a small finite field, composition series may be found for modules of dimension up to 20,000, while (in V2.3), if K is the rational field, composition series may be found for dimensions up to 500-600. |
 | | If R is a field, a new fast algorithm due to Allan Steel is used to construct the various matrix canonical forms: Jordan, generalized Jordan, rational, primary rational etc, while if R is an ED, recent algorithms of Havas and others are used to compute characteristic polynomials and the Hermite and Smith normal forms. |
 | | FINITE PLANES: Although finite planes correspond to particular families of designs, separate categories are provided for both projective and affine planes in order to exploit the rich structure possessed by these objects. |
| www.symbolicnet.org /ftpsoftware/magmaa2.2.txt (3296 words) |
|