|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Uses of ImmutableSet in repthy |
| Subclasses of ImmutableSet in repthy | |
class |
A_n
The group A_n consisting of all even permutations of n elements. |
class |
AbelianGroup
What's purple and commutes? |
class |
C_n
The cyclic group C_n of order n with generator g. |
class |
D_2n
The dihedral group D_2n of order 2n, for n geq 3. |
class |
GL
The general linear group GL(n, p) over the finite field of p elements. |
class |
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().
|
class |
HashGroup
An implementation of Group backed by a HashSet
that holds one copy of each element of the group. |
class |
PermGp
A HashGroup in which all the group elements are PermGpElts of the same degree. |
class |
PGL
The general linear group PGL(n, p) over the finite field of p elements. |
class |
PGroup
A p-group, that is, a group of order pm where p is a prime and m ≥ 0. |
class |
ProductGroup
A direct product G1 × G2 of two Groups. |
class |
ProductGroupInternal
An internal direct product, where the elements g1, g2 in g1 × g2 lie in a common parent group. |
class |
PSL
The projective special linear group PSL(n, p) over the finite field of p elements. |
class |
PSL3
Special topics concerning PSL3(p) for a prime p. |
class |
PSL3b
Special topics concerning PSL3(p) for a prime p. |
class |
Q_8
The quaternionic group of order 8. |
class |
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. |
class |
S_n
The group Sn consisting of all permutations of the integers 0, ..., n-1. |
class |
SingletonSortedSet
A singleton SortedSet, meaning a SortedSet
with exactly one element. |
class |
SL
The special linear group SLn(p) over the finite field of p elements. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||