Implementation of sparse LU factorization with Rational precision.This class implements a sparse LU factorization with either FOREST-TOMLIN or ETA updates, using dynamic Markowitz pivoting. More...

#include <clufactor_rational.h>

Classes
struct	Dring

struct	L
	Data structures for saving the working matrix and L factor. More...

struct	Perm
	Data structures for saving the row and column permutations. More...

class	Pring
	Pivot Ring. More...

class	Temp
	Temporary data structures. More...

struct	U
	Data structures for saving the working matrix and U factor. More...

Protected Member Functions
Solver methods
void	solveLright (Rational *vec)

int	solveRight4update (Rational vec, int nonz, Rational rhs, Rational forest, int forestNum, int forestIdx)

void	solveRight (Rational vec, Rational rhs)

int	solveRight2update (Rational vec1, Rational vec2, Rational rhs1, Rational rhs2, int nonz, Rational forest, int forestNum, int forestIdx)

void	solveRight2 (Rational vec1, Rational vec2, Rational rhs1, Rational rhs2)

void	solveLeft (Rational vec, Rational rhs)

int	solveLeftEps (Rational vec, Rational rhs, int *nonz)

int	solveLeft2 (Rational vec1, int nonz, Rational vec2, Rational rhs1, Rational *rhs2)

int	vSolveRight4update (Rational vec, int idx, Rational rhs, int ridx, int rn, Rational forest, int forestNum, int *forestIdx)

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)

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)

void	vSolveRightNoNZ (Rational vec2, Rational rhs2, int *ridx2, int rn2)

int	vSolveLeft (Rational vec, int idx, Rational rhs, int ridx, int rn)

void	vSolveLeftNoNZ (Rational vec, Rational rhs, int *ridx, int rn)

int	vSolveLeft2 (Rational vec, int idx, Rational rhs, int ridx, int rn, Rational vec2, Rational rhs2, int *ridx2, int rn2)

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)

void	forestUpdate (int col, Rational work, int num, int nonz)
	Performs the Forrest-Tomlin update of the LU factorization. More...

void	update (int p_col, Rational p_work, const int p_idx, int num)

void	updateNoClear (int p_col, const Rational p_work, const int p_idx, int num)

void	factor (const SVectorRational **vec, const Rational &threshold)
	pivoting threshold More...

Debugging
void	dump () const

bool	isConsistent () const

Protected Attributes
Protected data
SLinSolverRational::Status	stat
	Status indicator. More...

int	thedim
	dimension of factorized matrix More...

int	nzCnt
	number of nonzeros in U More...

Rational	initMaxabs
	maximum abs number in initail Matrix More...

Rational	maxabs
	maximum abs number in L and U More...

Real	rowMemMult
	factor of minimum Memory * number of nonzeros More...

Real	colMemMult
	factor of minimum Memory * number of nonzeros More...

Real	lMemMult
	factor of minimum Memory * number of nonzeros More...

Perm	row
	row permutation matrices More...

Perm	col
	column permutation matrices More...

L	l
	L matrix. More...

DVectorRational	diag
	Array of pivot elements. More...

U	u
	U matrix. More...

Rational *	work
	Working array: must always be left as 0! More...

Timer *	factorTime
	Time spent in factorizations. More...

int	factorCount
	Number of factorizations. More...

Real	timeLimit
	Time limit on factorization or solves. More...

Private Member Functions
Solving
These helper methods are used during the factorization process. The solve*-methods solve lower and upper triangular systems from the left or from the right, respectively The methods with '2' in the end solve two systems at the same time. The methods with "Eps" in the end consider elements smaller then the passed epsilon as zero.
void	solveUright (Rational wrk, Rational vec)

int	solveUrightEps (Rational vec, int nonz, Rational *rhs)

void	solveUright2 (Rational work1, Rational vec1, Rational work2, Rational vec2)

int	solveUright2eps (Rational work1, Rational vec1, Rational work2, Rational vec2, int *nonz)

void	solveLright2 (Rational vec1, Rational vec2)

void	solveUpdateRight (Rational *vec)

void	solveUpdateRight2 (Rational vec1, Rational vec2)

void	solveUleft (Rational work, Rational vec)

void	solveUleft2 (Rational work1, Rational vec1, Rational work2, Rational vec2)

int	solveLleft2forest (Rational vec1, int , Rational *vec2)

void	solveLleft2 (Rational vec1, int , Rational *vec2)

int	solveLleftForest (Rational vec, int )

void	solveLleft (Rational *vec)

int	solveLleftEps (Rational vec, int nonz)

void	solveUpdateLeft (Rational *vec)

void	solveUpdateLeft2 (Rational vec1, Rational vec2)

int	vSolveLright (Rational vec, int ridx, int rn)

void	vSolveLright2 (Rational vec, int ridx, int rnptr, Rational vec2, int ridx2, int rn2ptr)

void	vSolveLright3 (Rational vec, int ridx, int rnptr, Rational vec2, int ridx2, int rn2ptr, Rational vec3, int ridx3, int *rn3ptr)

int	vSolveUright (Rational vec, int vidx, Rational rhs, int ridx, int rn)

void	vSolveUrightNoNZ (Rational vec, Rational rhs, int *ridx, int rn)

int	vSolveUright2 (Rational vec, int vidx, Rational rhs, int ridx, int rn, Rational vec2, Rational rhs2, int *ridx2, int rn2)

int	vSolveUpdateRight (Rational vec, int ridx, int n)

void	vSolveUpdateRightNoNZ (Rational *vec)

int	solveUleft (Rational vec, int vecidx, Rational rhs, int rhsidx, int rhsn)

void	solveUleftNoNZ (Rational vec, Rational rhs, int *rhsidx, int rhsn)

int	solveLleftForest (Rational vec, int nonz, int n)

void	solveLleftForestNoNZ (Rational *vec)

int	solveLleft (Rational vec, int nonz, int rn)

void	solveLleftNoNZ (Rational *vec)

int	solveUpdateLeft (Rational vec, int nonz, int n)

void	forestPackColumns ()

void	forestMinColMem (int size)

void	forestReMaxCol (int col, int len)

void	initPerm ()

void	initFactorMatrix (const SVectorRational **vec)

void	minLMem (int size)

void	setPivot (const int p_stage, const int p_col, const int p_row, const Rational &val)

void	colSingletons ()

void	rowSingletons ()

void	initFactorRings ()

