BBcharpoly Class Reference

BlackBox Characteristic Polynomial. More...

#include <bbcharpoly.h>

Public Member Functions
	BBcharpoly ()

Static Public Member Functions
template<class BlackBox, class Polynomial, class Categorytag>
static Polynomial &	blackboxcharpoly (Polynomial &P, const BlackBox &A, const Categorytag &tag, const Method::Blackbox &M)
	Algorithm computing the characteristic polynomial of a blackbox.
template<class BlackBox, class Polynomial>
static Polynomial &	blackboxcharpoly (Polynomial &P, const BlackBox &A, const RingCategories::IntegerTag &tag, const Method::Blackbox &M)
	Algorithm computing the integer characteristic polynomial of a blackbox.
template<class BlackBox, class Polynomial>
static Polynomial &	blackboxcharpoly (Polynomial &P, const BlackBox &A, const RingCategories::ModularTag &tag, const Method::Blackbox &M)
	Algorithm computing the characteristic polynomial of a blackbox over a prime field.
template<class FieldPoly, class IntPoly>
static void	trials (std::list< std::vector< FactorMult< FieldPoly, IntPoly > > > &sols, const int goal, std::vector< FactorMult< FieldPoly, IntPoly > > &ufv, const int i0)
template<class BlackBox, class FieldPoly, class IntPoly>
static void	findMultiplicities (const BlackBox &A, std::multimap< size_t, FactorMult< FieldPoly, IntPoly > * > &factCharPoly, std::multimap< FactorMult< FieldPoly, IntPoly > *, bool > &leadingBlocks, int goal, const Method::Blackbox &M)

Detailed Description

BlackBox Characteristic Polynomial.

NO DOC

Warning

rebind comes from Givaro !

Constructor & Destructor Documentation

BBcharpoly()

BBcharpoly ( )

inline

Member Function Documentation

blackboxcharpoly() [1/3]

template<class BlackBox, class Polynomial, class Categorytag>

static Polynomial & blackboxcharpoly ( Polynomial & P, const BlackBox & A, const Categorytag & tag, const Method::Blackbox & M )

static

Algorithm computing the characteristic polynomial of a blackbox.

Warning

not implemented in general cases.

blackboxcharpoly() [2/3]

template<class BlackBox, class Polynomial>

static Polynomial & blackboxcharpoly ( Polynomial & P, const BlackBox & A, const RingCategories::IntegerTag & tag, const Method::Blackbox & M )

inlinestatic

Algorithm computing the integer characteristic polynomial of a blackbox.

blackboxcharpoly() [3/3]

template<class BlackBox, class Polynomial>

static Polynomial & blackboxcharpoly ( Polynomial & P, const BlackBox & A, const RingCategories::ModularTag & tag, const Method::Blackbox & M )

inlinestatic

Algorithm computing the characteristic polynomial of a blackbox over a prime field.

trials()

template<class FieldPoly, class IntPoly>

static void trials ( std::list< std::vector< FactorMult< FieldPoly, IntPoly > > > & sols, const int goal, std::vector< FactorMult< FieldPoly, IntPoly > > & ufv, const int i0 )

inlinestatic

findMultiplicities()

template<class BlackBox, class FieldPoly, class IntPoly>

static void findMultiplicities ( const BlackBox & A, std::multimap< size_t, FactorMult< FieldPoly, IntPoly > * > & factCharPoly, std::multimap< FactorMult< FieldPoly, IntPoly > *, bool > & leadingBlocks, int goal, const Method::Blackbox & M )

inlinestatic

---

The documentation for this class was generated from the following file:

• bbcharpoly.h