smith-form-valence.h File Reference

#include <givaro/modular.h>
#include <givaro/givintnumtheo.h>
#include <givaro/gf2.h>
#include <fflas-ffpack/paladin/parallel.h>
#include <linbox/field/field-traits.h>
#include <linbox/blackbox/transpose.h>
#include <linbox/blackbox/compose.h>
#include <linbox/matrix/sparse-matrix.h>
#include <linbox/solutions/rank.h>
#include <linbox/solutions/valence.h>
#include <linbox/solutions/smith-form.h>
#include <linbox/algorithms/smith-form-sparseelim-local.h>
#include <linbox/util/matrix-stream.h>
#include <linbox/util/timer.h>
#include <linbox/util/error.h>
#include <string>
#include <linbox/field/gf2.h>
#include <linbox/algorithms/smith-form-sparseelim-poweroftwo.h>

Namespaces
namespace	LinBox
	Namespace in which all linbox code resides.

Macros
#define	__VALENCE_FACTOR_LOOPS__   50000
#define	__LB_VALENCE_REPORTING__   0

Typedefs
typedef std::pair< Givaro::Integer, size_t >	PairIntRk

Functions
template<class Field>
size_t &	TempLRank (size_t &r, const char *filename, const Field &F)
size_t &	TempLRank (size_t &r, const char *filename, const GF2 &F2)
size_t &	LRank (size_t &r, const char *filename, Givaro::Integer p)
std::vector< size_t > &	PRank (std::vector< size_t > &ranks, size_t &effective_exponent, const char *filename, Givaro::Integer p, size_t e, size_t intr)
std::vector< size_t > &	PRankPowerOfTwo (std::vector< size_t > &ranks, size_t &effective_exponent, const char *filename, size_t e, size_t intr)
std::vector< size_t > &	PRankInteger (std::vector< size_t > &ranks, const char *filename, Givaro::Integer p, size_t e, size_t intr)
std::vector< size_t > &	PRankIntegerPowerOfTwo (std::vector< size_t > &ranks, const char *filename, size_t e, size_t intr)
std::vector< size_t > &	AllPowersRanks (std::vector< size_t > &ranks, const Givaro::Integer &squarefreePrime, const size_t &squarefreeRank, const size_t &exponentBound, const size_t &coprimeRank, const char *filename)
std::vector< Givaro::Integer > &	populateSmithForm (std::vector< Givaro::Integer > &SmithDiagonal, const std::vector< size_t > &ranks, const Givaro::Integer &squarefreePrime, const size_t &squarefreeRank, const size_t &coprimeRank)
template<class Blackbox>
std::vector< Givaro::Integer > &	smithValence (std::vector< Givaro::Integer > &SmithDiagonal, Givaro::Integer &valence, const Blackbox &A, const std::string &filename, Givaro::Integer &coprimeV, size_t method=0)
template<class Blackbox>
std::vector< Givaro::Integer > &	smithValence (std::vector< Givaro::Integer > &SmithDiagonal, const Blackbox &A, const std::string &filename, size_t method=0)
template<class PIR>
std::ostream &	writeCompressedSmith (std::ostream &out, const std::vector< typename PIR::Element > &SmithDiagonal, const PIR &ZZ, const size_t m, const size_t n)

Macro Definition Documentation

__VALENCE_FACTOR_LOOPS__

#define __VALENCE_FACTOR_LOOPS__   50000

__LB_VALENCE_REPORTING__

#define __LB_VALENCE_REPORTING__   0