void	freeFactorRings ()

int	setupColVals ()

void	setupRowVals ()

void	eliminateRowSingletons ()

void	eliminateColSingletons ()

void	selectPivots (const Rational &threshold)

int	updateRow (int r, int lv, int prow, int pcol, const Rational &pval)

void	eliminatePivot (int prow, int pos)

void	eliminateNucleus (const Rational &threshold)

void	minRowMem (int size)

void	minColMem (int size)

void	remaxCol (int p_col, int len)

void	packRows ()

void	packColumns ()

void	remaxRow (int p_row, int len)

int	makeLvec (int p_len, int p_row)

bool	timeLimitReached ()

Private Attributes
Private data
Temp	temp
	Temporary storage. More...

Detailed Description

Implementation of sparse LU factorization with Rational precision.

This class implements a sparse LU factorization with either FOREST-TOMLIN or ETA updates, using dynamic Markowitz pivoting.

Definition at line 39 of file clufactor_rational.h.

Member Function Documentation

◆ colSingletons()

void colSingletons ( )

private

◆ dump()

◆ eliminateColSingletons()

void eliminateColSingletons ( )

private

◆ eliminateNucleus()

void eliminateNucleus ( const Rational & threshold )

private

Definition at line 2500 of file clufactor_rational.cpp.

Referenced by CLUFactorRational::factor().

◆ eliminatePivot()

void eliminatePivot	(	int	prow,
		int	pos
	)

private

Todo:: If this test failes, lv has no value. I suppose that in this case none of the loops below that uses lv is executed. But this is unproven.

Definition at line 2404 of file clufactor_rational.cpp.

Referenced by CLUFactorRational::eliminateNucleus().

◆ eliminateRowSingletons()

void eliminateRowSingletons ( )

private

Definition at line 1850 of file clufactor_rational.cpp.

Referenced by CLUFactorRational::eliminateNucleus().

◆ factor()

void factor	(	const SVectorRational **	vec,
		const Rational &	threshold
	)

protected

pivoting threshold

Parameters

vec	Array of column vector pointers
threshold	pivoting threshold

Definition at line 2746 of file clufactor_rational.cpp.

Referenced by SLUFactorRational::load(), and CLUFactorRational::timeLimitReached().

◆ forestMinColMem()

void forestMinColMem ( int size )

private

Definition at line 2885 of file clufactor_rational.cpp.

References CLUFactorRational::U::col, CLUFactorRational::U::Col::idx, DVectorBase< R >::reDim(), CLUFactorRational::U::Col::size, soplex::spx_realloc(), CLUFactorRational::u, and CLUFactorRational::U::Col::val.

Referenced by CLUFactorRational::forestReMaxCol().

◆ forestPackColumns()

void forestPackColumns ( )

private

Definition at line 346 of file clufactor_rational.cpp.

References CLUFactorRational::U::col, CLUFactorRational::Dring::idx, CLUFactorRational::U::Col::idx, CLUFactorRational::U::Col::len, CLUFactorRational::U::Col::list, CLUFactorRational::U::Col::max, CLUFactorRational::Dring::next, CLUFactorRational::U::Col::start, CLUFactorRational::thedim, CLUFactorRational::u, CLUFactorRational::U::Col::used, and CLUFactorRational::U::Col::val.

Referenced by CLUFactorRational::forestReMaxCol().

◆ forestReMaxCol()

void forestReMaxCol	(	int	col,
		int	len
	)

private

◆ forestUpdate()

void forestUpdate	(	int	p_col,
		Rational *	p_work,
		int	num,
		int *	nonz
	)

protected

Performs the Forrest-Tomlin update of the LU factorization.

BH: I suppose this is implemented as described in UH Suhl, LM Suhl: A fast LU update for linear programming, Annals of OR 43, p. 33-47, 1993.

Parameters

p_col	Index of basis column to replace.
p_work	Dense vector to substitute in the basis.
num	Number of nonzeros in vector represented by p_work.
nonz	Indices of nonzero elements in vector p_work.

The parameters num and nonz are used for the following optimization: If both are nonzero, indices of the nonzero elements provided in nonz (num giving their number) allow to access only those nonzero entries. Otherwise we have to go through the entire dense vector element by element.

After copying p_work into U, p_work is used to expand the row r, which is needed to restore the triangular structure of U.

Also num and nonz are used to maintain a heap if there are only very few nonzeros to be eliminated. This is plainly wrong if the method is called with nonz==0, see todo at the corresponding place below.

Exceptions

SPxStatusException if the loaded matrix is singular

Todo:: Use an extra member variable as a buffer for working with the dense row instead of misusing p_work. I think that should be as efficient and much cleaner.

The following assert is obviously violated if this method is called with nonzero==0.

Todo:: Use an extra member variable as a buffer for the heap instead of misusing nonz and num. The method enQueueMin() seems to sort the nonzeros or something, for which it only needs some empty vector of size num.

Definition at line 692 of file clufactor_rational.cpp.

Referenced by SLUFactorRational::change(), and CLUFactorRational::timeLimitReached().

◆ freeFactorRings()

void freeFactorRings ( void )

private

Definition at line 1829 of file clufactor_rational.cpp.

References CLUFactorRational::Temp::pivot_col, CLUFactorRational::Temp::pivot_colNZ, CLUFactorRational::Temp::pivot_row, CLUFactorRational::Temp::pivot_rowNZ, soplex::spx_free(), and CLUFactorRational::temp.

Referenced by CLUFactorRational::factor().

◆ initFactorMatrix()

void initFactorMatrix ( const SVectorRational ** vec )

private

Definition at line 1364 of file clufactor_rational.cpp.

Referenced by CLUFactorRational::factor().

◆ initFactorRings()

void initFactorRings ( )

private

◆ initPerm()

void initPerm ( )

private

Definition at line 257 of file clufactor_rational.cpp.

References CLUFactorRational::col, CLUFactorRational::Perm::orig, CLUFactorRational::Perm::perm, CLUFactorRational::row, and CLUFactorRational::thedim.

Referenced by CLUFactorRational::factor().

◆ isConsistent()

bool isConsistent ( ) const

protected

Definition at line 2936 of file clufactor_rational.cpp.

Referenced by CLUFactorRational::forestUpdate(), SLUFactorRational::isConsistent(), and CLUFactorRational::timeLimitReached().

◆ makeLvec()

