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)
