Packages to solve domain, equations and inequalities, interval arithmetic functions.
Subject: Packages to solve domain, equations and inequalities, interval arithmetic functions.
From: Barton Willis
Date: Wed, 25 Nov 2009 13:24:34 -0600
I glanced at your code, but I don't have the time to study
it closely right now. One comment:
The code does a great deal of switching between simp : true and
simp : false. Like it or not, most all of Maxima will not function
properly with when simp is false. If your code sets simp to false to
because you would like solve(x / x = 1) --> (x # 0), a much better
approach would be to define your own division function that simplifies
the way you want it to simplify. Then you'll need to tell your solver
how to handle expressions involving your division function.
Barton