int makeLvec	(	int	p_len,
		int	p_row
	)

private

Definition at line 2908 of file clufactor_rational.cpp.

References VectorBase< R >::dim(), CLUFactorRational::L::firstUnused, CLUFactorRational::l, CLUFactorRational::minLMem(), CLUFactorRational::L::row, soplex::spx_realloc(), CLUFactorRational::L::start, CLUFactorRational::L::startSize, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::eliminatePivot(), CLUFactorRational::eliminateRowSingletons(), CLUFactorRational::forestUpdate(), CLUFactorRational::rowSingletons(), CLUFactorRational::update(), and CLUFactorRational::updateNoClear().

◆ minColMem()

void minColMem ( int size )

private

Definition at line 2875 of file clufactor_rational.cpp.

References CLUFactorRational::U::col, CLUFactorRational::U::Col::idx, CLUFactorRational::U::Col::size, soplex::spx_realloc(), and CLUFactorRational::u.

Referenced by CLUFactorRational::initFactorMatrix(), and CLUFactorRational::remaxCol().

◆ minLMem()

void minLMem ( int size )

private

Definition at line 2896 of file clufactor_rational.cpp.

References VectorBase< R >::dim(), CLUFactorRational::L::idx, CLUFactorRational::l, DVectorBase< R >::reDim(), soplex::spx_realloc(), and CLUFactorRational::L::val.

Referenced by CLUFactorRational::initFactorMatrix(), and CLUFactorRational::makeLvec().

◆ minRowMem()

void minRowMem ( int size )

private

Definition at line 2860 of file clufactor_rational.cpp.

References VectorBase< R >::dim(), CLUFactorRational::U::Row::idx, DVectorBase< R >::reDim(), CLUFactorRational::U::row, soplex::spx_realloc(), CLUFactorRational::u, and CLUFactorRational::U::Row::val.

Referenced by CLUFactorRational::initFactorMatrix(), and CLUFactorRational::remaxRow().

◆ packColumns()

void packColumns ( )

private

Definition at line 476 of file clufactor_rational.cpp.

References CLUFactorRational::U::col, CLUFactorRational::Dring::idx, CLUFactorRational::U::Col::idx, CLUFactorRational::U::Col::len, CLUFactorRational::U::Col::list, CLUFactorRational::U::Col::max, CLUFactorRational::Dring::next, CLUFactorRational::U::Col::start, CLUFactorRational::thedim, CLUFactorRational::u, and CLUFactorRational::U::Col::used.

Referenced by CLUFactorRational::remaxCol().

◆ packRows()

void packRows ( )

private

Definition at line 288 of file clufactor_rational.cpp.

References CLUFactorRational::Dring::idx, CLUFactorRational::U::Row::idx, CLUFactorRational::U::Row::len, CLUFactorRational::U::Row::list, CLUFactorRational::U::Row::max, CLUFactorRational::Dring::next, CLUFactorRational::U::row, CLUFactorRational::U::Row::start, CLUFactorRational::thedim, CLUFactorRational::u, CLUFactorRational::U::Row::used, and CLUFactorRational::U::Row::val.

Referenced by CLUFactorRational::remaxRow().

◆ remaxCol()

void remaxCol	(	int	p_col,
		int	len
	)

private

◆ remaxRow()

void remaxRow	(	int	p_row,
		int	len
	)

private

◆ rowSingletons()

void rowSingletons ( )

private

◆ selectPivots()

void selectPivots ( const Rational & threshold )

private

Definition at line 2048 of file clufactor_rational.cpp.

Referenced by CLUFactorRational::eliminateNucleus().

◆ setPivot()

void setPivot	(	const int	p_stage,
		const int	p_col,
		const int	p_row,
		const Rational &	val
	)

private

Definition at line 266 of file clufactor_rational.cpp.

References CLUFactorRational::col, CLUFactorRational::diag, CLUFactorRational::maxabs, CLUFactorRational::Perm::orig, CLUFactorRational::Perm::perm, CLUFactorRational::row, and soplex::spxAbs().

Referenced by CLUFactorRational::colSingletons(), CLUFactorRational::eliminateColSingletons(), CLUFactorRational::eliminateNucleus(), CLUFactorRational::eliminatePivot(), CLUFactorRational::eliminateRowSingletons(), CLUFactorRational::initFactorMatrix(), and CLUFactorRational::rowSingletons().

◆ setupColVals()

int setupColVals ( )

private

Definition at line 2587 of file clufactor_rational.cpp.

Referenced by CLUFactorRational::factor().

◆ setupRowVals()

void setupRowVals ( )

private

Referenced by CLUFactorRational::factor(), and CLUFactorRational::setupColVals().

◆ solveLeft()

void solveLeft	(	Rational *	vec,
		Rational *	rhs
	)

protected

Definition at line 4148 of file clufactor_rational.cpp.

References CLUFactorRational::l, CLUFactorRational::solveLleft(), CLUFactorRational::solveLleftForest(), CLUFactorRational::solveUleft(), CLUFactorRational::solveUpdateLeft(), and CLUFactorRational::L::updateType.

Referenced by SLUFactorRational::solveLeft(), and CLUFactorRational::timeLimitReached().

◆ solveLeft2()

int solveLeft2	(	Rational *	vec1,
		int *	nonz,
		Rational *	vec2,
		Rational *	rhs1,
		Rational *	rhs2
	)

protected

Definition at line 4182 of file clufactor_rational.cpp.

References CLUFactorRational::l, CLUFactorRational::solveLleft2(), CLUFactorRational::solveLleft2forest(), CLUFactorRational::solveUleft2(), CLUFactorRational::solveUpdateLeft2(), and CLUFactorRational::L::updateType.

Referenced by CLUFactorRational::timeLimitReached().

◆ solveLeftEps()

int solveLeftEps	(	Rational *	vec,
		Rational *	rhs,
		int *	nonz
	)

protected

Definition at line 4165 of file clufactor_rational.cpp.

References CLUFactorRational::l, CLUFactorRational::solveLleftEps(), CLUFactorRational::solveLleftForest(), CLUFactorRational::solveUleft(), CLUFactorRational::solveUpdateLeft(), and CLUFactorRational::L::updateType.

Referenced by CLUFactorRational::timeLimitReached().

◆ solveLleft() [1/2]

void solveLleft ( Rational * vec )

private

