newsimp.cl and taylor



Greetings!  I take it newsimp is not in the 5.9.0 source tree.  Can
anyone please provide an explicit hopefully minimal set of steps to
reproduce this?

Take care,

Richard Fateman <fateman@cs.berkeley.edu> writes:

> I seem to have tracked this bug down to a line where
> (gethash r table 0)
> returns not -4,  but (1 . -4)
> 
> I am using xmaxima 5.9.0.  I wonder if you have tried
> it in a non-GCL lisp?
> IF so, does it get the same error?
> 
> I will try a different lisp if I can get one running
> here.
> RJF
> 
> 
> Andrei Zorine wrote:
> 
> > hello,
> > I tried to taylor() with new simplifier loaded. Here's what I get
> >
> > (C1) load("c:/src/mac/newsimp/newsimp.cl");
> >
> > (D1)              c:/src/mac/newsimp/newsimp.cl
> > (C4) taylor(erf(x),x,0,10);
> >
> >
> > Error: addk given non-constants to add
> > Fast links are on: do (si::use-fast-links nil) for debugging
> > Error signalled by COND.
> > Broken at ERROR.  Type :H for Help.
> > MAXIMA>>:q
> >
> > (C5) -1/2;
> >
> >                     1
> > (D5)                       - -
> >                     2
> > (C6) :lisp(print $d5)
> >
> > -1/2
> > -1/2
> >
> > ....
> >
> > MAXIMA>>(simplifya '((rat) -1 2) t)
> >
> > ((RAT) -1 2)
> > MAXIMA>>(simplifya '((rat) -1 2) nil)
> >
> > ((RAT) -1 2)
> > MAXIMA>>
> >
> > So, where it transform from ((rat)..) to lisp's rational is done??? It's addk recieves ((rat)...)
> > instead of a number from diffexpt... if I want to load new definition for diffexpt, what should I
> > write to transform from ((rat)...) to a rational?
> > -- 
> > Andrei Zorine
> >
> >
> > _______________________________________________
> > Maxima mailing list
> > Maxima@www.math.utexas.edu
> > http://www.math.utexas.edu/mailman/listinfo/maxima
> 
> 
> _______________________________________________
> Maxima mailing list
> Maxima@www.math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
> 
> 
> 

-- 
Camm Maguire			     			camm@enhanced.com
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah