slufactor_rational.cpp
Go to the documentation of this file.
342 << " Time spent : " << std::setw(10) << std::fixed << std::setprecision(2) << getFactorTime() << std::endl 975 // the last factorization was reasonably stable, so we decrease the Markowitz threshold (stored in lastThreshold) in 979 // we reset lastThreshold to its previous value in the sequence minThreshold, betterThreshold(minThreshold), 990 // we reset the minimum stability (which might have been decreased below) to ensure that the increased sparsity
int * max maximum available nonzeros per colunn: start[i] + max[i] == start[elem[i].next->idx] len[i] <= max[i]... Definition: clufactor_rational.h:151 void reDim(int newdim, const bool setZero=true) Resets DVectorBase's dimension to newdim. Definition: dvectorbase.h:249 No matrix has yet been loaded. Definition: slinsolver_rational.h:62 Implementation of Sparse Linear Solver with Rational precision.This class implements a SLinSolverRati... Definition: slufactor_rational.h:42 Memory allocation routines. SSVectorBase< R > & assign(const SVectorBase< S > &rhs) Assigns only the elements of rhs. Definition: basevectors.h:818 int * max maximum available nonzeros per row: start[i] + max[i] == start[elem[i].next->idx] len[i] <= max[i]... Definition: clufactor_rational.h:131 Dring list Double linked ringlist of vector indices in the order they appear in the column file. Definition: clufactor_rational.h:139 struct soplex::CLUFactorRational::U::Col col void changeEta(int idx, SSVectorRational &eta) Definition: slufactor_rational.cpp:349 Exception classes for SoPlex. Implementation of Sparse Linear Solver with Rational precision. void update(int p_col, Rational *p_work, const int *p_idx, int num) Definition: clufactor_rational.cpp:1254 void factor(const SVectorRational **vec, const Rational &threshold) pivoting threshold Definition: clufactor_rational.cpp:2752 Wrapper for GMP type mpq_class.We wrap mpq_class so that we can replace it by a double type if GMP is... Definition: rational.h:45 int vSolveLeft(Rational *vec, int *idx, Rational *rhs, int *ridx, int rn) Definition: clufactor_rational.cpp:5923 DVectorRational val hold nonzero values: this is only initialized in the end of the factorization with DEFAULT updates... Definition: clufactor_rational.h:146 void solveLright(Rational *vec) Definition: clufactor_rational.cpp:3284 void assign(const SLUFactorRational &old) used to implement the assignment operator Definition: slufactor_rational.cpp:492 Wrapper for different output streams and verbosity levels. void solveRight(Rational *vec, Rational *rhs) Definition: clufactor_rational.cpp:3548 Exception class for out of memory exceptions.This class is derived from the SoPlex exception base cla... Definition: exceptions.h:70 virtual void start()=0 start timer, resume accounting user, system and real time. Sparse Linear Solver virtual base class with Rational precision.Class SLinSolverRational provides a c... Definition: slinsolver_rational.h:43 Rational minStability minimum stability to achieve by setting threshold. Definition: slufactor_rational.h:86 int vSolveRight4update(Rational *vec, int *idx, Rational *rhs, int *ridx, int rn, Rational *forest, int *forestNum, int *forestIdx) Definition: clufactor_rational.cpp:5563 int vSolveLeft2(Rational *vec, int *idx, Rational *rhs, int *ridx, int rn, Rational *vec2, Rational *rhs2, int *ridx2, int rn2) Definition: clufactor_rational.cpp:5947 void solveLeft(Rational *vec, Rational *rhs) Definition: clufactor_rational.cpp:4163 Wrapper for GMP types. void solveRight(VectorRational &x, const VectorRational &b) Solves . Definition: slufactor_rational.cpp:42 Dring list Double linked ringlist of vector indices in the order they appear in the row file. Definition: clufactor_rational.h:122 void solveRight4update(SSVectorRational &x, const SVectorRational &b) Solves . Definition: slufactor_rational.cpp:67 SSVectorRational forest ? Update vector set up by solveRight4update() and solve2right4update() Definition: slufactor_rational.h:76 std::string statistics() const Definition: slufactor_rational.cpp:338 Rational stability() const Definition: slufactor_rational.cpp:326 static Timer * createTimer(Timer::TYPE ttype) create timers and allocate memory for them Definition: timerfactory.h:43 Status load(const SVectorRational *vec[], int dim) Definition: slufactor_rational.cpp:928 Debugging, floating point type and parameter definitions. void setSize(int n) Sets number of nonzeros (thereby unSetup SSVectorBase). Definition: ssvectorbase.h:553 Status change(int idx, const SVectorRational &subst, const SSVectorRational *eta=0) Definition: slufactor_rational.cpp:358 void setup_and_assign(SSVectorBase< S > &rhs) Sets up rhs vector, and assigns it. Definition: ssvectorbase.h:690 Implementation of sparse LU factorization with Rational precision.This class implements a sparse LU f... Definition: clufactor_rational.h:39 Everything should be within this namespace. struct soplex::CLUFactorRational::U::Row row int vSolveLeft3(Rational *vec, int *idx, Rational *rhs, int *ridx, int rn, Rational *vec2, Rational *rhs2, int *ridx2, int rn2, Rational *vec3, Rational *rhs3, int *ridx3, int rn3) Definition: clufactor_rational.cpp:5975 void forestUpdate(int col, Rational *work, int num, int *nonz) Performs the Forrest-Tomlin update of the LU factorization. Definition: clufactor_rational.cpp:691 void solve3right4update(SSVectorRational &x, VectorRational &y, VectorRational &z, const SVectorRational &b, SSVectorRational &d, SSVectorRational &e) Solves , and . Definition: slufactor_rational.cpp:154 int vSolveRight4update2(Rational *vec, int *idx, Rational *rhs, int *ridx, int rn, Rational *vec2, Rational *rhs2, int *ridx2, int rn2, Rational *forest, int *forestNum, int *forestIdx) Definition: clufactor_rational.cpp:5629 #define MAXUPDATES maximum nr. of factorization updates allowed before refactorization. Definition: slufactor.h:33 bool isConsistent() const Definition: clufactor_rational.cpp:2941 SLUFactorRational & operator=(const SLUFactorRational &old) assignment operator. Definition: slufactor_rational.cpp:670 VectorBase< R > & assign(const SVectorBase< S > &vec) Assign values of vec. Definition: basevectors.h:80 void updateNoClear(int p_col, const Rational *p_work, const int *p_idx, int num) Definition: clufactor_rational.cpp:1296 std::string rationalToString(const Rational &r, const int precision) convert rational number to string Definition: rational.cpp:3468 int * idx array of length val.dim() to hold column indices of nonzeros in val Definition: clufactor_rational.h:128 void solveLeft(VectorRational &x, const VectorRational &b) Solves . Definition: slufactor_rational.cpp:209 int vSolveRight4update3(Rational *vec, int *idx, Rational *rhs, int *ridx, int rn, Rational *vec2, Rational *rhs2, int *ridx2, int rn2, Rational *vec3, Rational *rhs3, int *ridx3, int rn3, Rational *forest, int *forestNum, int *forestIdx) Definition: clufactor_rational.cpp:5740 void solve2right4update(SSVectorRational &x, VectorRational &y, const SVectorRational &b, SSVectorRational &d) Solves and . Definition: slufactor_rational.cpp:105 |