RE: [Axiom-developer] Help with JET

[Bill Page]

On February 11, 2006 11:31 AM Vanuxem Grégory wrote:
> 
> I have tested JET with the December release of Axiom (downloaded the
> 01/25/06 at savannah) on Linux and that works correctly.
> 

Could you please provide detailed instructions as to what
you compiled and in what order you compiled the modules?

Are you using just the SPAD code or the Aldor code?

After everything is compiled, does it run the first example
properly?

> 
> But i have found, may be, a little mistake in the file
> foam_l.lisp.pamphlet
> 
> The diff from Peter Broadbery is :
> 
> ------------------------------------------------------------
> --- orig/src/interp/foam_l.lisp.pamphlet
> +++ mod/src/interp/foam_l.lisp.pamphlet
> @@ -884,8 +884,8 @@
>   (cond ( (or (NULL u) (NULL v)) nil)
>         ( (and (ATOM u) (ATOM v)) (eql u v))
>         ( (or (ATOM u) (ATOM v)) nil)
> -       ( (equal (length u) (length v)) (|magicEq1| u v)) 
> -       nil ))
> +;;       ( (equal (length u) (length v)) (|magicEq1| u v))
> +       (t (eq u v))))
>  
>  (defun |magicEq1| (u v)
>   (cond ( (and (atom u) (atom v)) (|politicallySound| u v))
> ------------------------------------------------------------
> 
> 
> and the content of foam_l.lisp.pamphlet is:
> 
> 
> ------------------------------------------------------------
>  (cond ( (or (NULL u) (NULL v)) nil)
>        ( (and (ATOM u) (ATOM v)) (eql u v))
>        ( (or (ATOM u) (ATOM v)) nil)
> ;; removed for Aldor integration
> ;;       ( (equal (length u) (length v)) (|magicEq1| u v)) 
>        nil ))
> 
> (defun |magicEq1| (u v)
>  (cond ( (and (atom u) (atom v)) (|politicallySound| u v))
> ------------------------------------------------------------
> 
> 
> There is a replacement of 'nil' by 't (eq u v))'.
> 

I presume that this would only affect Aldor code when run
inside Axiom, right?

What is the error that makes you think Peter's code is
incorrect?

Regards,
Bill Page.