CGAL 5.0 - Modular Arithmetic
|
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)\).
ModularTraits
Types | |
typedef ModularTraits::Residue_type | result_type |
typedef ModularTraits::Type | argument_type |
result_type | operator() (const argument_type &x) |
computes \( \varphi(x)\). | |