linbox
|
IML wrapper. More...
#include <methods.h>
Inherits Specifier.
Public Types | |
enum | SingularState |
Whether the system is known to be singular or nonsingular. | |
enum | Preconditioner |
Which preconditioner to use to ensure generic rank profile. More... | |
enum | BlackboxShape |
Other shapes : UNIMOD_UT – unimodular upper triang. More... | |
enum | |
Whether the rank of the system is known (otherwise its value) | |
enum | |
Whether the system is known to be symmetric. | |
enum | |
Whether the probabilistic computation has to be certified Las-Vegas. | |
enum | PivotStrategy |
Linear-time pivoting or not for eliminations. | |
typedef InheritEnum < BlackboxShape, Preconditioner > | Shape |
Shape of a Blackbox Precontioner shapes and other blackbox shape are combined. | |
Public Member Functions | |
IMLTraits (const IMLNonSing &imlroutine, bool withRNS=false) | |
Constructor. More... | |
IMLTraits (const IMLCertSolv &imlroutine2, bool certify=DONT_CERTIFY, bool reduce=false, unsigned int nullcolred=10) | |
Constructor. More... | |
IMLTraits (const Specifier &S) | |
Preconditioner | preconditioner () const |
Accessors. More... | |
void | preconditioner (Preconditioner p) |
Manipulators. More... | |
IML wrapper.
IML proposes 2 system solving kinds:
enable multi-vectors.
enable right/left solving.
be input aware (long/Integer)
|
inherited |
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)
|
inherited |
|
inline |
|
inline |
Constructor.
imlroutine2 | 2 -> certified |
certify | |
reduce | reduce the result ? |
nullcolred | look at IML doc. |
|
inlineinherited |
Accessors.
These functions just return the corresponding parameters from the structure
|
inlineinherited |
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.