[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] Help with JET
From: |
Bill Page |
Subject: |
RE: [Axiom-developer] Help with JET |
Date: |
Sat, 11 Feb 2006 12:10:01 -0500 |
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.
- [Axiom-developer] Help with JET, Bill Page, 2006/02/09
- Re: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/09
- Re: [Axiom-developer] Help with JET, root, 2006/02/09
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/09
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/09
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET,
Bill Page <=
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- Re: [Axiom-developer] Help with JET, root, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/13
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/13
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/11
[Axiom-developer] non extending category, Bill Page, 2006/02/10