partial specialization of p-adic based solver with a hybrid Numeric/Symbolic computation More...
#include <rational-solver.h>
Static Public Member Functions | |
static double | cblas_dOOnorm (const double *M, int m, int n) |
static double | cblas_dmax (const int N, const double *a, const int inc) |
static int | cblas_hbound (integer &b, int m, int n, const double *M) |
partial specialization of p-adic based solver with a hybrid Numeric/Symbolic computation
See the following reference for details on this implementation:
static double cblas_dOOnorm | ( | const double * | M, | |
int | m, | |||
int | n | |||
) | [inline, static] |
Compute the OO-norm of a mtrix
static double cblas_dmax | ( | const int | N, | |
const double * | a, | |||
const int | inc | |||
) | [inline, static] |
compute the maximam of absolute value of an array
static int cblas_hbound | ( | integer & | b, | |
int | m, | |||
int | n, | |||
const double * | M | |||
) | [inline, static] |
compute the hadamard bound