Integral lookup and CLISP



Ok, than there is a difference to my CLISP 2.44 on Windows:

lisp-implementation-type: CLISP
lisp-implementation-version: 2.44 (2008-02-02) (built 3411200795) (memory
3440089629)

Here is a session using writefile() with some debugging code:

;; Dribble of #<IO TERMINAL-STREAM> started on NIL.
(%o3)      #<OUTPUT BUFFERED FILE-STREAM CHARACTER ..\..\maxima.log>
(%i4) integrate(bessel_j(0,x),x);

/* The lookuped expression and the values for the args */

 form       = 
((N Z) NIL
 (LAMBDA (N UNUSED)
  (CASE N
   (0
    '((MTIMES) ((RAT) 1 2) Z
      ((MPLUS)
       ((MTIMES) $%PI ((%BESSEL_J) 1 Z) ((MQAPPLY) (($HSTRUVE ARRAY) 0) Z))
       ((MTIMES) ((%BESSEL_J) 0 Z)
        ((MPLUS) 2 ((MTIMES) -1 $%PI ((MQAPPLY) (($HSTRUVE ARRAY) 1) Z)))))))
   (1 '((MTIMES) -1 ((%BESSEL_J) 0 Z))) (OTHERWISE NIL))))
 dummy-args = (N Z)
 real-args  = (0 $X)

/* This is the unevaluated form after passing the code which tests for a
function */

 form       = 
(LAMBDA (N UNUSED)
 (CASE N
  (0
   '((MTIMES) ((RAT) 1 2) Z
     ((MPLUS)
      ((MTIMES) $%PI ((%BESSEL_J) 1 Z) ((MQAPPLY) (($HSTRUVE ARRAY) 0) Z))
      ((MTIMES) ((%BESSEL_J) 0 Z)
       ((MPLUS) 2 ((MTIMES) -1 $%PI ((MQAPPLY) (($HSTRUVE ARRAY) 1) Z)))))))
  (1 '((MTIMES) -1 ((%BESSEL_J) 0 Z))) (OTHERWISE NIL)))
INTEGRALLOOKUPS: Found integral %BESSEL_J
Maxima encountered a Lisp error:

 
CAR: LAMBDA ist keine Liste.

Automatically continuing.
To reenable the Lisp debugger set *debugger-hook* to nil.

Because of this effect all Bessel integration tests fail on my system.

Dieter Kaiser


-----Urspr?ngliche Nachricht-----
Von: maxima-bounces at math.utexas.edu [mailto:maxima-bounces at math.utexas.edu] Im
Auftrag von Alexey Beshenov
Gesendet: Sonntag, 4. Januar 2009 22:02
An: maxima at math.utexas.edu
Betreff: Re: [Maxima] Integral lookup and CLISP

On Sunday 04 January 2009 23:48:00 Dieter Kaiser wrote:
> In CLISP the expression (functionp (lambda (x y) ... )) gives
> always NIL and not T as is expected. The evaluation is not done and
> later in the code we get an Lisp Error with the unevaluated lambda
> expression.
>
> For GCL the test with functionp works.

I tried CLISP 2.44.1 and everything is OK.

  (type-of (lambda (x) x))   => 'function
  (functionp (lambda (x) x)) => t

-- 
Prickle Prickle, Chaos 4 YOLD 3175
Alexey Beshenov  http://beshenov.ru/

_______________________________________________
Maxima mailing list
Maxima at math.utexas.edu
http://www.math.utexas.edu/mailman/listinfo/maxima