Problem with Taylor



Investigating an inconsistency in a computation i found the following:

niobe% maxima
(%i1) assume(p<0)$
(%i2) taylor(t^p*sqrt(t),t,0,0);
(%o2)/T/                           0 + . . .
(%i3) taylor(t^p*sqrt(t),t,0,1);
                               p
(%o3)/T/                      t  sqrt(t) + . . .
(%i4) diff(%,t);
                                   p
                                  t
(%o4)/T/                       --------- + . . .
                               2 sqrt(t)
(%i5) diff(t^(p+1/2),t);
                                    1   p - 1/2
(%o5)                          (p + -) t
                                    2

where there are at least two problems.

Versions are as follows:
niobe% \maxima
Maxima 5.17.1 http://maxima.sourceforge.net
Using Lisp CMU Common Lisp Snapshot 2008-02 (19E)


-- 
Michel Talon