This AdaptableUnaryFunction computes the modular image of the given value with respect to a homomorphism φ from the ModularTraits::Type into the ModularTraits::Residue_type.
The homomorphism preserves the mapping of int into both types , i.e., φ(Type(i)) == Residue_type(i).
typedef ModularTraits::Residue_type | ||
result_type; | ||
typedef ModularTraits::Type | argument_type; | |
result_type | fo ( argument_type x ) | computes φ(x). |