#include <Concepts/ModularTraits--ModularImageRepresentative.h>

Definition

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.

Refines:: AdaptableUnaryFunction

See also: ModularTraits

Types
typedef ModularTraits::Type	result_type

typedef ModularTraits::Residue_type	argument_type

result_type	operator() (const argument_type &x)
	computes \( \varphi^{-1}(x)\). More...

Member Typedef Documentation

◆ argument_type

typedef ModularTraits::Residue_type ModularTraits::ModularImageRepresentative::argument_type

◆ result_type

typedef ModularTraits::Type ModularTraits::ModularImageRepresentative::result_type

Member Function Documentation

◆ operator()()

result_type ModularTraits::ModularImageRepresentative::operator() ( const argument_type & x )