Main Page | Class List | File List | Class Members | File Members

compress_parms.c File Reference

#include <polylib/polylib.h>

Go to the source code of this file.

Functions

void b_modulo (Value g, Value a, Value b)
Matrixint_ker (Matrix *M)
Matrixaffine_periods (Matrix *M, Matrix *d)
Matrixint_mod_basis (Matrix *Bp, Matrix *Cp, Matrix *d)
Matrixget_linear_part (Matrix const *E, int nb_parms)
Matrixget_parameter_part (Matrix const *E, int nb_parms)
Matrixget_constant_part (Matrix const *E, int nb_parms)
Matrixextract_funny_stuff (Matrix const *E, int nb_parms, Matrix **Bp, Matrix **Cp, Matrix **d)
Matrixcompress_parms (Matrix *E, int nb_parms)
Matrixfull_dimensionize (Matrix const *M, int nb_parms, Matrix **Validity_Lattice)


Function Documentation

Matrix* affine_periods Matrix M,
Matrix d
 

Definition at line 64 of file compress_parms.c.

References Gcd(), Lcm3(), Matrix, Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, Value, value_assign, value_clear, value_division, value_init, and value_set_si.

Referenced by int_mod_basis().

void b_modulo Value  g,
Value  a,
Value  b
 

Definition at line 12 of file compress_parms.c.

References Value, value_assign, value_decrement, value_division, value_eq, value_multiply, value_neg_p, value_oppose, value_posz_p, value_set_si, value_subtract, and value_zero_p.

Referenced by int_mod_basis().

Matrix* compress_parms Matrix E,
int  nb_parms
 

Definition at line 370 of file compress_parms.c.

References extract_funny_stuff(), Identity_Matrix(), int_mod_basis(), Matrix, Matrix_Free(), matrix::NbColumns, and matrix::NbRows.

Referenced by full_dimensionize().

Matrix* extract_funny_stuff Matrix const *  E,
int  nb_parms,
Matrix **  Bp,
Matrix **  Cp,
Matrix **  d
 

Definition at line 290 of file compress_parms.c.

References get_constant_part(), get_linear_part(), get_parameter_part(), left_hermite(), MatInverse(), Matrix, Matrix_Alloc(), Matrix_Free(), Matrix_Product(), matrix::NbColumns, matrix::NbRows, matrix::p, and value_assign.

Referenced by compress_parms().

Matrix* full_dimensionize Matrix const *  M,
int  nb_parms,
Matrix **  Validity_Lattice
 

Definition at line 401 of file compress_parms.c.

References compress_parms(), find_a_permutation(), Identity_Matrix(), Matrix, Matrix_Alloc(), Matrix_Free(), mpolyhedron_compress_last_vars(), mpolyhedron_eliminate_first_variables(), mpolyhedron_permute(), matrix::NbColumns, matrix::NbRows, matrix::p, split_constraints(), value_assign, and value_set_si.

Referenced by Ehrhart_Quick_Apx().

Matrix* get_constant_part Matrix const *  E,
int  nb_parms
 

Definition at line 273 of file compress_parms.c.

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

Referenced by extract_funny_stuff().

Matrix* get_linear_part Matrix const *  E,
int  nb_parms
 

Definition at line 246 of file compress_parms.c.

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

Referenced by extract_funny_stuff().

Matrix* get_parameter_part Matrix const *  E,
int  nb_parms
 

Definition at line 259 of file compress_parms.c.

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

Referenced by extract_funny_stuff().

Matrix* int_ker Matrix M  ) 
 

Definition at line 35 of file compress_parms.c.

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

Referenced by int_mod_basis().

Matrix* int_mod_basis Matrix Bp,
Matrix Cp,
Matrix d
 

Definition at line 106 of file compress_parms.c.

References affine_periods(), b_modulo(), int_ker(), left_hermite(), MatInverse(), Matrix, Matrix_Alloc(), Matrix_Free(), Matrix_Product(), matrix::NbColumns, matrix::NbRows, matrix::p, value_addmul, value_assign, value_oppose, and value_set_si.

Referenced by compress_parms().


Generated on Mon Sep 12 15:15:12 2005 for polylib by doxygen 1.3.5