Uses of Package
repthy

Classes in repthy used by repthy

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.

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().

GroupElt
A GroupElt is an Object supporting the group operations GroupElt.mult(repthy.GroupElt) and GroupElt.inverse(), with an appropriate notion of GroupElt.equals(java.lang.Object).

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.

HeckeAlgebra
The Hecke algebra H_Z(G, H) for the double-coset space H\G/H.

HeckeAlgebraElt
An element of a given HeckeAlgebra H_Z(G, H).

Homomorphism
A Homomorphism is a Map from one Group to another satisfying the axioms for a homomorphism of groups.

HomomorphismFunc
Lets you specify a homomorphism as a function with one simple method name, apply.

ImmutableSet
A Set that can't be modified once it's been created.

MatrixModp
Square matrices with byte entries modulo a rational prime p.

OrthonormalityException
Thrown if you try to add a GpCharacter to a CharTable, but adding it would violate the condition that the characters in the table form an orthonormal set.

PariNotFoundException

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.

PMatrixModp
Square matrices modulo a byte p as in the superclass MatrixModp, but modulo scalar multiples of the identity.

ProductGroup
A direct product G₁ × G₂ of two Groups.

PSL
The projective special linear group PSL(n, p) over the finite field of p elements.

Subgroup
Represents a pair of Groups G ⊃ H where H is a subgroup of G.