#include <modular-ruint.h>

Inheritance diagram for Modular< _Storage_t, _Compute_t, typename std::enable_if< is_same_ruint< _Storage_t, _Compute_t >::value||is_smaller_ruint< _Storage_t, _Compute_t >::value||is_same_rint< _Storage_t, _Compute_t >::value||is_smaller_rint< _Storage_t, _Compute_t >::value >::type >:

Collaboration diagram for Modular< _Storage_t, _Compute_t, typename std::enable_if< is_same_ruint< _Storage_t, _Compute_t >::value||is_smaller_ruint< _Storage_t, _Compute_t >::value||is_same_rint< _Storage_t, _Compute_t >::value||is_smaller_rint< _Storage_t, _Compute_t >::value >::type >:

Public Types
using	Storage_t = _Storage_t

using	Residu_t = _Storage_t

using	Compute_t = _Compute_t

using	Element = Storage_t

using	Self_t = Modular< Storage_t, Compute_t >

using	Parent_t = Modular_implem< Storage_t, Compute_t, Storage_t >

typedef ModularRandIter< Self_t >	RandIter

typedef GeneralRingNonZeroRandIter< Self_t >	NonZeroRandIter

enum

using	Element_ptr = Element *

using	ConstElement = const Element

using	ConstElement_ptr = const Element *

using	is_elt_integral = std::is_integral< Element >

using	is_elt_floating_point = std::is_floating_point< Element >

Public Member Functions
Element &	init (Element &x) const

template<typename T >
Element &	init (Element &r, const T &a) const

Element &	init (Element &r, const Integer &a) const

template<typename S = Storage_t, typename std::enable_if<(is_ruint< S >::value), int >::type * = nullptr>
Element &	reduce (Element &x, const Element &y) const

template<typename S = Storage_t, typename std::enable_if<(is_rint< S >::value), int >::type * = nullptr>
Element &	reduce (Element &x, const Element &y) const

template<typename S = Storage_t, typename std::enable_if<(is_ruint< S >::value), int >::type * = nullptr>
Element &	reduce (Element &x) const

template<typename S = Storage_t, typename std::enable_if<(is_rint< S >::value), int >::type * = nullptr>
Element &	reduce (Element &x) const

Element &	mul (Element &r, const Element &a, const Element &b) const

Element &	div (Element &r, const Element &a, const Element &b) const

Element &	add (Element &r, const Element &a, const Element &b) const

Element &	sub (Element &r, const Element &a, const Element &b) const

Element &	neg (Element &r, const Element &a) const

Element &	inv (Element &r, const Element &a) const

Element &	mulin (Element &r, const Element &a) const

Element &	divin (Element &r, const Element &a) const

Element &	addin (Element &r, const Element &a) const

Element &	subin (Element &r, const Element &a) const

Element &	negin (Element &r) const

Element &	invin (Element &r) const

Element &	axpy (Element &r, const Element &a, const Element &x, const Element &y) const

Element &	axpyin (Element &r, const Element &a, const Element &x) const

Element &	axmy (Element &r, const Element &a, const Element &x, const Element &y) const

Element &	axmyin (Element &r, const Element &a, const Element &x) const

Element &	maxpy (Element &r, const Element &a, const Element &x, const Element &y) const

Element &	maxpyin (Element &r, const Element &a, const Element &x) const

template<class Random >
Element &	random (Random &g, Element &r) const

template<class Random >
Element &	nonzerorandom (Random &g, Element &a) const

Element	minElement () const

Element	maxElement () const

Residu_t	residu () const

Residu_t	size () const

Residu_t	characteristic () const

T &	characteristic (T &p) const

Residu_t	cardinality () const

T &	cardinality (T &p) const

bool	isZero (const Element &a) const

bool	isOne (const Element &a) const

bool	isMOne (const Element &a) const

bool	areEqual (const Element &a, const Element &b) const

bool	isUnit (const Element &a) const

size_t	length (const Element a) const

bool	operator== (const Self_t &F) const

bool	operator!= (const Self_t &F) const

Element &	assign (Element &x, const Element &y) const

T &	convert (T &r, const Element &a) const

std::ostream &	write (std::ostream &s, const Element &a) const

std::ostream &	write (std::ostream &s, const E &a) const

std::ostream &	write (std::ostream &s, const E &a) const

std::ostream &	write (std::ostream &s, const E &a) const

std::ostream &	write (std::ostream &s) const

std::ostream &	write (std::ostream &s) const

std::ostream &	write (std::ostream &s) const

std::istream &	read (std::istream &s)

std::istream &	read (std::istream &, Element &) const

Static Public Member Functions
static const std::string	type_string ()

static Residu_t	minCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

static Residu_t	maxCardinality ()

Data Fields
Residu_t	_p

Compute_t	_pc

const Element	zero

