Inherits Specifier.
|
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.
|
|
Solver traits.
User-specified parameters for solving a linear system.
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)