|
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). |