Definition at line 3906 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::rbeg, CLUFactorRational::L::ridx, CLUFactorRational::L::rorig, CLUFactorRational::L::row, CLUFactorRational::L::rperm, CLUFactorRational::L::rval, CLUFactorRational::L::start, CLUFactorRational::thedim, CLUFactorRational::timeLimitReached(), and CLUFactorRational::L::val.

Referenced by CLUFactorRational::solveLeft(), CLUFactorRational::vSolveLeft(), CLUFactorRational::vSolveLeft2(), and CLUFactorRational::vSolveLeft3().

◆ solveLleft() [2/2]

int solveLleft	(	Rational *	vec,
		int *	nonz,
		int	rn
	)

private

Definition at line 4446 of file clufactor_rational.cpp.

References soplex::deQueueMax(), soplex::enQueueMax(), CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::rbeg, CLUFactorRational::L::ridx, CLUFactorRational::L::rorig, CLUFactorRational::L::row, CLUFactorRational::L::rperm, CLUFactorRational::L::rval, CLUFactorRational::L::start, CLUFactorRational::thedim, and CLUFactorRational::L::val.

◆ solveLleft2()

void solveLleft2	(	Rational *	vec1,
		int *	,
		Rational *	vec2
	)

private

Definition at line 3775 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::Perm::perm, CLUFactorRational::L::rbeg, CLUFactorRational::L::ridx, CLUFactorRational::L::rorig, CLUFactorRational::L::row, CLUFactorRational::row, CLUFactorRational::L::rval, CLUFactorRational::L::start, CLUFactorRational::thedim, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::solveLeft2().

◆ solveLleft2forest()

int solveLleft2forest	(	Rational *	vec1,
		int *	,
		Rational *	vec2
	)

private

Definition at line 3713 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::solveLeft2().

◆ solveLleftEps()

int solveLleftEps	(	Rational *	vec,
		int *	nonz
	)

private

Definition at line 3959 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::Perm::perm, CLUFactorRational::L::rbeg, CLUFactorRational::L::ridx, CLUFactorRational::L::rorig, CLUFactorRational::L::row, CLUFactorRational::row, CLUFactorRational::L::rval, CLUFactorRational::L::start, CLUFactorRational::thedim, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::solveLeftEps().

◆ solveLleftForest() [1/2]

int solveLleftForest	(	Rational *	vec,
		int *
	)

private

Definition at line 3873 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::timeLimitReached(), and CLUFactorRational::L::val.

Referenced by CLUFactorRational::solveLeft(), CLUFactorRational::solveLeftEps(), CLUFactorRational::vSolveLeft(), CLUFactorRational::vSolveLeft2(), and CLUFactorRational::vSolveLeft3().

◆ solveLleftForest() [2/2]

int solveLleftForest	(	Rational *	vec,
		int *	nonz,
		int	n
	)

private

Definition at line 4360 of file clufactor_rational.cpp.

References VectorBase< R >::dim(), CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::thedim, and CLUFactorRational::L::val.

◆ solveLleftForestNoNZ()

void solveLleftForestNoNZ ( Rational * vec )

private

Definition at line 4413 of file clufactor_rational.cpp.

References VectorBase< R >::dim(), CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::thedim, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::vSolveLeft2(), CLUFactorRational::vSolveLeft3(), and CLUFactorRational::vSolveLeftNoNZ().

◆ solveLleftNoNZ()

void solveLleftNoNZ ( Rational * vec )

private

Definition at line 4546 of file clufactor_rational.cpp.

References VectorBase< R >::dim(), CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::rbeg, CLUFactorRational::L::ridx, CLUFactorRational::L::rorig, CLUFactorRational::L::row, CLUFactorRational::L::rperm, CLUFactorRational::L::rval, CLUFactorRational::L::start, CLUFactorRational::thedim, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::vSolveLeft2(), CLUFactorRational::vSolveLeft3(), and CLUFactorRational::vSolveLeftNoNZ().

◆ solveLright()

void solveLright ( Rational * vec )

protected

Definition at line 3277 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, MSG_DEBUG, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::timeLimitReached(), CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

Referenced by SLUFactorRational::change(), CLUFactorRational::solveRight(), CLUFactorRational::solveRight4update(), and CLUFactorRational::timeLimitReached().

◆ solveLright2()

void solveLright2	(	Rational *	vec1,
		Rational *	vec2
	)

private

Definition at line 3340 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::solveRight2(), and CLUFactorRational::solveRight2update().

◆ solveRight()

void solveRight	(	Rational *	vec,
		Rational *	rhs
	)

protected

Definition at line 3538 of file clufactor_rational.cpp.

References CLUFactorRational::l, CLUFactorRational::solveLright(), CLUFactorRational::solveUpdateRight(), CLUFactorRational::solveUright(), and CLUFactorRational::L::updateType.

Referenced by SLUFactorRational::change(), SLUFactorRational::solveRight(), and CLUFactorRational::timeLimitReached().

◆ solveRight2()

void solveRight2	(	Rational *	vec1,
		Rational *	vec2,
		Rational *	rhs1,
		Rational *	rhs2
	)

protected

Definition at line 3582 of file clufactor_rational.cpp.

References CLUFactorRational::l, CLUFactorRational::solveLright2(), CLUFactorRational::solveUpdateRight2(), CLUFactorRational::solveUright2(), and CLUFactorRational::L::updateType.

Referenced by CLUFactorRational::timeLimitReached().

◆ solveRight2update()

int solveRight2update	(	Rational *	vec1,
		Rational *	vec2,
		Rational *	rhs1,
		Rational *	rhs2,
		int *	nonz,
		Rational *	forest,
		int *	forestNum,
		int *	forestIdx
	)

protected

Definition at line 3547 of file clufactor_rational.cpp.

References CLUFactorRational::l, CLUFactorRational::solveLright2(), CLUFactorRational::solveUpdateRight2(), CLUFactorRational::solveUright2(), CLUFactorRational::solveUright2eps(), CLUFactorRational::thedim, and CLUFactorRational::L::updateType.

Referenced by CLUFactorRational::timeLimitReached().

◆ solveRight4update()

int solveRight4update	(	Rational *	vec,
		int *	nonz,
		Rational *	rhs,
		Rational *	forest,
		int *	forestNum,
		int *	forestIdx
	)

protected

Definition at line 3509 of file clufactor_rational.cpp.

