---

SolveDio.c File Reference

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

Go to the source code of this file.

Functions
void	RearrangeMatforSolveDio (Matrix *M)
	When rank < hermi->NbRows; Verifying whether the solution agrees with the remaining n-rank rows as well.
int	SolveDiophantine (Matrix *M, Matrix **U, Vector **X)

---

Function Documentation

void RearrangeMatforSolveDio (  Matrix *    M )  [static]

When rank < hermi->NbRows; Verifying whether the solution agrees with the remaining n-rank rows as well. * Definition at line 235 of file SolveDio.c. References AddANullRow(), Bool, ExchangeRows(), Hermite(), 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_Alloc(), Matrix_Copy(), Matrix_Free(), Matrix_Inverse(), min, matrix::NbColumns, matrix::NbRows, matrix::p, RearrangeMatforSolveDio(), value_addto, value_assign, value_clear, value_division, value_init, value_modulus, value_multiply, value_ne, value_notzero_p, value_oppose, value_set_si, value_substract, and Vector_Alloc().

---