#include <rational-solver.h>
The following type are abstract in the implementation and can be change during the instanciation of the class:
Public Member Functions | |
template<class IMatrix, class Vector1, class Vector2> SolverReturnStatus | solve (Vector1 &num, Integer &den, const IMatrix &A, const Vector2 &b, const bool, int maxPrimes=DEFAULT_MAXPRIMES) const |
Solve a linear system Ax=b over quotient field of a ring giving a random solution if the system is singular and consistent. giving the unique solution if the system is non-singular. | |
template<class IMatrix, class Vector1, class Vector2> SolverReturnStatus | solveNonsingular (Vector1 &num, Integer &den, const IMatrix &A, const Vector2 &b, int maxPrimes=DEFAULT_MAXPRIMES) const |
Solve a nonsingular linear system Ax=b over quotient field of a ring. giving the unique solution of the system. | |
template<class IMatrix, class Vector1, class Vector2> SolverReturnStatus | solveSingular (Vector1 &num, Integer &den, const IMatrix &A, const Vector2 &b, int maxPrimes=DEFAULT_MAXPRIMES) const |
Solve a singular linear system Ax=b over quotient field of a ring. giving a random solution if the system is singular and consistent. |
|
Solve a linear system Ax=b over quotient field of a ring giving a random solution if the system is singular and consistent. giving the unique solution if the system is non-singular.
|
|
Solve a nonsingular linear system Ax=b over quotient field of a ring. giving the unique solution of the system.
|
|
Solve a singular linear system Ax=b over quotient field of a ring. giving a random solution if the system is singular and consistent.
|