References CLUFactorRational::l, CLUFactorRational::solveLright(), CLUFactorRational::solveUpdateRight(), CLUFactorRational::solveUright(), CLUFactorRational::solveUrightEps(), CLUFactorRational::thedim, and CLUFactorRational::L::updateType.

Referenced by CLUFactorRational::timeLimitReached().

◆ solveUleft() [1/2]

void solveUleft	(	Rational *	work,
		Rational *	vec
	)

private

Definition at line 3600 of file clufactor_rational.cpp.

References CLUFactorRational::col, CLUFactorRational::diag, CLUFactorRational::U::Row::idx, CLUFactorRational::U::Row::len, CLUFactorRational::Perm::orig, CLUFactorRational::U::row, CLUFactorRational::row, CLUFactorRational::U::Row::start, CLUFactorRational::thedim, CLUFactorRational::timeLimitReached(), CLUFactorRational::u, and CLUFactorRational::U::Row::val.

Referenced by CLUFactorRational::solveLeft(), CLUFactorRational::solveLeftEps(), CLUFactorRational::vSolveLeft(), CLUFactorRational::vSolveLeft2(), and CLUFactorRational::vSolveLeft3().

◆ solveUleft() [2/2]

int solveUleft	(	Rational *	vec,
		int *	vecidx,
		Rational *	rhs,
		int *	rhsidx,
		int	rhsn
	)

private

Definition at line 4206 of file clufactor_rational.cpp.

References CLUFactorRational::col, soplex::deQueueMin(), CLUFactorRational::diag, VectorBase< R >::dim(), soplex::enQueueMin(), CLUFactorRational::U::Row::idx, CLUFactorRational::U::Row::len, CLUFactorRational::Perm::orig, CLUFactorRational::Perm::perm, CLUFactorRational::U::row, CLUFactorRational::row, CLUFactorRational::U::Row::start, CLUFactorRational::thedim, CLUFactorRational::u, and CLUFactorRational::U::Row::val.

◆ solveUleft2()

void solveUleft2	(	Rational *	work1,
		Rational *	vec1,
		Rational *	work2,
		Rational *	vec2
	)

private

Definition at line 3646 of file clufactor_rational.cpp.

References CLUFactorRational::col, CLUFactorRational::diag, CLUFactorRational::U::Row::idx, CLUFactorRational::U::Row::len, CLUFactorRational::Perm::orig, CLUFactorRational::U::row, CLUFactorRational::row, CLUFactorRational::U::Row::start, CLUFactorRational::thedim, CLUFactorRational::u, and CLUFactorRational::U::Row::val.

Referenced by CLUFactorRational::solveLeft2().

◆ solveUleftNoNZ()

void solveUleftNoNZ	(	Rational *	vec,
		Rational *	rhs,
		int *	rhsidx,
		int	rhsn
	)

private

◆ solveUpdateLeft() [1/2]

void solveUpdateLeft ( Rational * vec )

private

Definition at line 4024 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::solveLeft(), CLUFactorRational::solveLeftEps(), CLUFactorRational::vSolveLeft(), CLUFactorRational::vSolveLeft2(), CLUFactorRational::vSolveLeft3(), and CLUFactorRational::vSolveLeftNoNZ().

◆ solveUpdateLeft() [2/2]

int solveUpdateLeft	(	Rational *	vec,
		int *	nonz,
		int	n
	)

private

Definition at line 4092 of file clufactor_rational.cpp.

References VectorBase< R >::dim(), CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::thedim, CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

◆ solveUpdateLeft2()

void solveUpdateLeft2	(	Rational *	vec1,
		Rational *	vec2
	)

private

Definition at line 4055 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::solveLeft2().

◆ solveUpdateRight()

void solveUpdateRight ( Rational * vec )

private

Definition at line 3419 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::solveRight(), and CLUFactorRational::solveRight4update().

◆ solveUpdateRight2()

void solveUpdateRight2	(	Rational *	vec1,
		Rational *	vec2
	)

private

Definition at line 3451 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::solveRight2(), and CLUFactorRational::solveRight2update().

◆ solveUright()

void solveUright	(	Rational *	wrk,
		Rational *	vec
	)

private

Definition at line 3074 of file clufactor_rational.cpp.

References CLUFactorRational::U::col, CLUFactorRational::col, CLUFactorRational::diag, CLUFactorRational::U::Col::idx, CLUFactorRational::U::Col::len, CLUFactorRational::Perm::orig, CLUFactorRational::row, CLUFactorRational::U::Col::start, CLUFactorRational::thedim, CLUFactorRational::timeLimitReached(), CLUFactorRational::u, and CLUFactorRational::U::Col::val.

Referenced by CLUFactorRational::solveRight(), and CLUFactorRational::solveRight4update().

◆ solveUright2()

void solveUright2	(	Rational *	work1,
		Rational *	vec1,
		Rational *	work2,
		Rational *	vec2
	)

private

Definition at line 3139 of file clufactor_rational.cpp.

References CLUFactorRational::U::col, CLUFactorRational::col, CLUFactorRational::diag, CLUFactorRational::U::Col::idx, CLUFactorRational::U::Col::len, CLUFactorRational::Perm::orig, CLUFactorRational::row, CLUFactorRational::U::Col::start, CLUFactorRational::thedim, CLUFactorRational::u, and CLUFactorRational::U::Col::val.

Referenced by CLUFactorRational::solveRight2(), and CLUFactorRational::solveRight2update().

◆ solveUright2eps()

int solveUright2eps	(	Rational *	work1,
		Rational *	vec1,
		Rational *	work2,
		Rational *	vec2,
		int *	nonz
	)

private

Definition at line 3199 of file clufactor_rational.cpp.

References CLUFactorRational::U::col, CLUFactorRational::col, CLUFactorRational::diag, CLUFactorRational::U::Col::idx, CLUFactorRational::U::Col::len, CLUFactorRational::Perm::orig, CLUFactorRational::row, CLUFactorRational::U::Col::start, CLUFactorRational::thedim, CLUFactorRational::u, and CLUFactorRational::U::Col::val.

Referenced by CLUFactorRational::solveRight2update().

◆ solveUrightEps()

int solveUrightEps	(	Rational *	vec,
		int *	nonz,
		Rational *	rhs
	)

private

Definition at line 3097 of file clufactor_rational.cpp.

