#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <ctype.h>
#include <polylib/polylib.h>
Go to the source code of this file.
Functions | |
Matrix * | Matrix_Alloc (unsigned NbRows, unsigned NbColumns) |
void | Matrix_Free (Matrix *Mat) |
void | Matrix_Extend (Matrix *Mat, unsigned NbRows) |
void | Matrix_Print (FILE *Dst, const char *Format, Matrix *Mat) |
void | Matrix_Read_Input (Matrix *Mat) |
Matrix * | Matrix_Read (void) |
int | hermite (Matrix *H, Matrix *U, Matrix *Q) |
void | right_hermite (Matrix *A, Matrix **Hp, Matrix **Up, Matrix **Qp) |
void | left_hermite (Matrix *A, Matrix **Hp, Matrix **Qp, Matrix **Up) |
int | MatInverse (Matrix *Mat, Matrix *MatInv) |
void | rat_prodmat (Matrix *S, Matrix *X, Matrix *P) |
void | Matrix_Vector_Product (Matrix *Mat, Value *p1, Value *p2) |
void | Vector_Matrix_Product (Value *p1, Matrix *Mat, Value *p2) |
void | Matrix_Product (Matrix *Mat1, Matrix *Mat2, Matrix *Mat3) |
int | Matrix_Inverse (Matrix *Mat, Matrix *MatInv) |
|
Definition at line 211 of file matrix.c. References errormsg1(), Matrix, Matrix_Print(), matrix::NbColumns, matrix::NbRows, matrix::p, value_absolute, value_addmul, value_assign, value_clear, value_decrement, value_division, value_init, value_lt, value_modulus, value_multiply, value_neg_p, value_notzero_p, value_oppose, value_subtract, value_zero_p, and Vector_Exchange(). |
|
Definition at line 488 of file matrix.c. References errormsg1(), hermite(), Matrix, Matrix_Alloc(), Matrix_Free(), matrix::NbColumns, matrix::NbRows, matrix::p, value_assign, value_clear, value_init, value_set_si, and Vector_Set(). Referenced by Equalities_integerSolution(), Equalities_validityLattice(), int_ker(), Lattice_extractSubLattice(), linearInter(), and main(). |
|
Definition at line 574 of file matrix.c. References Matrix, matrix::NbColumns, matrix::NbRows, matrix::p, value_assign, value_clear, value_divexact, value_gcd, value_init, value_multiply, value_notone_p, value_notzero_p, value_set_si, value_subtract, value_zero_p, Vector_Gcd(), Vector_Normalize_Positive(), and Vector_Set(). Referenced by Equalities_integerSolution(), mtransformation_inverse(), test_Constraints_fullDimensionize(), and traite_m_face(). |
|
|
Definition at line 86 of file matrix.c. References errormsg1(), Matrix, matrix::NbColumns, matrix::NbRows, p, matrix::p, matrix::p_Init, matrix::p_Init_size, value_init, and Vector_Set(). Referenced by Chernikova(). |
|
|
Definition at line 872 of file matrix.c. References Matrix, matrix::NbColumns, matrix::NbRows, matrix::p, value_assign, value_clear, value_divexact, value_division, value_gcd, value_init, value_multiply, value_neg_p, value_notone_p, value_notzero_p, value_oppose, value_set_si, value_subtract, value_zero_p, Vector_Gcd(), and Vector_Set(). Referenced by AffineSmith(), CanonicalForm(), FindHermiteBasisofDomain(), Lattice2LatticeUnion(), LatticeImage(), Polyhedron_Image(), and SolveDiophantine(). |
|
Definition at line 121 of file matrix.c. References Matrix, matrix::NbColumns, matrix::NbRows, p, matrix::p, P_VALUE_FMT, and value_print. Referenced by Chernikova(), ComputeNPLinesRays(), Constraints2Polyhedron(), Elim_Columns(), Find_m_faces(), Gauss(), hermite(), main(), P_Enum(), Polyhedron_Image_Enumerate(), Polyhedron_Preprocess(), Polyhedron_Preprocess2(), PolyhedronLTQ(), PreElim_Columns(), PrintLatticeUnion(), Rays2Polyhedron(), Remove_Redundants(), scan_m_face(), traite_m_face(), and ZPolyhedronPrint(). |
|
Definition at line 828 of file matrix.c. References Matrix, matrix::NbColumns, matrix::NbRows, matrix::p, matrix::p_Init, value_addmul, value_assign, value_clear, value_init, and value_set_si. Referenced by AddZPolytoZDomain(), CanonicalForm(), Equalities_integerSolution(), FindHermiteBasisofDomain(), Lattice2LatticeUnion(), LatticeImage(), and main(). |
|
Definition at line 186 of file matrix.c. References errormsg1(), Matrix, Matrix_Alloc(), Matrix_Read_Input(), and s. Referenced by main(), and Union_Read(). |
|
Definition at line 149 of file matrix.c. References errormsg1(), Matrix, matrix::NbColumns, matrix::NbRows, p, matrix::p_Init, s, and value_read. Referenced by Matrix_Read(), and Union_Read(). |
|
Definition at line 768 of file matrix.c. References Matrix, matrix::NbColumns, matrix::NbRows, matrix::p, value_addmul, and value_multiply. |
|
Definition at line 702 of file matrix.c. References Matrix, matrix::NbColumns, matrix::NbRows, matrix::p, value_addmul, value_assign, value_clear, value_divexact, value_division, value_gcd, value_init, value_multiply, value_one_p, value_set_si, and Vector_Normalize_Positive(). Referenced by traite_m_face(). |
|
Definition at line 418 of file matrix.c. References errormsg1(), hermite(), Matrix, Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, matrix::p_Init, value_assign, value_clear, value_init, value_set_si, Vector_Copy(), and Vector_Set(). Referenced by eliminable_vars(), int_ker(), and main(). |
|
Definition at line 800 of file matrix.c. References Matrix, matrix::NbColumns, matrix::NbRows, matrix::p, value_addmul, and value_multiply. |