RE: [Axiom-developer] Help with JET

[Vanuxem Grégory]

Hi,

I have tested JET with the December release of Axiom (downloaded the
01/25/06 at savannah) on Linux and that works correctly.


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))'.


Cheers,

Greg