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

SolveDio.c File Reference

#include <stdlib.h>
#include <polylib/polylib.h>

Go to the source code of this file.

Functions

void RearrangeMatforSolveDio (Matrix *M)
int SolveDiophantine (Matrix *M, Matrix **U, Vector **X)


Function Documentation

void RearrangeMatforSolveDio Matrix M  )  [static]
 

Definition at line 231 of file SolveDio.c.

References AddANullRow(), Bool, ExchangeRows(), Hermite(), Matrix, Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), min, matrix::NbColumns, matrix::NbRows, matrix::p, True, value_assign, value_notzero_p, and value_zero_p.

Referenced by SolveDiophantine().

int SolveDiophantine Matrix M,
Matrix **  U,
Vector **  X
 

Definition at line 64 of file SolveDio.c.

References Hermite(), Matrix, Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), Matrix_Inverse(), min, matrix::NbColumns, matrix::NbRows, matrix::p, p, RearrangeMatforSolveDio(), value_addmul, value_assign, value_clear, value_division, value_init, value_modulus, value_ne, value_notzero_p, value_oppose, value_set_si, value_subtract, and Vector_Alloc().

Referenced by findHermiteBasis(), LatticeIntersection(), LatticePreimage(), and main().


Generated on Thu Sep 4 15:29:00 2008 for polylib by doxygen 1.3.5