minpoly.h File Reference

#include <string>
#include "linbox/linbox-config.h"
#include "linbox/solutions/methods.h"
#include "linbox/util/commentator.h"
#include "linbox/blackbox/squarize.h"
#include "linbox/matrix/matrix-domain.h"
#include "linbox/algorithms/wiedemann.h"
#include "linbox/solutions/hadamard-bound.h"
#include "linbox/algorithms/minpoly-integer.h"
#include "linbox/ring/modular.h"
#include "linbox/algorithms/cra-domain.h"
#include "linbox/randiter/random-prime.h"
#include "linbox/algorithms/matrix-hom.h"
#include "linbox/algorithms/rational-cra-var-prec.h"
#include "linbox/algorithms/cra-builder-var-prec-early-multip.h"
#include "linbox/algorithms/minpoly-rational.h"

Data Structures
struct	IntegerModularMinpoly< Blackbox, MyMethod >

Namespaces
namespace	LinBox
	Namespace in which all linbox code resides.

Functions
template<class Blackbox, class Polynomial, class DomainCategory, class MyMethod>
Polynomial &	minpoly (Polynomial &P, const Blackbox &A, const DomainCategory &tag, const MyMethod &M)
	Minimal polynomial of a blackbox linear operator A. The resulting polynomial is a vector of coefficients. Somewhere we should document our handling of polys.
template<class Blackbox, class Polynomial, class MyMethod>
Polynomial &	minpoly (Polynomial &P, const Blackbox &A, const MyMethod &M)
	...using an optional Method parameter
template<class Polynomial, class Blackbox>
Polynomial &	minpoly (Polynomial &P, const Blackbox &A)
	...using default Method
template<class Polynomial, class Blackbox>
Polynomial &	minpoly (Polynomial &P, const Blackbox &A, const RingCategories::ModularTag &tag, const Method::Auto &M)
template<class Polynomial, class Field>
Polynomial &	minpoly (Polynomial &P, const BlasMatrix< Field > &A, const RingCategories::ModularTag &tag, const Method::Auto &M)
template<class Polynomial, class Blackbox>
Polynomial &	minpoly (Polynomial &P, const Blackbox &A, const RingCategories::ModularTag &tag, const Method::Elimination &M)
template<class Polynomial, class Blackbox>
Polynomial &	minpoly (Polynomial &P, const Blackbox &A, const RingCategories::ModularTag &tag, const Method::DenseElimination &M)
template<class Polynomial, class Blackbox>
Polynomial &	minpoly (Polynomial &P, const Blackbox &A, const RingCategories::ModularTag &tag, const Method::Blackbox &M)
template<class Polynomial, class Blackbox, class MyMethod>
Polynomial &	minpoly (Polynomial &P, const Blackbox &A, const RingCategories::IntegerTag &tag, const MyMethod &M)
template<class Blackbox, class Polynomial, class MyMethod>
Polynomial &	minpoly (Polynomial &P, const Blackbox &A, const RingCategories::RationalTag &tag, const MyMethod &M)
template<class Field, template< class > class Polynomial, class MyMethod>
Polynomial< typename Field::Element > &	minpoly (Polynomial< typename Field::Element > &P, const BlasMatrix< Field > &A, const RingCategories::RationalTag &tag, const MyMethod &M)