[Axiom-developer] [AldorForAxiom]

[kratt6]

??changed:
-   'axextend.lsp.pamphlet' and run 'document axextend.lsp.pamphlet', to obtain
-   the proper lisp code.
   'axextend.lsp.pamphlet' and edit its second line, such that it reads 
   '\usepackage{axiom}' instead of 
   '\usepackage{../../../../../src/scripts/tex/axiom}'. Then run 
   'document axextend.lsp.pamphlet', to obtain the proper lisp code. Do the 
same 
   for the file 'foam_l.lsp', in the same directory.

??changed:
-'src/interp' directory of your axiom (source-) distribution for every one of
appropriate directory of your axiom (source-) distribution for every one of

??changed:
-A patch for 'as.boot.pamphlet' ::
A patch for 'src/interp/as.boot.pamphlet' ::

??changed:
-A patch for 'ax.boot.pamphlet' ::
A patch for 'src/interp/ax.boot.pamphlet' ::

??changed:
-And finally a patch for 'i-syscmd.boot.pamphlet' ::
A patch for '/src/interp/i-syscmd.boot.pamphlet' ::

++added:

And finally a patch for 'lsp/ccl/src/axbase/compiler/lib/foam_l.lsp' ::

  --- foam_l.lsp  2005-01-12 10:40:43.000000000 +0100
  +++ foam_l.lsp  2005-01-12 10:20:44.000000000 +0100
  @@ -869,8 +869,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))

??changed:
-I compiled it with Aldor as above. In axiom you should get::
-
I compiled it with Aldor as above. In Axiom you should do::

  )lisp (load 
"/home/rubey/axiom--main--1--patch-24/lsp/ccl/src/axbase/compiler/lib/foam_l.lsp")
  )lisp (load 
"/home/rubey/axiom--main--1--patch-24/lsp/ccl/src/axbase/compiler/lib/axextend.lsp")

--removed:
-  )lisp (load 
"/home/rubey/axiom--main--1--patch-24/lsp/ccl/src/axbase/compiler/lib/axextend.lsp")

??changed:
-   (2) -> fact(4)\$Test
-    
-      >> System error:
-      #<vector 08cf4150> is not of type LIST.
-
-As you can see, starting with the second application of a function in the
-domain, Axiom fails. Maybe you can fix this? Concerning his patch, Peter also
-pointed out that

Concerning his patches, Peter also pointed out 
that

??changed:
-')lisp (setq |$monitorNewWorld| t)', but not quite...
')lisp (setq |$monitorNewWorld| t)', but not quite... Peter said, that it's on 
the 
interpreter side. You can read the whole thread on 
http://lists.gnu.org/archive/html/axiom-developer/2005-01/msg00154.html

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden