RE: [Axiom-developer] Help with JET

[Vanuxem Grégory]

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