M2 Namespace Reference

Namespaces
namespace	RingPromoter

Classes
class	ARingCC
	aring-style adapter for double-precision complex numbers, stored as (double, double) pairs. More...
class	ARingCCC
	aring-style adapter for arbitrary-precision complex numbers, stored as (MPFR, MPFR) pairs. More...
class	ARingCCi
	aring-style adapter for arbitrary-precision complex intervals, stored as (MPFI, MPFI) pairs. More...
class	ARingGFFlintBig
	aring-style adapter for FLINT's polynomial-quotient representation of finite fields GF(p^n) that are too large for Zech tables. More...
class	ARingGFFlint
	aring-style adapter for FLINT's Zech-logarithm representation of small finite fields GF(p^n). More...
class	ConcreteRing
class	RingQQ
	Ring-level QQ ring, a thin specialisation of ConcreteRing<ARingQQ> that marks itself with is_QQ() and coefficient_type() == COEFF_QQ. More...
class	GaloisFieldTable
class	ARingGFM2
	Pure-M2 (no-FLINT) aring-style adapter for GF(p^n), using a discrete-log encoding plus an M2-side primitive table. More...
class	ARingQQFlint
	wrapper for the flint fmpq_t integer representation More...
class	ARingQQGMP
	wrapper for the gmp mpq_t integer representation More...
class	ARingRR
	aring-style adapter for double-precision real numbers. More...
class	ARingRRi
	aring-style adapter for arbitrary-precision real intervals, backed by MPFI. More...
class	ARingRRR
	aring-style adapter for arbitrary-precision real numbers, backed by MPFR. More...
struct	ARingPolynomialStruct
	Heap-allocated node of an ARingTower polynomial: a dense degree-indexed coefficient array that recurses through tower levels. More...
class	ARingTower
	aring-style coefficient ring for tower polynomial rings (Z/p)[x_0][x_1]...[x_{n-1}] modulo a chain of extensions. More...
class	RElementWrap
class	AConcreteRing
class	ARingZZ
	wrapper for the flint fmpz_t integer representation More...
class	ARingZZGMP
	wrapper for the mpz_struct integer representation More...
class	ARingZZpFFPACK
	wrapper for the FFPACK::ModularBalanced<double> field implementation More...
class	ARingZZpFlint
	aring-style adapter for Z/p with p a word-size prime, backed by FLINT's nmod_* routines. More...
class	ARingZZp
	aring-style adapter for Z/p using a discrete-log (Zech) representation: every non-zero residue is its index relative to a primitive generator a. More...
class	RingInterface
class	ElementImpl
	A base class for Element. More...
class	SimpleARing
	A base class for simple ARings. More...
class	DummyRing
	Placeholder aring used as a default / fallback for code paths that need an ARing-shaped object but no real arithmetic. More...
class	Reader

Typedefs
typedef int	GFElement
typedef ARingQQGMP	ARingQQ
typedef struct ARingPolynomialStruct *	ARingPolynomial

Enumerations
enum	RingID {   ring_example = 0 , ring_ZZ , ring_ZZFlint , ring_QQ ,   ring_QQFlint , ring_ZZp , ring_ZZpFfpack , ring_ZZpFlint ,   ring_GFM2 , ring_GFFlintBig , ring_GFFlintZech , ring_RR ,   ring_CC , ring_RRR , ring_CCC , ring_RRi ,   ring_CCi , ring_tower_ZZp , ring_old }

