Uses of Class
repthy.Homomorphism

Uses of Homomorphism in repthy

Subclasses of Homomorphism in repthy

class	HashHomom An implementation of Homomorphism backed by a HashMap that contains one copy of each key-value pair.
class	HomomFromFunc A kind of Homomorphism that can be constructed from an easier-to-use object HomomorphismFunc.

Methods in repthy that return Homomorphism

Homomorphism	ProductGroupInternal.homomToInternal()
Homomorphism	AbelianGroup.getIsomFromSNF() Return the tautological isomorphism from the Smith normal form of this group (as returned by AbelianGroup.getSNF()) to this group.
Homomorphism	AbelianGroup.getIsomToSNF() Return the tautological isomorphism from this group to the Smith normal form of this group (as returned by AbelianGroup.getSNF()).
Homomorphism	QuotientGroup.getQuotientMap()
Homomorphism	ProductGroup.getProjection1() The canonical projection map from G1 × G2 to G1.
Homomorphism	ProductGroup.getProjection2() The canonical projection map from G1 × G2 to G2.
Homomorphism	ProductGroup.getProductMorphism(Homomorphism f1, Homomorphism f2) Fills in the dotted arrow in the diagram that defines "direct product" in the category of groups.
static Homomorphism	Homomorphism.identity(Group G, Group G1) If G and G1 have the same elements (that is, if G.equals(G1)), this method returns the natural identity map from G to G1.
Homomorphism	Homomorphism.inverse() If this homomorphism is an isomorphism, return the inverse homomorphism.
Homomorphism	Subgroup.getInclusion() Returns the homomorphism from H into G that maps h to h.

Methods in repthy with parameters of type Homomorphism

Homomorphism	ProductGroup.getProductMorphism(Homomorphism f1, Homomorphism f2) Fills in the dotted arrow in the diagram that defines "direct product" in the category of groups.
void	CharTable.decomposePullbacks(Homomorphism f) If f is a Homomorphism from this to a group H, iterates through each character currently in H's character table, pulls it back by f, and decomposes it with respect to the character table on this.