linbox
t-rdisolve.C File Reference
#include "givaro/modular.h"
#include "givaro/zring.h"
#include "linbox/blackbox/diagonal.h"
#include "linbox/algorithms/rational-solver.h"
#include "linbox/algorithms/vector-fraction.h"
#include "linbox/algorithms/diophantine-solver.h"
#include <iostream>
#include <fstream>
#include "linbox/randiter/gmp-random-prime.h"
#include "linbox/field/archetype.h"
#include "linbox/vector/vector-domain.h"
#include <vector>

Macros

#define LIFTING_PROGRESS
 
#define RSTIMING
 
#define random_01()
 

Functions

template<class Ring, class Field>
int test ()
 
template<class Field>
int fieldTest ()
 
void testAllFields ()
 
void genTestData ()
 
int main (int argc, char **argv)
 

Variables

int n = 5
 
int c = 5
 
int defaultPrime = 0
 
int primeBits = 14
 
int numPrimes = 1
 
bool useDeterm = true
 
bool useRandom = false
 
bool useDiophantine = false
 
int printStuff = 0
 
int showTiming = 0
 
bool useFiles = false
 
bool sparseMatrix = false
 
integer eBoundCmd = 1000
 
double singularProportion = 0
 
bool inconsistent = false
 
int useTimer = true
 
int entrySeed = 12345
 
int trials = 1
 
int destroyColumns = 0
 
bool testPidDouble = false
 
int levelAsInt = (int)SL_CERTIFIED
 
int trialCount =0
 
integerAentries
 
integerbentries
 

Macro Definition Documentation

◆ LIFTING_PROGRESS

#define LIFTING_PROGRESS

◆ RSTIMING

#define RSTIMING

◆ random_01

#define random_01 ( )
Value:
((double)rand() / ((double)(RAND_MAX)+1))

Function Documentation

◆ test()

template<class Ring, class Field>
int test ( )

◆ fieldTest()

template<class Field>
int fieldTest ( )

◆ testAllFields()

void testAllFields ( )

◆ genTestData()

void genTestData ( )

◆ main()

int main ( int argc,
char ** argv )

Variable Documentation

◆ n

int n = 5

◆ c

int c = 5

◆ defaultPrime

int defaultPrime = 0

◆ primeBits

int primeBits = 14

◆ numPrimes

int numPrimes = 1

◆ useDeterm

bool useDeterm = true

◆ useRandom

bool useRandom = false

◆ useDiophantine

bool useDiophantine = false

◆ printStuff

int printStuff = 0

◆ showTiming

int showTiming = 0

◆ useFiles

bool useFiles = false

◆ sparseMatrix

bool sparseMatrix = false

◆ eBoundCmd

integer eBoundCmd = 1000

◆ singularProportion

double singularProportion = 0

◆ inconsistent

bool inconsistent = false

◆ useTimer

int useTimer = true

◆ entrySeed

int entrySeed = 12345

◆ trials

int trials = 1

◆ destroyColumns

int destroyColumns = 0

◆ testPidDouble

bool testPidDouble = false

◆ levelAsInt

int levelAsInt = (int)SL_CERTIFIED

◆ trialCount

int trialCount =0

◆ Aentries

integer* Aentries

◆ bentries

integer* bentries