FunctionObjectConcept

ModularTraits::ModularImage

Definition

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

Types

typedef ModularTraits::Residue_type
result_type;

typedef ModularTraits::Type argument_type;

result_type fo ( argument_type x ) computes φ(x).

Refines

AdaptableUnaryFunction

See Also

ModularTraits