const Element	one

const Element	mOne

Static Public Attributes
static constexpr bool	is_elt_integral_v

static constexpr bool	is_elt_floating_point_v

Member Typedef Documentation

◆ Storage_t

using Storage_t = _Storage_t

◆ Residu_t

using Residu_t = _Storage_t

◆ Compute_t

using Compute_t = _Compute_t

◆ Element

using Element = Storage_t

◆ Self_t

using Self_t = Modular<Storage_t, Compute_t>

◆ Parent_t

using Parent_t = Modular_implem<Storage_t, Compute_t, Storage_t>

◆ RandIter

typedef ModularRandIter<Self_t> RandIter

◆ NonZeroRandIter

typedef GeneralRingNonZeroRandIter<Self_t> NonZeroRandIter

◆ Element_ptr

using Element_ptr = Element*

inherited

◆ ConstElement

using ConstElement = const Element

inherited

◆ ConstElement_ptr

using ConstElement_ptr = const Element*

inherited

◆ is_elt_integral

using is_elt_integral = std::is_integral<Element>

inherited

◆ is_elt_floating_point

using is_elt_floating_point = std::is_floating_point<Element>

inherited

Member Enumeration Documentation

◆ anonymous enum

anonymous enum

inherited

Member Function Documentation

◆ init() [1/3]

Element& init ( Element & x ) const

inline

◆ init() [2/3]

Element& init	(	Element &	r,
		const T &	a
	)		const

inline

◆ init() [3/3]

Element& init	(	Element &	r,
		const Integer &	a
	)		const

inlinevirtual

Implements Modular_implem< _Storage_t, _Compute_t, _Storage_t >.

◆ reduce() [1/4]

Element& reduce	(	Element &	x,
		const Element &	y
	)		const

inline

◆ reduce() [2/4]

Element& reduce	(	Element &	x,
		const Element &	y
	)		const

inline

◆ reduce() [3/4]

Element& reduce ( Element & x ) const

inline

◆ reduce() [4/4]

Element& reduce ( Element & x ) const

inline

◆ mul()

Element& mul	(	Element &	r,
		const Element &	a,
		const Element &	b
	)		const

◆ div()

Element& div	(	Element &	r,
		const Element &	a,
		const Element &	b
	)		const

◆ add()

Element& add	(	Element &	r,
		const Element &	a,
		const Element &	b
	)		const

◆ sub()

Element& sub	(	Element &	r,
		const Element &	a,
		const Element &	b
	)		const

◆ neg()

Element& neg	(	Element &	r,
		const Element &	a
	)		const

◆ inv()

Element& inv	(	Element &	r,
		const Element &	a
	)		const

◆ mulin()

Element& mulin	(	Element &	r,
		const Element &	a
	)		const

◆ divin()

Element& divin	(	Element &	r,
		const Element &	a
	)		const

◆ addin()

Element& addin	(	Element &	r,
		const Element &	a
	)		const

◆ subin()

Element& subin	(	Element &	r,
		const Element &	a
	)		const

◆ negin()

Element& negin ( Element & r ) const

◆ invin()

Element& invin ( Element & r ) const

◆ axpy()

Element& axpy	(	Element &	r,
		const Element &	a,
		const Element &	x,
		const Element &	y
	)		const

◆ axpyin()

Element& axpyin	(	Element &	r,
		const Element &	a,
		const Element &	x
	)		const

◆ axmy()

Element& axmy	(	Element &	r,
		const Element &	a,
		const Element &	x,
		const Element &	y
	)		const

◆ axmyin()

Element& axmyin	(	Element &	r,
		const Element &	a,
		const Element &	x
	)		const

◆ maxpy()

Element& maxpy	(	Element &	r,
		const Element &	a,
		const Element &	x,
		const Element &	y
	)		const

◆ maxpyin()

Element& maxpyin	(	Element &	r,
		const Element &	a,
		const Element &	x
	)		const

◆ type_string()

static const std::string type_string ( )

inlinestatic

◆ random()

Element& random	(	Random &	g,
		Element &	r
	)		const

inline

◆ nonzerorandom()

Element& nonzerorandom	(	Random &	g,
		Element &	a
	)		const

inline

◆ minElement()

Element minElement ( ) const

inlineinherited

◆ maxElement()

Element maxElement ( ) const

inlineinherited

◆ residu()

Residu_t residu ( ) const

inlineinherited

◆ size()

Residu_t size ( ) const

inlineinherited

◆ characteristic() [1/2]

Residu_t characteristic ( ) const

inlineinherited

◆ characteristic() [2/2]

T& characteristic ( T & p ) const

inlineinherited

◆ cardinality() [1/2]

Residu_t cardinality ( ) const

inlineinherited

◆ cardinality() [2/2]

T& cardinality ( T & p ) const

inlineinherited