[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [AldorForAxiom]
From: |
kratt6 |
Subject: |
[Axiom-developer] [AldorForAxiom] |
Date: |
Wed, 12 Jan 2005 03:59:41 -0600 |
??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