Matop.h File Reference

Go to the source code of this file.

Functions
void	Lcm3 (Value a, Value b, Value *c)
Matrix *	AddANullColumn (Matrix *M)
Matrix *	AddANullRow (Matrix *M)
void	ExchangeColumns (Matrix *M, int Column1, int Column2)
void	ExchangeRows (Matrix *M, int Row1, int Row2)
Matrix *	Identity (unsigned size)
Bool	isIntegral (Matrix *A)
Value *	Lcm (Value i, Value j)
Matrix *	Matrix_Copy (Matrix const *Src)
void	PutColumnFirst (Matrix *X, int Columnnumber)
void	PutColumnLast (Matrix *X, int Columnnumber)
void	PutRowFirst (Matrix *X, int Rownumber)
void	PutRowLast (Matrix *X, int Rownumber)
Matrix *	RemoveNColumns (Matrix *M, int FirstColumnnumber, int NumColumns)
Matrix *	RemoveColumn (Matrix *M, int Columnnumber)
Matrix *	RemoveRow (Matrix *M, int Rownumber)
Matrix *	Transpose (Matrix *A)

Function Documentation

AddANullColumn()

Matrix * AddANullColumn

(

Matrix *

M

)

Definition at line 238 of file Matop.c.

References Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, value_assign, and value_set_si.

Referenced by homogenize(), and main().

AddANullRow()

Matrix * AddANullRow

(

Matrix *

M

)

Definition at line 220 of file Matop.c.

References Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, value_assign, and value_set_si.

ExchangeColumns()

void ExchangeColumns	(	Matrix *	M,
		int	Column1,
		int	Column2
	)

Definition at line 70 of file Matop.c.

References matrix::NbRows, matrix::p, and value_swap.

ExchangeRows()

void ExchangeRows	(	Matrix *	M,
		int	Row1,
		int	Row2
	)

Definition at line 52 of file Matop.c.

References matrix::NbColumns, matrix::p, value_assign, value_clear, and value_init.

Referenced by Constraints2Polyhedron().

Identity()

Matrix * Identity

(

unsigned

size

)

Definition at line 39 of file Matop.c.

References Matrix_Alloc(), matrix::p, and value_set_si.

Referenced by Smith().

isIntegral()

Bool isIntegral

(

Matrix *

A

)

Definition at line 113 of file Matop.c.

References False, matrix::NbColumns, matrix::NbRows, matrix::p, True, value_assign, value_clear, value_init, value_modulus, and value_notzero_p.

Lcm()

Value * Lcm	(	Value	i,
		Value	j
	)

Definition at line 27 of file Matop.c.

References Lcm3(), and value_init.

Lcm3()

void Lcm3	(	Value	a,
		Value	b,
		Value *	c
	)

Definition at line 5 of file Matop.c.

References Gcd(), value_absolute, value_assign, value_clear, value_division, value_init, value_multiply, and value_zero_p.

Referenced by Lcm().

Matrix_Copy()

Matrix * Matrix_Copy

(

Matrix const *

Src

)

Definition at line 98 of file Matop.c.

References Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, and value_assign.

Referenced by AddLattice(), Constraints_EhrhartQuickApx(), eliminable_vars(), generate_lattice_union_line(), generate_lattice_union_row(), Hermite(), Homogenise(), Lattice2LatticeUnion(), Lattice_extractSubLattice(), LatticeDifference(), LBLAlloc(), LexSmaller(), mtransformation_inverse(), Polyhedron_Image(), Polyhedron_Image_Enumerate(), Simplify(), sLBLHomogenize_equalities(), sLBLPreimage(), Smith(), test_Constraints_fullDimensionize(), test_Constraints_Remove_parm_eqs(), and test_Polyhedron_Remove_parm_eqs().

PutColumnFirst()

void PutColumnFirst	(	Matrix *	X,
		int	Columnnumber
	)

Definition at line 182 of file Matop.c.

References matrix::NbRows, matrix::p, value_assign, value_clear, and value_init.

Referenced by Homogenise().

PutColumnLast()

void PutColumnLast	(	Matrix *	X,
		int	Columnnumber
	)

Definition at line 201 of file Matop.c.

References matrix::NbColumns, matrix::NbRows, matrix::p, value_assign, value_clear, and value_init.

Referenced by Homogenise().

PutRowFirst()

void PutRowFirst	(	Matrix *	X,
		int	Rownumber
	)

Definition at line 162 of file Matop.c.

References matrix::NbColumns, matrix::p, value_assign, value_clear, and value_init.

Referenced by Homogenise().

PutRowLast()

void PutRowLast	(	Matrix *	X,
		int	Rownumber
	)

Definition at line 140 of file Matop.c.

References matrix::NbColumns, matrix::NbRows, matrix::p, value_assign, value_clear, and value_init.

Referenced by Homogenise().

RemoveColumn()

Matrix * RemoveColumn	(	Matrix *	M,
		int	Columnnumber
	)

Definition at line 293 of file Matop.c.

References Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, and Vector_Copy().

Referenced by sLBL_Simplify_Zero_Dimensions().

RemoveNColumns()

Matrix * RemoveNColumns	(	Matrix *	M,
		int	FirstColumnnumber,
		int	NumColumns
	)

Definition at line 274 of file Matop.c.

References Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, and Vector_Copy().

Referenced by sLBL2ZDomain(), and sLBLComplement().

RemoveRow()

Matrix * RemoveRow	(	Matrix *	M,
		int	Rownumber
	)

Definition at line 255 of file Matop.c.

References Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, and Vector_Copy().

Transpose()

Matrix * Transpose

(

Matrix *

A

)

Definition at line 83 of file Matop.c.

References Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, and value_assign.

Referenced by Hermite(), and Polyhedron_Image_Enumerate().