|
Class Summary |
| A_n |
The group A_n consisting of all even permutations of
n elements. |
| AbelianGroup |
What's purple and commutes?
|
| C_n |
The cyclic group C_n of order n with generator
g. |
| CharTable |
The CharTable of G holds some or all of the
character of the irreducible representations of G. |
| ClassFunction |
A complex-valued function on the Group G that is
constant on conjugacy classes. |
| Complex |
An implementation of complex numbers as pairs of
doubles. |
| D_2n |
The dihedral group D_2n of order 2n, for n
geq 3. |
| GL |
The general linear group GL(n, p) over the finite
field of p elements.
|
| GpCharacter |
The character of a complex representation of the Group
G, or an element of the Z-lattice generated by such
characters (a virtual character).
|
| Group |
A Group is a Set of GroupElts
satisfying the group axioms--existence of an identity element and
closure under GroupElt.mult(repthy.GroupElt) and GroupElt.inverse().
|
| HashGroup |
An implementation of Group backed by a HashSet
that holds one copy of each element of the group. |
| HashHomom |
An implementation of Homomorphism backed by a
HashMap that contains one copy of each key-value
pair. |
| HeckeAlg_GL_B |
The Hecke algebra
HZ(GLn(p),
B). |
| HeckeAlg_GL_U |
The Hecke algebra
HZ(GLn(p),
U). |
| HeckeAlg_PGL_U |
The Hecke algebra
HZ(PGLn(p),
U). |
| HeckeAlgebra |
The Hecke algebra HZ(G, H) for the
double-coset space H\G/H.
|
| HeckeAlgebraElt |
An element of a given HeckeAlgebra
HZ(G, H). |
| HomomFromFunc |
A kind of Homomorphism that can be constructed from an
easier-to-use object HomomorphismFunc. |
| Homomorphism |
A Homomorphism is a Map from one Group to another satisfying the axioms for a homomorphism of groups.
|
| ImmutableSet |
A Set that can't be modified once it's been created. |
| MatrixModp |
Square matrices with byte entries modulo a
rational prime p. |
| NumThy |
This class provides static methods giving functions from
elementary number theory. |
| PariProcess |
Maintains a Pari process and provides PariProcess.send(java.lang.String) and PariProcess.receive() methods for communicating with it. |
| PermGp |
A HashGroup in which all the group elements are PermGpElts of the same degree. |
| PermGpElt |
Stores a permutation of the integers 0, 1, ...,
deg-1. |
| PGL |
The general linear group PGL(n, p) over the finite
field of p elements.
|
| PGroup |
A p-group, that is, a group of order pm
where p is a prime and m ≥ 0.
|
| PMatrixModp |
Square matrices modulo a byte p as in the
superclass MatrixModp, but modulo scalar multiples of the
identity. |
| ProductGroup |
A direct product G1 × G2
of two Groups. |
| ProductGroupElt |
An element of a ProductGroup. |
| ProductGroupInternal |
An internal direct product, where the elements
g1, g2 in
g1 × g2 lie in a common
parent group. |
| PSL |
The projective special linear group PSL(n, p) over
the finite field of p elements.
|
| PSL3 |
Special topics concerning PSL3(p) for a prime
p. |
| PSL3b |
Special topics concerning PSL3(p) for a prime
p. |
| PSLEltModp |
A PMatrixModp that's known at construction time to have
determinant equal to an n-th root of unity. |
| Q_8 |
The quaternionic group of order 8.
|
| QuotientGroup |
Given a Subgroup (G, H) where H is a
normal subgroup of G, this class is the quotient group
G/H, and provides the method QuotientGroup.getQuotientMap() for
obtaining the quotient homomorphism from G to G/H. |
| QuotientGroupElt |
An element "g modulo H", where g is an
element of the group G and H is a subgroup of
G. |
| S_n |
The group Sn consisting of all permutations of
the integers 0, ..., n-1. |
| SingletonSortedSet |
A singleton SortedSet, meaning a SortedSet
with exactly one element. |
| SL |
The special linear group SLn(p) over the
finite field of p elements.
|
| Subgroup |
Represents a pair of Groups G ⊃ H where
H is a subgroup of G. |