Functions
template<typename RingType>
bool	liftToInt (const RingType &R, const Ring *Rg, const ring_elem f, ring_elem &result)
template<typename RT>
std::pair< bool, long >	coerceToLongIntegerFcn (const RT &ring, ring_elem a)
const RingElement *	findMinimalPolynomial (const PolynomialRing &originalR)
template<typename RT>
const RingElement *	getLiftedRepresentation (const RT &R, const ring_elem &a)
template<typename ConcreteRT>
const RingElement *	getGen (const ConcreteRT &R)
template<typename RT>
bool	get_from_BigReal (const RT &R, typename RT::ElementType &a, gmp_RR b)
template<typename RT>
bool	get_from_Interval (const RT &R, typename RT::ElementType &a, gmp_RRi b)
template<typename RT>
bool	get_from_ComplexInterval (const RT &R, typename RT::ElementType &a, gmp_CCi b)
template<typename RT>
bool	get_from_BigComplex (const RT &R, typename RT::ElementType &a, gmp_CC b)
template<typename RT>
bool	get_from_double (const RT &R, typename RT::ElementType &a, double b)
template<typename RT>
bool	get_from_complex_double (const RT &R, typename RT::ElementType &a, double re, double im)
bool	get_from_BigReal (const ARingRR &R, ARingRR::ElementType &a, gmp_RR b)
bool	get_from_BigReal (const ARingRRR &R, ARingRRR::ElementType &a, gmp_RR b)
bool	get_from_BigReal (const ARingRRi &R, ARingRRi::ElementType &a, gmp_RR b)
bool	get_from_BigReal (const ARingCC &R, ARingCC::ElementType &a, gmp_RR b)
bool	get_from_BigReal (const ARingCCC &R, ARingCCC::ElementType &a, gmp_RR b)
bool	get_from_BigComplex (const ARingCCC &R, ARingCCC::ElementType &a, gmp_CC b)
bool	get_from_BigComplex (const ARingCC &R, ARingCC::ElementType &a, gmp_CC b)
bool	get_from_double (const ARingRRR &R, ARingRRR::ElementType &a, double b)
bool	get_from_double (const ARingRRi &R, ARingRRi::ElementType &a, double b)
bool	get_from_Interval (const ARingRRi &R, ARingRRi::ElementType &a, gmp_RRi b)
bool	get_from_ComplexInterval (const ARingCCi &R, ARingCCi::ElementType &a, gmp_CCi b)
bool	get_from_double (const ARingCCi &R, ARingCCi::ElementType &a, double b)
bool	get_from_Interval (const ARingCCi &R, ARingCCi::ElementType &a, gmp_RRi b)
bool	get_from_BigComplex (const ARingCCi &R, ARingCCi::ElementType &a, gmp_CC b)
bool	get_from_BigReal (const ARingCCi &R, ARingCCi::ElementType &a, gmp_RR b)
bool	get_from_double (const ARingRR &R, ARingRR::ElementType &a, double b)
bool	get_from_double (const ARingCCC &R, ARingCCC::ElementType &a, double b)
bool	get_from_double (const ARingCC &R, ARingCC::ElementType &a, double b)
bool	get_from_complex_double (const ARingCCC &R, ARingCCC::ElementType &a, double re, double im)
bool	get_from_complex_double (const ARingCC &R, ARingCC::ElementType &a, double re, double im)
bool	get_from_complex_double (const ARingCCi &R, ARingCCi::ElementType &a, double re, double im)
template<typename RingR, typename RingS>
bool	mypromote (const RingR &R, const RingS &S, const typename RingR::ElementType &fR, typename RingS::ElementType &result_fS)
template<typename RingR, typename RingS>
bool	mylift (const RingR &R, const RingS &S, typename RingR::ElementType &result_gR, const typename RingS::ElementType &gS)
bool	mypromote (const ARingQQ &R, const ARingRR &S, const ARingQQ::ElementType &fR, ARingRR::ElementType &fS)
bool	mypromote (const ARingQQ &R, const ARingRRR &S, const ARingQQ::ElementType &fR, ARingRRR::ElementType &fS)
bool	mypromote (const ARingQQ &R, const ARingRRi &S, const ARingQQ::ElementType &fR, ARingRRi::ElementType &fS)
bool	mypromote (const ARingQQ &R, const ARingCC &S, const ARingQQ::ElementType &fR, ARingCC::ElementType &fS)
bool	mypromote (const ARingQQ &R, const ARingCCC &S, const ARingQQ::ElementType &fR, ARingCCC::ElementType &fS)
bool	mypromote (const ARingRR &R, const ARingRR &S, const ARingRR::ElementType &fR, ARingRR::ElementType &fS)
bool	mypromote (const ARingRR &R, const ARingRRR &S, const ARingRR::ElementType &fR, ARingRRR::ElementType &fS)
bool	mypromote (const ARingRR &R, const ARingCC &S, const ARingRR::ElementType &fR, ARingCC::ElementType &fS)
bool	mypromote (const ARingRR &R, const ARingCCC &S, const ARingRR::ElementType &fR, ARingCCC::ElementType &fS)
bool	mypromote (const ARingRRR &R, const ARingRRR &S, const ARingRRR::ElementType &fR, ARingRRR::ElementType &fS)
bool	mypromote (const ARingRRR &R, const ARingRR &S, const ARingRRR::ElementType &fR, ARingRR::ElementType &fS)
bool	mypromote (const ARingRRR &R, const ARingCCC &S, const ARingRRR::ElementType &fR, ARingCCC::ElementType &fS)
bool	mypromote (const ARingRRR &R, const ARingCC &S, const ARingRRR::ElementType &fR, ARingCC::ElementType &fS)
bool	mypromote (const ARingRRi &R, const ARingRRi &S, const ARingRRi::ElementType &fR, ARingRRi::ElementType &fS)
bool	mypromote (const ARingRR &R, const ARingRRi &S, const ARingRR::ElementType &fR, ARingRRi::ElementType &fS)
bool	mypromote (const ARingRRR &R, const ARingRRi &S, const ARingRRR::ElementType &fR, ARingRRi::ElementType &fS)
bool	mypromote (const ARingCC &R, const ARingCC &S, const ARingCC::ElementType &fR, ARingCC::ElementType &fS)
bool	mypromote (const ARingCC &R, const ARingCCC &S, const ARingCC::ElementType &fR, ARingCCC::ElementType &fS)
bool	mypromote (const ARingCCC &R, const ARingCC &S, const ARingCCC::ElementType &fR, ARingCC::ElementType &fS)
bool	mypromote (const ARingCCC &R, const ARingCCC &S, const ARingCCC::ElementType &fR, ARingCCC::ElementType &fS)
bool	mypromote (const ARingCCi &R, const ARingCCi &S, const ARingCCi::ElementType &fR, ARingCCi::ElementType &fS)
bool	mypromote (const ARingRR &R, const ARingCCi &S, const ARingRR::ElementType &fR, ARingCCi::ElementType &fS)
bool	mypromote (const ARingRRi &R, const ARingCCi &S, const ARingRRi::ElementType &fR, ARingCCi::ElementType &fS)
bool	mypromote (const ARingRRR &R, const ARingCCi &S, const ARingRRR::ElementType &fR, ARingCCi::ElementType &fS)
bool	mypromote (const ARingCC &R, const ARingCCi &S, const ARingCC::ElementType &fR, ARingCCi::ElementType &fS)
bool	mypromote (const ARingCCC &R, const ARingCCi &S, const ARingCCC::ElementType &fR, ARingCCi::ElementType &fS)
bool	mylift (const ARingRRR &R, const ARingRR &S, ARingRRR::ElementType &result_gR, const ARingRR::ElementType &gS)
bool	mylift (const ARingRRR &R, const ARingRRR &S, ARingRRR::ElementType &result_gR, const ARingRRR::ElementType &gS)
bool	mylift (const ARingRRR &R, const ARingCCC &S, ARingRRR::ElementType &result_gR, const ARingCCC::ElementType &gS)
bool	mylift (const ARingRRR &R, const ARingCC &S, ARingRRR::ElementType &result_gR, const ARingCC::ElementType &gS)
bool	mylift (const ARingRR &R, const ARingRR &S, ARingRR::ElementType &result_gR, const ARingRR::ElementType &gS)
bool	mylift (const ARingRR &R, const ARingRRR &S, ARingRR::ElementType &result_gR, const ARingRRR::ElementType &gS)
bool	mylift (const ARingRR &R, const ARingCCC &S, ARingRR::ElementType &result_gR, const ARingCCC::ElementType &gS)
bool	mylift (const ARingRR &R, const ARingCC &S, ARingRR::ElementType &result_gR, const ARingCC::ElementType &gS)
bool	mylift (const ARingCCC &R, const ARingCCC &S, ARingCCC::ElementType &result_gR, const ARingCCC::ElementType &gS)
bool	mylift (const ARingCCC &R, const ARingCC &S, ARingCCC::ElementType &result_gR, const ARingCC::ElementType &gS)
bool	mylift (const ARingCC &R, const ARingCCC &S, ARingCC::ElementType &result_gR, const ARingCCC::ElementType &gS)
bool	mylift (const ARingCC &R, const ARingCC &S, ARingCC::ElementType &result_gR, const ARingCC::ElementType &gS)
bool	mylift (const ARingRR &R, const ARingRRi &S, ARingRR::ElementType &result_gR, const ARingRRi::ElementType &gS)
bool	mylift (const ARingRRR &R, const ARingRRi &S, ARingRRR::ElementType &result_gR, const ARingRRi::ElementType &gS)
bool	mylift (const ARingQQ &R, const ARingRRi &S, ARingQQ::ElementType &result_gR, const ARingRRi::ElementType &gS)