References CLUFactorRational::U::col, CLUFactorRational::col, CLUFactorRational::diag, CLUFactorRational::U::Col::idx, CLUFactorRational::U::Col::len, CLUFactorRational::Perm::orig, CLUFactorRational::row, CLUFactorRational::U::Col::start, CLUFactorRational::thedim, CLUFactorRational::u, and CLUFactorRational::U::Col::val.

Referenced by CLUFactorRational::solveRight4update().

◆ timeLimitReached()

bool timeLimitReached ( )

private

Definition at line 354 of file clufactor_rational.h.

Referenced by CLUFactorRational::eliminateNucleus(), CLUFactorRational::factor(), CLUFactorRational::solveLleft(), CLUFactorRational::solveLleftForest(), CLUFactorRational::solveLright(), CLUFactorRational::solveUleft(), and CLUFactorRational::solveUright().

◆ update()

void update	(	int	p_col,
		Rational *	p_work,
		const int *	p_idx,
		int	num
	)

protected

Definition at line 1254 of file clufactor_rational.cpp.

References CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::makeLvec(), CLUFactorRational::maxabs, SLinSolverRational::OK, soplex::spxAbs(), CLUFactorRational::stat, and CLUFactorRational::L::val.

Referenced by SLUFactorRational::changeEta(), and CLUFactorRational::timeLimitReached().

◆ updateNoClear()

void updateNoClear	(	int	p_col,
		const Rational *	p_work,
		const int *	p_idx,
		int	num
	)

protected

Definition at line 1296 of file clufactor_rational.cpp.

References CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::makeLvec(), CLUFactorRational::maxabs, SLinSolverRational::OK, soplex::spxAbs(), CLUFactorRational::stat, and CLUFactorRational::L::val.

Referenced by SLUFactorRational::change(), and CLUFactorRational::timeLimitReached().

◆ updateRow()

int updateRow	(	int	r,
		int	lv,
		int	prow,
		int	pcol,
		const Rational &	pval
	)

private

Definition at line 2269 of file clufactor_rational.cpp.

Referenced by CLUFactorRational::eliminatePivot().

◆ vSolveLeft()

int vSolveLeft	(	Rational *	vec,
		int *	idx,
		Rational *	rhs,
		int *	ridx,
		int	rn
	)

protected

Definition at line 5907 of file clufactor_rational.cpp.

References CLUFactorRational::l, CLUFactorRational::solveLleft(), CLUFactorRational::solveLleftForest(), CLUFactorRational::solveUleft(), CLUFactorRational::solveUpdateLeft(), and CLUFactorRational::L::updateType.

Referenced by SLUFactorRational::solveLeft(), and CLUFactorRational::timeLimitReached().

◆ vSolveLeft2()

int vSolveLeft2	(	Rational *	vec,
		int *	idx,
		Rational *	rhs,
		int *	ridx,
		int	rn,
		Rational *	vec2,
		Rational *	rhs2,
		int *	ridx2,
		int	rn2
	)

protected

Definition at line 5925 of file clufactor_rational.cpp.

References CLUFactorRational::l, CLUFactorRational::solveLleft(), CLUFactorRational::solveLleftForest(), CLUFactorRational::solveLleftForestNoNZ(), CLUFactorRational::solveLleftNoNZ(), CLUFactorRational::solveUleft(), CLUFactorRational::solveUleftNoNZ(), CLUFactorRational::solveUpdateLeft(), and CLUFactorRational::L::updateType.

Referenced by SLUFactorRational::solveLeft(), and CLUFactorRational::timeLimitReached().

◆ vSolveLeft3()

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
	)

protected

Definition at line 5953 of file clufactor_rational.cpp.

References CLUFactorRational::l, CLUFactorRational::solveLleft(), CLUFactorRational::solveLleftForest(), CLUFactorRational::solveLleftForestNoNZ(), CLUFactorRational::solveLleftNoNZ(), CLUFactorRational::solveUleft(), CLUFactorRational::solveUleftNoNZ(), CLUFactorRational::solveUpdateLeft(), and CLUFactorRational::L::updateType.

Referenced by SLUFactorRational::solveLeft(), and CLUFactorRational::timeLimitReached().

◆ vSolveLeftNoNZ()

void vSolveLeftNoNZ	(	Rational *	vec,
		Rational *	rhs,
		int *	ridx,
		int	rn
	)

protected

Definition at line 5988 of file clufactor_rational.cpp.

References CLUFactorRational::l, CLUFactorRational::solveLleftForestNoNZ(), CLUFactorRational::solveLleftNoNZ(), CLUFactorRational::solveUleftNoNZ(), CLUFactorRational::solveUpdateLeft(), and CLUFactorRational::L::updateType.

Referenced by CLUFactorRational::timeLimitReached().

◆ vSolveLright()

int vSolveLright	(	Rational *	vec,
		int *	ridx,
		int	rn
	)

private

Definition at line 4612 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::thedim, CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::vSolveRight4update(), and CLUFactorRational::vSolveRightNoNZ().

◆ vSolveLright2()

void vSolveLright2	(	Rational *	vec,
		int *	ridx,
		int *	rnptr,
		Rational *	vec2,
		int *	ridx2,
		int *	rn2ptr
	)

private

Definition at line 4677 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::thedim, CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::vSolveRight4update2().

◆ vSolveLright3()

void vSolveLright3	(	Rational *	vec,
		int *	ridx,
		int *	rnptr,
		Rational *	vec2,
		int *	ridx2,
		int *	rn2ptr,
		Rational *	vec3,
		int *	ridx3,
		int *	rn3ptr
	)

private

Definition at line 4795 of file clufactor_rational.cpp.

References CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::thedim, CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::vSolveRight4update3().

◆ vSolveRight4update()

int vSolveRight4update	(	Rational *	vec,
		int *	idx,
		Rational *	rhs,
		int *	ridx,
		int	rn,
		Rational *	forest,
		int *	forestNum,
		int *	forestIdx
	)

protected

Definition at line 5544 of file clufactor_rational.cpp.

References soplex::enQueueMax(), CLUFactorRational::l, CLUFactorRational::Perm::perm, CLUFactorRational::row, CLUFactorRational::thedim, CLUFactorRational::L::updateType, CLUFactorRational::vSolveLright(), CLUFactorRational::vSolveUpdateRight(), and CLUFactorRational::vSolveUright().

Referenced by SLUFactorRational::solveRight4update(), and CLUFactorRational::timeLimitReached().

