Linear program related domains (1)