|
linbox
|
BlockWiedemannSolverMethod::Coppersmith [
, not tested]
CoppersmithSolverMethod::Lanczos
LanczosSolverMethod::BlockLanczos
MGBlockLanczosSolverMethod::SymbolicNumericOverlap
RationalSolverSN<Ring, LPS<FMatrix>> | - Otherwise > ErrorMethod::SymbolicNumericNorm
DixonSolver<..., Method::SymbolicNumericNorm>