INTALG 4.2: Compound Inequalities
We use the operations of union (OR) and intersection (AND) to obtain new applications of linear inequalities, in particular, a way to obtain finite intervals on the real number line for linear inequalities. We also consider a method for solving double inequalities efficiently.