Re: [Axiom-math] provisos and indeterminates

[Francois Maltey]

address@hidden about provisio :

>   the proviso idea is fundamental to math but ignored or treated badly
>   by all computer algebra systems. provisos arise in things like:
>
>     1
>    ---   provided x != 0
>     x

Mupad does this :

>> solve (a^2*x-a=x+1, x)
           / {  a + 1 }                                                \
  piecewise| { ------ } if not a in {-1, 1}, C_ if a = -1, {} if a = 1 |
           | {  2     }                                                |
           \ { a  - 1 }                                                /

limit (a*x*exp (a*x), x=+infinity) ; // is unevalued

but this three commands are right :
assume (a>0) ;  limit (a*x*exp (a*x), x=+infinity)
assume (a=0) ;  limit (a*x*exp (a*x), x=+infinity)
assume (a<0) ;  limit (a*x*exp (a*x), x=+infinity)

I don't understand if this packages is in the debian-axiom, 
the 2005-02 version, will be in the next version, or isn't yet in 
one package ?

I'm a first-year university teacher, I used mupad and I think I will use 
axiom because it's really a free program. 

The first question that one colleague ask to me when we speak about computer
algebra is : can I do assume hypothesis with axiom ?

Have a good day !

François