linbox
test-smith-form.h File Reference

tools for making matrix with known SNF. More...

Functions

template<class PIR>
BlasVector< PIR > & makeBumps (BlasVector< PIR > &b, int choice)
 
template<class PIR>
BlasVector< PIR > & prefixProduct (BlasVector< PIR > &d, const BlasVector< PIR > &b)
 
template<class PIR>
void makeSNFExample (DenseMatrix< PIR > &A, BlasVector< PIR > &d, const BlasVector< PIR > &bumps, const BlasVector< PIR > &lumps)
 
template<class PIR>
bool checkSNFExample (const BlasVector< PIR > &d, const BlasVector< PIR > &x)
 
template<class PIR>
bool checkSNFExample (const LinBox::SmithList< PIR > &d, const LinBox::SmithList< PIR > &x, const PIR &R)
 

Variables

std::ostream & report
 

Detailed Description

tools for making matrix with known SNF.

Function Documentation

◆ makeBumps()

template<class PIR>
BlasVector< PIR > & makeBumps ( BlasVector< PIR > & b,
int choice )

◆ prefixProduct()

template<class PIR>
BlasVector< PIR > & prefixProduct ( BlasVector< PIR > & d,
const BlasVector< PIR > & b )

◆ makeSNFExample()

template<class PIR>
void makeSNFExample ( DenseMatrix< PIR > & A,
BlasVector< PIR > & d,
const BlasVector< PIR > & bumps,
const BlasVector< PIR > & lumps )

◆ checkSNFExample() [1/2]

template<class PIR>
bool checkSNFExample ( const BlasVector< PIR > & d,
const BlasVector< PIR > & x )

◆ checkSNFExample() [2/2]

template<class PIR>
bool checkSNFExample ( const LinBox::SmithList< PIR > & d,
const LinBox::SmithList< PIR > & x,
const PIR & R )

Variable Documentation

◆ report

std::ostream& report
Initial value:
=
@ LEVEL_IMPORTANT
Definition commentator.h:244
std::ostream & report(long level=LEVEL_IMPORTANT, const char *msg_class="Internal description")
Basic reporting.
Definition commentator.inl:264
#define INTERNAL_DESCRIPTION
Definition commentator.h:65
Commentator & commentator()
Definition commentator.h:998