mirror of https://github.com/CGAL/cgal
25 lines
744 B
TeX
25 lines
744 B
TeX
\begin{ccRefFunctionObjectConcept}{ModularTraits::ModularImageRepresentative}
|
|
|
|
\ccDefinition
|
|
|
|
This \ccc{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 \ccc{ModularTraits::ModularImage}.
|
|
|
|
\ccTypes
|
|
\ccTypedef{typedef ModularTraits::Type result_type;}{}
|
|
\ccTypedef{typedef ModularTraits::Residue_type argument_type;}{}
|
|
|
|
\ccCreationVariable{fo}
|
|
|
|
\ccMethod{
|
|
result_type
|
|
operator()(const argument_type &x);}{
|
|
computes $\varphi^{-1}(x)$.
|
|
}
|
|
|
|
\ccRefines
|
|
\ccc{AdaptableUnaryFunction}
|
|
|
|
\ccSeeAlso
|
|
\ccRefConceptPage{ModularTraits}
|
|
|
|
\end{ccRefFunctionObjectConcept} |