linear Diophantine system