Re: Maxima problem (and solve bug)



On Mon, 2002-03-11 at 10:49, Ole Rohne wrote:
> Camm Maguire <camm@enhanced.com> writes:
> 
> > Error summary:
> > Error(s) found in rtest3.mac: (80)
> 
> rtest3.mac:
> BETA(1/2,2/5);
> BETA(1/2,2/5)$
> EV(%,NUMER);
> 3.679092654997149;
> 
> 3.6790939804058804;    maxima cmucl-18d-pre
> 3.67909398040588082173 emacs calc:             
> 
> IUC, emacs calc does arbitrary precision floating point calculations.
> The result could be taken as an indication that the new value contains
> 16 correct digits, compared to the previous 6. I guess it is time to
> update rtest3.mac...

Thanks. Yes. Actually, I had fixed that in my local copy, but I didn't
commit the fix because I neglected to note the reference. I'll update
the file once cvs reopens.

> > Error(s) found in rtest14.mac: (error break)
> 
> hyp.lisp has this commented out close to the top of the file:
> 
> ;; jfa removed to avoid conflict with main definition of MABS.
> ;; (DEFMACRO MABS (X) `(SIMP `((MABS) ,,X)))
> 
> As I couldn't find any conflicting definition of MABS,

The conflicting definition is in troper.lisp. It's defined via "def%tr",
so you may have missed it.

> I put the
> DEFMACRO back in and got passed rtest14.mac with no errors. 

It isn't that simple. Replacing the definition I removed will cause many
more new errors, including the one Daniel Lemire just reported. I
discussed this issue on the list a while ago. I'm sorry to see that the
story isn't over yet. I have to confess I don't understand why the error
in rtest14 is happening.

>I'm still
> puzzled because TRIG-LOG-1 has two different definitions in hyp.lisp -
> why?

No idea.

Thanks for report,
Jim