Class: Hom

(abstract) verificatum.arithm.Hom(domain, range)

(abstract) new Hom(domain, range)

Homomorphism from a ring to a group.
Parameters:
Name Type Description
domain Domain of homomorphism.
range Range of homomorphism.
Source:

Methods

eva(value)

Evaluates the homomorphism.
Parameters:
Name Type Description
value Input to the homomorphism.
Source:
Returns:
Value of the homomorphism at the given value.