|
CGAL 6.0 - Modular Arithmetic
|
A model of ModularTraits is associated to a specific Type. In case this associated type is a model of Modularizable, this is indicated by the Boolean tag ModularTraits::Is_modularizable. The mapping into the Residue_type is provided by the functor ModularTraits::Modular_image.
CGAL::Modular_traits<T> CGAL::Residue Modularizable Concepts | |
| concept | ModularImage |
This AdaptableUnaryFunction computes the modular image of the given value with respect to a homomorphism \( \varphi\) from the ModularTraits::Type into the ModularTraits::Residue_type. More... | |
| concept | ModularImageRepresentative |
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. More... | |
Types | |
A model of | |
| typedef unspecified_type | Type |
| The associated type. | |
| typedef unspecified_type | Is_modularizable |
| Tag indicating whether the associated type is modularizable. | |
| typedef unspecified_type | Residue_type |
| The type of the modular image. | |
Functors | |
In case the associated type is a model of In case a functor is not provided, it is set to | |
| typedef unspecified_type | Modular_image |
A model of ModularTraits::ModularImage | |
| typedef unspecified_type | Modular_image_representative |
A model of ModularTraits::ModularImageRepresentative | |
Tag indicating whether the associated type is modularizable.
This is either CGAL::Tag_true or CGAL::Tag_false.
The type of the modular image.
In case the associated type is not a model of Modularizable this is undefined.