mirror of https://github.com/CGAL/cgal
28 lines
730 B
TeX
28 lines
730 B
TeX
\begin{ccRefFunctionObjectConcept}{ModularTraits::ModularImage}
|
|
|
|
\ccDefinition
|
|
|
|
This \ccc{AdaptableUnaryFunction} computes the modular image of the given value
|
|
with respect to a homomorphism $\varphi$ from the
|
|
\ccc{ModularTraits::Type} into the \ccc{ModularTraits::Modular_type}.
|
|
|
|
The homomorphism preserves the mapping of \ccc{int} into both types
|
|
, i.e., $\varphi(Type(i)) == Modular\_type(i)$.
|
|
|
|
|
|
\ccTypes
|
|
\ccTypedef{typedef ModularTraits::Modular_type result_type;}{}
|
|
\ccTypedef{typedef ModularTraits::Type argument_type;}{}
|
|
|
|
\ccCreationVariable{fo}
|
|
|
|
\ccMethod{
|
|
result_type
|
|
operator()(const argument_type & x);}{
|
|
computes $\varphi(x)$.
|
|
}
|
|
|
|
\ccRefines
|
|
\ccc{AdaptableUnaryFunction}
|
|
|
|
\end{ccRefFunctionObjectConcept} |