My Project
|
solve linear systems and compute determinants of matrices More...
#include "config.h"
#include "cf_assert.h"
#include "debug.h"
#include "timing.h"
#include "cf_defs.h"
#include "cf_primes.h"
#include "canonicalform.h"
#include "cf_iter.h"
#include "cf_algorithm.h"
#include "ffops.h"
Go to the source code of this file.
Functions | |
TIMING_DEFINE_PRINT (det_mapping) TIMING_DEFINE_PRINT(det_determinant) TIMING_DEFINE_PRINT(det_chinese) TIMING_DEFINE_PRINT(det_bound) TIMING_DEFINE_PRINT(det_numprimes) static bool solve(int **extmat | |
int | determinant (int **extmat, int n) |
static CanonicalForm | bound (const CFMatrix &M) |
CanonicalForm | detbound (const CFMatrix &M, int rows) |
bool | matrix_in_Z (const CFMatrix &M, int rows) |
bool | matrix_in_Z (const CFMatrix &M) |
bool | betterpivot (const CanonicalForm &oldpivot, const CanonicalForm &newpivot) |
bool | linearSystemSolve (CFMatrix &M) |
static bool | fill_int_mat (const CFMatrix &M, int **m, int rows) |
CanonicalForm | determinant (const CFMatrix &M, int rows) |
CanonicalForm | determinant2 (const CFMatrix &M, int rows) |
bool | solve (int **extmat, int nrows, int ncols) |
void | solveVandermondeT (const CFArray &a, const CFArray &w, CFArray &x, const Variable &z) |
Variables | |
int | nrows |
int int | ncols |
VAR bool | fuzzy_result |
solve linear systems and compute determinants of matrices
Definition in file cf_linsys.cc.
bool betterpivot | ( | const CanonicalForm & | oldpivot, |
const CanonicalForm & | newpivot | ||
) |
Definition at line 61 of file cf_linsys.cc.
|
static |
Definition at line 460 of file cf_linsys.cc.
CanonicalForm detbound | ( | const CFMatrix & | M, |
int | rows | ||
) |
Definition at line 486 of file cf_linsys.cc.
CanonicalForm determinant | ( | const CFMatrix & | M, |
int | rows | ||
) |
Definition at line 222 of file cf_linsys.cc.
int determinant | ( | int ** | extmat, |
int | n | ||
) |
Definition at line 556 of file cf_linsys.cc.
CanonicalForm determinant2 | ( | const CFMatrix & | M, |
int | rows | ||
) |
Definition at line 323 of file cf_linsys.cc.
Definition at line 203 of file cf_linsys.cc.
bool linearSystemSolve | ( | CFMatrix & | M | ) |
Definition at line 78 of file cf_linsys.cc.
bool solve | ( | int ** | extmat, |
int | nrows, | ||
int | ncols | ||
) |
Definition at line 504 of file cf_linsys.cc.
Definition at line 594 of file cf_linsys.cc.
TIMING_DEFINE_PRINT | ( | det_mapping | ) |
VAR bool fuzzy_result |
Definition at line 75 of file cf_linsys.cc.
int int ncols |
Definition at line 32 of file cf_linsys.cc.
int nrows |
Definition at line 32 of file cf_linsys.cc.