SolveDio.h File Reference

Go to the source code of this file.

Functions
int	SolveDiophantine (Matrix *M, Matrix **U, Vector **X)

---

Function Documentation

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

Case when rank < Number of Columns;

Solved the equtions

When rank < hermi->NbRows; Verifying whether the solution agrees with the remaining n-rank rows as well.

Definition at line 81 of file SolveDio.c.

References Hermite(), Matrix_Alloc(), Matrix_Copy(), Matrix_Free(), Matrix_Inverse(), min, matrix::NbColumns, matrix::NbRows, p, matrix::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().