mirror of https://github.com/CGAL/cgal
42 lines
737 B
C++
42 lines
737 B
C++
|
|
/*!
|
|
\ingroup PkgModularArithmeticConcepts
|
|
\cgalConcept
|
|
|
|
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 \f$ \varphi\f$, which is implemented by `ModularTraits::ModularImage`.
|
|
|
|
\cgalRefines `AdaptableUnaryFunction`
|
|
|
|
\sa `ModularTraits`
|
|
|
|
*/
|
|
|
|
class ModularTraits::ModularImageRepresentative {
|
|
public:
|
|
|
|
/// \name Types
|
|
/// @{
|
|
|
|
/*!
|
|
|
|
*/
|
|
typedef ModularTraits::Type result_type;
|
|
|
|
/*!
|
|
|
|
*/
|
|
typedef ModularTraits::Residue_type argument_type;
|
|
|
|
/*!
|
|
|
|
computes \f$ \varphi^{-1}(x)\f$.
|
|
|
|
*/
|
|
result_type
|
|
operator()(const argument_type &x);
|
|
|
|
/// @}
|
|
|
|
}; /* end ModularTraits::ModularImageRepresentative */
|
|
|