Linear Diophantine system