Specifier Struct Reference

#include <methods.h>

Inheritance diagram for Specifier:


Public Types
enum	SingularState { SINGULARITY_UNKNOWN, SINGULAR, NONSINGULAR }
enum	Preconditioner { NO_PRECONDITIONER, BUTTERFLY, SPARSE, TOEPLITZ, SYMMETRIZE, PARTIAL_DIAGONAL, PARTIAL_DIAGONAL_SYMMETRIZE, FULL_DIAGONAL, DENSE }
enum	{ RANK_UNKNOWN = 0 }
enum	{ SYMMETRIC = true, NON_SYMMETRIC = false }
enum	{ CERTIFY = true, DONT_CERTIFY = false }
enum	PivotStrategy { PIVOT_LINEAR, PIVOT_NONE }
Public Member Functions
	Specifier ()
	Specifier (const Specifier &s)
Preconditioner	preconditioner () const
size_t	rank () const
SingularState	singular () const
bool	symmetric () const
bool	certificate () const
unsigned long	maxTries () const
unsigned long	earlyTermThreshold () const
unsigned long	blockingFactor () const
PivotStrategy	strategy () const
double	trustability () const
void	preconditioner (Preconditioner p)
void	rank (size_t r)
void	singular (SingularState s)
void	symmetric (bool s)
void	certificate (bool s)
void	maxTries (unsigned long n)
void	blockingFactor (unsigned long b)
void	strategy (PivotStrategy strategy)
void	trustability (double p)
Protected Attributes
Preconditioner	_preconditioner
size_t	_rank
SingularState	_singular
bool	_symmetric
bool	_certificate
unsigned long	_maxTries
unsigned long	_ett
unsigned long	_blockingFactor
PivotStrategy	_strategy
double	_provensuccessprobability

Member Enumeration Documentation

enum SingularState

Whether the system is known to be singular or nonsingular
Enumeration values:

SINGULARITY_UNKNOWN

SINGULAR

NONSINGULAR

enum Preconditioner

Which preconditioner to use to ensure generic rank profile
NO_PRECONDITIONER - Do not use any preconditioner BUTTERFLY - Use a butterfly network, see Butterfly} SPARSE - Use a sparse preconditioner, c.f. (Mulders 2000) TOEPLITZ - Use a Toeplitz preconditioner, c.f. (Kaltofen and Saunders 1991) SYMMETRIZE - Use A^T A (Lanczos only) PARTIAL_DIAGONAL - Use AD, where D is a random nonsingular diagonal matrix (Lanczos only) PARTIAL_DIAGONAL_SYMMETRIZE - Use A^T D A, where D is a random nonsingular diagonal matrix (Lanczos only) FULL_DIAGONAL - Use D_1 A^T D_2 A D_1, where D_1 and D_2 are random nonsingular diagonal matrices (Lanczos only) DENSE (Dixon use)
Enumeration values:

NO_PRECONDITIONER

BUTTERFLY

SPARSE

TOEPLITZ

SYMMETRIZE

PARTIAL_DIAGONAL

PARTIAL_DIAGONAL_SYMMETRIZE

FULL_DIAGONAL

DENSE

anonymous enum

Whether the rank of the system is known (otherwise its value)
Enumeration values:

RANK_UNKNOWN

anonymous enum

Whether the system is known to be symmetric
Enumeration values:

SYMMETRIC

NON_SYMMETRIC

anonymous enum

Whether the probabilistic computation has to be certified Las-Vegas
Enumeration values:

CERTIFY

DONT_CERTIFY

enum PivotStrategy

Enumeration values:

PIVOT_LINEAR

PIVOT_NONE

Constructor & Destructor Documentation

Specifier ( ) [inline]

Specifier ( const Specifier & s ) [inline]

Member Function Documentation

Preconditioner preconditioner ( ) const [inline]

Accessors
These functions just return the corresponding parameters from the structure

size_t rank ( ) const [inline]

SingularState singular ( ) const [inline]

bool symmetric ( ) const [inline]

bool certificate ( ) const [inline]

unsigned long maxTries ( ) const [inline]

unsigned long earlyTermThreshold ( ) const [inline]

unsigned long blockingFactor ( ) const [inline]

PivotStrategy strategy ( ) const [inline]

double trustability ( ) const [inline]

void preconditioner ( Preconditioner p ) [inline]

Manipulators
These functions allow on-the-fly modification of a SolverTraits structure. Note that it is guaranteed that your SolverTraits structure will not be modified during solve}.