login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:07:07-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

axiom
D(0^z, z)

\label{eq1}0(1)
Type: Expression(Integer)

Produced:

   >> Error detected within library code:
   Invalid argument

Of course, 0 is expected.

The offending code is in combfunc.spad, here is a patch. Note however, that strictly speaking 0^z is not differentiable at 0:
  @@ -405,7 +417,10 @@
         iipow l == ipow l

       if F has ElementaryFunctionCategory then
  -      dvpow2 l == log(first l) * first(l) ** second(l)
  +      dvpow2 l == if zero?(first l) then
  +                    0
  +                  else
  +                    log(first l) * first(l) ** second(l)

       evaluate(opfact, iifact)$BasicOperatorFunctions1(F)
       evaluate(oppow, iipow)

Martin

fixed in Feb 2005
Thu, 20 Jan 2005 10:43:06 -0600 reply
Status: open => closed

Category: Axiom Mathematics => Axiom Library




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: