An Algorithm for Linear Inequalities and its Applications | Synapse