- To: mathgroup at yoda.physics.unc.edu
- Subject: symbolic simplification?
- From: Elaine Kant <kant at austin.slcs.slb.com>
- Date: Thu, 30 Sep 93 14:12:23 CDT
Are there packages around that simplify basic algebraic expressions, solve sets of inequalities, etc? For example, I would like to simplify x < x+3 to True, Min[x, x+3] to x, and be able to conclude that x < 4 given x < 3. Suggestions??? Thanks, - Elaine Elaine Kant Schlumberger Laboratory for Computer Science P.O. Box 200015 Austin, TX 78720-0015 512-331-3737 kant at austin.slcs.slb.com