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

See Also