CGAL 4.12 - Modular Arithmetic
ModularTraits::ModularImage Concept Reference

## Definition

This AdaptableUnaryFunction computes the modular image of the given value with respect to a homomorphism $$\varphi$$ from the ModularTraits::Type into the ModularTraits::Residue_type.

The homomorphism preserves the mapping of int into both types , i.e., $$\varphi(\mathrm{Type}(i)) == \mathrm{Residue\_type}(i)$$.

Refines:
AdaptableUnaryFunction
ModularTraits
computes $$\varphi(x)$$.