Class: ExpHom

(abstract) verificatum.arithm.ExpHom(basis, domain)

(abstract) new ExpHom(basis, domain)

Exponentiation homomorphism from a ring to a group. Note that the group is not necessarily a prime order group, that the ring is not necessarily a field, and that the ring is not necessarily the ring of exponents of group.
Parameters:
Name Type Description
basis Basis element that is exponentiated.
domain Domain of homomorphism, which may be a subring of the ring of exponents of the basis element.
Source: