incorporate isolve into inequalities
Merge pull request #1 from smichr/isolve

incorporate isolve into inequalities