◆ vSolveRight4update2()

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
	)

protected

Definition at line 5611 of file clufactor_rational.cpp.

References soplex::enQueueMax(), CLUFactorRational::l, CLUFactorRational::Perm::perm, CLUFactorRational::row, CLUFactorRational::thedim, CLUFactorRational::L::updateType, CLUFactorRational::vSolveLright2(), CLUFactorRational::vSolveUpdateRight(), CLUFactorRational::vSolveUpdateRightNoNZ(), CLUFactorRational::vSolveUright(), and CLUFactorRational::vSolveUrightNoNZ().

Referenced by SLUFactorRational::solve2right4update(), and CLUFactorRational::timeLimitReached().

◆ vSolveRight4update3()

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
	)

protected

Definition at line 5723 of file clufactor_rational.cpp.

References soplex::enQueueMax(), CLUFactorRational::l, CLUFactorRational::Perm::perm, CLUFactorRational::row, CLUFactorRational::thedim, CLUFactorRational::L::updateType, CLUFactorRational::vSolveLright3(), CLUFactorRational::vSolveUpdateRight(), CLUFactorRational::vSolveUpdateRightNoNZ(), CLUFactorRational::vSolveUright(), and CLUFactorRational::vSolveUrightNoNZ().

Referenced by SLUFactorRational::solve3right4update(), and CLUFactorRational::timeLimitReached().

◆ vSolveRightNoNZ()

void vSolveRightNoNZ	(	Rational *	vec2,
		Rational *	rhs2,
		int *	ridx2,
		int	rn2
	)

protected

Definition at line 5863 of file clufactor_rational.cpp.

References soplex::enQueueMax(), CLUFactorRational::l, CLUFactorRational::Perm::perm, CLUFactorRational::row, CLUFactorRational::thedim, CLUFactorRational::L::updateType, CLUFactorRational::vSolveLright(), CLUFactorRational::vSolveUpdateRightNoNZ(), and CLUFactorRational::vSolveUrightNoNZ().

Referenced by CLUFactorRational::timeLimitReached().

◆ vSolveUpdateRight()

int vSolveUpdateRight	(	Rational *	vec,
		int *	ridx,
		int	n
	)

private

Definition at line 5461 of file clufactor_rational.cpp.

References VectorBase< R >::dim(), CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::thedim, CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::vSolveRight4update(), CLUFactorRational::vSolveRight4update2(), and CLUFactorRational::vSolveRight4update3().

◆ vSolveUpdateRightNoNZ()

void vSolveUpdateRightNoNZ ( Rational * vec )

private

Definition at line 5506 of file clufactor_rational.cpp.

References VectorBase< R >::dim(), CLUFactorRational::L::firstUnused, CLUFactorRational::L::firstUpdate, CLUFactorRational::L::idx, CLUFactorRational::l, CLUFactorRational::L::row, CLUFactorRational::L::start, CLUFactorRational::thedim, CLUFactorRational::L::updateType, and CLUFactorRational::L::val.

Referenced by CLUFactorRational::vSolveRight4update2(), CLUFactorRational::vSolveRight4update3(), and CLUFactorRational::vSolveRightNoNZ().

◆ vSolveUright()

int vSolveUright	(	Rational *	vec,
		int *	vidx,
		Rational *	rhs,
		int *	ridx,
		int	rn
	)

private

Definition at line 5011 of file clufactor_rational.cpp.

References CLUFactorRational::U::col, CLUFactorRational::col, soplex::deQueueMax(), CLUFactorRational::diag, soplex::enQueueMax(), CLUFactorRational::U::Col::idx, CLUFactorRational::U::Col::len, CLUFactorRational::Perm::orig, CLUFactorRational::Perm::perm, CLUFactorRational::row, CLUFactorRational::U::Col::start, CLUFactorRational::thedim, CLUFactorRational::u, and CLUFactorRational::U::Col::val.

Referenced by CLUFactorRational::vSolveRight4update(), CLUFactorRational::vSolveRight4update2(), and CLUFactorRational::vSolveRight4update3().

◆ vSolveUright2()

int vSolveUright2	(	Rational *	vec,
		int *	vidx,
		Rational *	rhs,
		int *	ridx,
		int	rn,
		Rational *	vec2,
		Rational *	rhs2,
		int *	ridx2,
		int	rn2
	)

private

Definition at line 5220 of file clufactor_rational.cpp.

References CLUFactorRational::U::col, CLUFactorRational::col, soplex::deQueueMax(), CLUFactorRational::diag, soplex::enQueueMax(), CLUFactorRational::U::Col::idx, CLUFactorRational::U::Col::len, CLUFactorRational::Perm::orig, CLUFactorRational::Perm::perm, CLUFactorRational::row, CLUFactorRational::U::Col::start, CLUFactorRational::thedim, CLUFactorRational::u, and CLUFactorRational::U::Col::val.

◆ vSolveUrightNoNZ()

void vSolveUrightNoNZ	(	Rational *	vec,
		Rational *	rhs,
		int *	ridx,
		int	rn
	)

private

Definition at line 5118 of file clufactor_rational.cpp.

References CLUFactorRational::U::col, CLUFactorRational::col, soplex::deQueueMax(), CLUFactorRational::diag, soplex::enQueueMax(), CLUFactorRational::U::Col::idx, CLUFactorRational::U::Col::len, CLUFactorRational::Perm::orig, CLUFactorRational::Perm::perm, CLUFactorRational::row, CLUFactorRational::U::Col::start, CLUFactorRational::thedim, CLUFactorRational::u, and CLUFactorRational::U::Col::val.

Referenced by CLUFactorRational::vSolveRight4update2(), CLUFactorRational::vSolveRight4update3(), and CLUFactorRational::vSolveRightNoNZ().

Member Data Documentation

◆ col

Perm col

protected

column permutation matrices

Definition at line 197 of file clufactor_rational.h.

◆ colMemMult

Real colMemMult

protected

factor of minimum Memory * number of nonzeros

Definition at line 193 of file clufactor_rational.h.

Referenced by SLUFactorRational::assign(), SLUFactorRational::clear(), CLUFactorRational::forestReMaxCol(), CLUFactorRational::initFactorMatrix(), and CLUFactorRational::remaxCol().

◆ diag

◆ factorCount

int factorCount

protected

Number of factorizations.

Definition at line 206 of file clufactor_rational.h.

