
5 May
2009
5 May
'09
2:57 p.m.
Hello.
We have polyhedral representation in our research work and use your library(PPL) through Java interface. We have the following problem:
We have matrix *A(n, m)* with *rank(A)* < *min(n, m).*
Also we have system of equations *Ax = 0*.
We need to find *x = Uy*, where *U* is integer upper triangular matrix, *x* is an integer solution of previous system and* y* is a vector of arbitrary integer constants.
Can we solve this problem, using your library(Java interface)? We need only integer solutions.