[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiommath] About rewrited expressions for power, log, exp and so.
From: 
Gabriel Dos Reis 
Subject: 
Re: [Axiommath] About rewrited expressions for power, log, exp and so. 
Date: 
30 Nov 2006 20:21:23 +0100 
Francois Maltey <address@hidden> writes:
[...]
 And mupad had 2 features which aren't (yet) in axiom expressions :

 1/ The assume command :
 assume (a>1) ; limit (a^x, x=%plusInfinity) > %plusInfinity
 assume (a=1) ; limit (a^x, x=%plusInfinity) > 1
 assume (a<1 and 1<a) ; limit (a^x, x=%plusInfinity) > 0
 assume (a<1) ; limit (a^x, x=%plusInfinity) > "failed"
maple has same. This is what Tim refers to in general as "provisos".
 2/ the piecewise command :
 solve (a*(a1)*x=a, x)
 x = 1/(a1) if a in C \setminus {0, 1}
 x in C if a=0
 x in emptyset if a=1
this can be worked into Axiom, assuming we have provisos.
 Gaby