[PPL-devel] PPL Library capabilities

[Vladimir Koshelev]

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.