Navigation: Up   Table of Contents   Package Overview   Bibliography   Index   Title   Acknowledging CGAL

ModularTraits::ModularImage

Definition

This AdaptableUnaryFunction computes the modular image of the given value with respect to a homomorphism φ from the ModularTraits::Type into the ModularTraits::Residue_type.

The homomorphism preserves the mapping of int into both types , i.e., φ(Type(i)) == Residue_type(i).

Types

typedef ModularTraits::Residue_type
result_type;

typedef ModularTraits::Type argument_type;

result_type fo ( argument_type x ) computes φ(x).

Refines

AdaptableUnaryFunction

See Also

ModularTraits

Next: ModularTraits::ModularImageRepresentative
Navigation: Up   Table of Contents   Package Overview   Bibliography   Index   Title   Acknowledging CGAL
CGAL Open Source Project. Release 3.5. 1 October 2009.