Referenced by SLUFactorRational::assign(), CLUFactorRational::factor(), SLUFactorRational::getFactorCount(), SLUFactorRational::resetCounters(), and SLUFactorRational::SLUFactorRational().

◆ factorTime

Timer* factorTime

protected

Time spent in factorizations.

Definition at line 205 of file clufactor_rational.h.

Referenced by SLUFactorRational::assign(), CLUFactorRational::factor(), SLUFactorRational::freeAll(), SLUFactorRational::getFactorTime(), SLUFactorRational::resetCounters(), SLUFactorRational::resetFactorTime(), and SLUFactorRational::SLUFactorRational().

◆ initMaxabs

Rational initMaxabs

protected

maximum abs number in initail Matrix

Definition at line 189 of file clufactor_rational.h.

Referenced by SLUFactorRational::assign(), SLUFactorRational::clear(), CLUFactorRational::initFactorMatrix(), and SLUFactorRational::stability().

◆ l

L l

protected

L matrix.

Definition at line 199 of file clufactor_rational.h.

◆ lMemMult

Real lMemMult

protected

factor of minimum Memory * number of nonzeros

Definition at line 194 of file clufactor_rational.h.

Referenced by SLUFactorRational::assign(), SLUFactorRational::clear(), and CLUFactorRational::initFactorMatrix().

◆ maxabs

Rational maxabs

protected

maximum abs number in L and U

Definition at line 190 of file clufactor_rational.h.

Referenced by SLUFactorRational::assign(), SLUFactorRational::clear(), CLUFactorRational::forestUpdate(), CLUFactorRational::setPivot(), CLUFactorRational::setupColVals(), SLUFactorRational::stability(), CLUFactorRational::update(), and CLUFactorRational::updateNoClear().

◆ nzCnt

int nzCnt

protected

number of nonzeros in U

Definition at line 188 of file clufactor_rational.h.

Referenced by SLUFactorRational::assign(), CLUFactorRational::factor(), CLUFactorRational::forestUpdate(), SLUFactorRational::memory(), and SLUFactorRational::SLUFactorRational().

◆ row

Perm row

protected

row permutation matrices

Definition at line 196 of file clufactor_rational.h.

◆ rowMemMult

Real rowMemMult

protected

factor of minimum Memory * number of nonzeros

Definition at line 192 of file clufactor_rational.h.

Referenced by SLUFactorRational::assign(), SLUFactorRational::clear(), CLUFactorRational::initFactorMatrix(), and CLUFactorRational::remaxRow().

◆ stat

SLinSolverRational::Status stat

protected

Status indicator.

Definition at line 185 of file clufactor_rational.h.

Referenced by SLUFactorRational::assign(), SLUFactorRational::clear(), CLUFactorRational::colSingletons(), CLUFactorRational::eliminateNucleus(), CLUFactorRational::factor(), CLUFactorRational::forestUpdate(), CLUFactorRational::initFactorMatrix(), CLUFactorRational::initFactorRings(), CLUFactorRational::isConsistent(), SLUFactorRational::load(), CLUFactorRational::rowSingletons(), SLUFactorRational::status(), CLUFactorRational::update(), and CLUFactorRational::updateNoClear().

◆ temp

Temp temp

private

Temporary storage.

Definition at line 215 of file clufactor_rational.h.

◆ thedim

int thedim

protected

dimension of factorized matrix

Definition at line 187 of file clufactor_rational.h.

◆ timeLimit

Real timeLimit

protected

Time limit on factorization or solves.

Definition at line 207 of file clufactor_rational.h.

Referenced by SLUFactorRational::assign(), SLUFactorRational::setTimeLimit(), SLUFactorRational::SLUFactorRational(), and CLUFactorRational::timeLimitReached().

◆ u

U u

protected

U matrix.

Definition at line 201 of file clufactor_rational.h.

◆ work

Rational* work

protected

Working array: must always be left as 0!

Definition at line 203 of file clufactor_rational.h.

Referenced by SLUFactorRational::assign(), CLUFactorRational::eliminatePivot(), SLUFactorRational::load(), SLUFactorRational::SLUFactorRational(), and CLUFactorRational::updateRow().

SoPlex

Classes

Protected Member Functions

Protected Attributes

Private Member Functions

Private Attributes

Detailed Description

Member Function Documentation

◆ colSingletons()

◆ dump()

◆ eliminateColSingletons()

◆ eliminateNucleus()

◆ eliminatePivot()

◆ eliminateRowSingletons()

◆ factor()

◆ forestMinColMem()

◆ forestPackColumns()

◆ forestReMaxCol()

◆ forestUpdate()

◆ freeFactorRings()

◆ initFactorMatrix()

◆ initFactorRings()

◆ initPerm()

◆ isConsistent()

◆ makeLvec()

◆ minColMem()

◆ minLMem()

◆ minRowMem()

◆ packColumns()

◆ packRows()

◆ remaxCol()

◆ remaxRow()

◆ rowSingletons()

◆ selectPivots()

◆ setPivot()

◆ setupColVals()

◆ setupRowVals()

◆ solveLeft()

◆ solveLeft2()

◆ solveLeftEps()

◆ solveLleft() [1/2]

◆ solveLleft() [2/2]

◆ solveLleft2()

◆ solveLleft2forest()

◆ solveLleftEps()

◆ solveLleftForest() [1/2]

◆ solveLleftForest() [2/2]

◆ solveLleftForestNoNZ()

◆ solveLleftNoNZ()

◆ solveLright()

◆ solveLright2()

◆ solveRight()

◆ solveRight2()

◆ solveRight2update()

◆ solveRight4update()

◆ solveUleft() [1/2]

◆ solveUleft() [2/2]

◆ solveUleft2()

◆ solveUleftNoNZ()

◆ solveUpdateLeft() [1/2]

◆ solveUpdateLeft() [2/2]

◆ solveUpdateLeft2()

◆ solveUpdateRight()

◆ solveUpdateRight2()

◆ solveUright()

◆ solveUright2()

◆ solveUright2eps()

◆ solveUrightEps()

◆ timeLimitReached()

◆ update()

◆ updateNoClear()

◆ updateRow()

◆ vSolveLeft()

◆ vSolveLeft2()

◆ vSolveLeft3()

◆ vSolveLeftNoNZ()

◆ vSolveLright()

◆ vSolveLright2()

◆ vSolveLright3()

◆ vSolveRight4update()