|
CGAL 6.0 - Modular Arithmetic
|
This AdaptableUnaryFunction returns a representative in the original type of a given modular image. More precisely, it implements the right inverse of a proper restriction of the homomorphism \( \varphi\), which is implemented by ModularTraits::ModularImage.
AdaptableUnaryFunction ModularTraits Types | |
| typedef ModularTraits::Type | result_type |
| typedef ModularTraits::Residue_type | argument_type |
| result_type | operator() (const argument_type &x) |
| computes \( \varphi^{-1}(x)\). | |