CGAL 4.7 - Modular Arithmetic
ModularTraits::ModularImageRepresentative Concept Reference

## Definition

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.

Refines:
AdaptableUnaryFunction
ModularTraits
computes $$\varphi^{-1}(x)$$.