Packages to solve domain, equations and inequalities, interval arithmetic functions.
Subject: Packages to solve domain, equations and inequalities, interval arithmetic functions.
From: Richard Fateman
Date: Wed, 25 Nov 2009 12:39:14 -0800
Barton Willis wrote:
> 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.
I see many places where you do simp:true, but not simp:false.
> Like it or not, most all of Maxima will not function
> properly with when simp is false.
This is correct.
> 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.
Or maybe some way of encoding {x which might be zero so don't divide
by it}. This would require some effort. But it is certainly necessary
to do intervals, e.g.
[-1,1]/[-1,1] is not 1, but "division by an interval containing zero"
RJF
> Then you'll need to tell your solver
> how to handle expressions involving your division function.
>
> Barton
>
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>