#include <extension.h>

Public Types
typedef Extension< BFT >	Self_t

typedef BFT	BaseField_t

typedef BFT::Element	BFElement

typedef BFT::Residu_t	Residu_t

typedef Poly1FactorDom< BFT, Dense >	Pol_t

typedef Pol_t::Element	PolElement

typedef PolElement	Element

typedef Element *	Element_ptr

typedef const Element *	ConstElement_ptr

typedef GIV_ExtensionrandIter< Self_t, Integer >	RandIter

Public Member Functions
bool	extension_type () const

	Extension ()

	Extension (const Residu_t p, const Residu_t e=1, const Indeter Y="Y")

	Extension (const BaseField_t &bF, const Residu_t ex=1, const Indeter Y="Y")

	Extension (const Pol_t &polydomain, const PolElement &Irred)

	Extension (const Self_t &eF)

Self_t &	operator= (const Self_t &eF)

PolElement &	init (PolElement &e) const

template<class XXX>
PolElement &	init (PolElement &e, const XXX &i) const

PolElement &	assign (PolElement &e, const BFElement &a) const

PolElement &	assign (PolElement &e, const PolElement &a) const

Integer &	convert (Integer &i, const PolElement &e) const

PolElement &	init (PolElement &e, const Integer &i) const

template<class XXX>
XXX &	convert (XXX &i, const PolElement &e) const

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

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

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

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

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

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

PolElement &	axpy (PolElement &r, const PolElement &a, const PolElement &b, const PolElement &c) const

PolElement &	maxpy (PolElement &r, const PolElement a, const PolElement b, const PolElement c) const

PolElement &	maxpyin (PolElement &r, const PolElement a, const PolElement b) const

PolElement &	axmy (PolElement &r, const PolElement a, const PolElement b, const PolElement c) const

PolElement &	axmyin (PolElement &r, const PolElement a, const PolElement b) const

PolElement &	addin (PolElement &r, const PolElement &b) const

PolElement &	subin (PolElement &r, const PolElement &b) const

PolElement &	negin (PolElement &r) const

PolElement &	mulin (PolElement &r, const PolElement &b) const

PolElement &	invin (PolElement &r) const

PolElement &	divin (PolElement &r, const PolElement &b) const

PolElement &	axpyin (PolElement &r, const PolElement &b, const PolElement &c) const

bool	areEqual (const PolElement &b, const PolElement &c) const

bool	isZero (const PolElement &b) const

bool	isOne (const PolElement &b) const

bool	isUnit (const PolElement &b) const

bool	isMOne (const PolElement &b) const

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

template<class RandIter>
Element &	random (RandIter &g, Element &r, int64_t s) const

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

template<class RandIter>
Element &	nonzerorandom (RandIter &g, Element &r) const

template<class RandIter>
Element &	nonzerorandom (RandIter &g, Element &r, int64_t s) const

template<class RandIter>
Element &	nonzerorandom (RandIter &g, Element &r, const Element &b) const

Residu_t	residu () const

Integer &	cardinality (Integer &c) const

Residu_t	cardinality () const

Integer &	characteristic (Integer &c) const

Residu_t	characteristic () const

int64_t &	characteristic (int64_t &c) const

Residu_t	exponent () const

Residu_t	order () const

PolElement &	irreducible (PolElement &P) const

const PolElement &	irreducible () const

const BaseField_t &	base_field () const

const Pol_t &	polynomial_domain () const

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

std::istream &	read (std::istream &s, PolElement &a) const

std::ostream &	write (std::ostream &o, const PolElement &R) const

std::istream &	read (std::istream &o) const

Data Fields
Element	zero

Element	one

Element	mOne

Protected Attributes
BaseField_t	_bF

Pol_t	_pD

PolElement	_irred

Residu_t	_characteristic

Residu_t	_extension_order

Residu_t	_exponent

Integer	_cardinality

Detailed Description

template<class BFT = GFqDom<int64_t>>
class Givaro::Extension< BFT >

Extension.

Examples: examples/FiniteField/Test_Extension.C, and examples/Polynomial/PolynomialCRT.C.