[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] Help with JET
From: |
Vanuxem Grégory |
Subject: |
RE: [Axiom-developer] Help with JET |
Date: |
Sat, 11 Feb 2006 18:30:59 +0100 |
Hi,
Le samedi 11 février 2006 à 12:10 -0500, Bill Page a écrit :
> 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?
Compiled in this order:
-- JetBundle.spad (two times because of an error:
"|JetBundleCategory| is not of type SEQUENCE"
(probably a conflict between abbreviation and macro)
-- Sparse.spad
-- JetFunCat.spad
-- JetFun.spad
-- JetGeo.spad
-- DiffEq.spad
-- CarKur.spad
I haven't compiled the other files (some of them doesn't compile).
>
> Are you using just the SPAD code or the Aldor code?
I'm using only the spad code.
>
> After everything is compiled, does it run the first example
> properly?
Yes, it's the only sample that i've tested
(the result is correct).
>
> >
> > 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?
right.
>
> What is the error that makes you think Peter's code is
> incorrect?
I think Tim forgot (may be) to replace 'nil' by 't (eq u v))'.
Cheers,
Greg
> 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, 2006/02/11
- RE: [Axiom-developer] Help with JET,
Vanuxem Grégory <=
- 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