CGAL 5.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
.
ModularTraits
Types | |
typedef ModularTraits::Type | result_type |
typedef ModularTraits::Residue_type | argument_type |
result_type | operator() (const argument_type &x) |
computes \( \varphi^{-1}(x)\). | |