|
|
|
last edited 13 years ago by page |
Edit detail for SandBoxSTRING2SPAD revision 2 of 7
| 1 2 3 4 5 6 7 | ||
|
Editor: Bill Page
Time: 2011/03/07 16:14:24 GMT-8 |
||
| Note: credits | ||
changed: -This fails with an obscure error message Waldek Hebisch helped me with writing the following Lisp code to call the SPAD compiler from the FriCAS/AXIOM interpreter. Unfortunately it fails with an obscure error message changed: -S:=[")abbrev domain XXX xxx","xxx():BasicType == Integer"] S:=[")abbrev domain XXX xxx", "xxx():BasicType == Integer"] changed: -But works if we first compile something using a ')comiple file.spad' command unless if we first compile something else using a ')comiple file.spad' command
Waldek Hebisch helped me with writing the following Lisp code to call the SPAD compiler from the FriCAS?/AXIOM interpreter.
Unfortunately it fails with an obscure error message
axiom
)lisp (defun string2spad (the-string-list) (let* ( ($LISPLIB t) (|$QuickLet| t) (|$QuickCode| t) (|$InteractiveMode| nil) (*standard-input* (make-string-input-stream (format nil "~{~A~^~%~}" the-string-list)))) (declare (special $LISPLIB |$InteractiveMode|)) (|spadCompile| nil) ))
Value = STRING2SPAD
axiom
S:=[")abbrev domain XXX xxx","xxx():BasicType == Integer"]
![\label{eq1}\begin{array}{@{}l}
\displaystyle
\left[ \mbox{\tt ")abbrev domain XXX xxx"}, \: \mbox{\tt "xxx():BasicType == Integer"}\right]](images/2592070510666787734-16.0px.png "\label{eq1}\begin{array}{@{}l}
\displaystyle
\left[ \mbox{\tt \")abbrev domain XXX xxx\"}, \: \mbox{\tt \"xxx():BasicType == Integer\"}\right]") | (1) |
Type: List(String)
axiom
STRING2SPAD(S)$Lisp
XXX abbreviates domain xxx
>> System error: The function |recordHeaderDocumentation| is undefined.
unless if we first compile something else using a )comiple file.spad command
spad
)abbrev domain YYY yyy yyy():BasicType==Integer
spad
Compiling FriCAS source code from file
/var/zope2/var/LatexWiki/174773479446238758-25px003.spad using
old system compiler.
YYY abbreviates domain yyy
------------------------------------------------------------------------
initializing NRLIB YYY for yyy
compiling into NRLIB YYY
(time taken in buildFunctor: 0)
;;; *** |yyy| REDEFINED
;;; *** |yyy| REDEFINED
Time: 0.04 SEC.
Cumulative Statistics for Constructor yyy
Time: 0.04 seconds
--------------non extending category----------------------
.. yyy of cat
(|BasicType|) has no
(|IntegerNumberSystem|) finalizing NRLIB YYY
Processing yyy for Browser database:
--->-->yyy(): Missing Description
; compiling file "/var/zope2/var/LatexWiki/YYY.NRLIB/YYY.lsp" (written 07 MAR 2011 04:14:09 PM):
; compiling (/VERSIONCHECK 2)
; compiling (DEFUN |yyy| ...)
; compiling (DEFUN |yyy;| ...)
; compiling (MAKEPROP (QUOTE |yyy|) ...)
; compiling (MAKEPROP (QUOTE |yyy|) ...)
; /var/zope2/var/LatexWiki/YYY.NRLIB/YYY.fasl written
; compilation finished in 0:00:00.140
------------------------------------------------------------------------
yyy is now explicitly exposed in frame initial
yyy will be automatically loaded when needed from
/var/zope2/var/LatexWiki/YYY.NRLIB/YYYaxiom
STRING2SPAD(S)$Lisp
;)abbrev domain XXX xxx XXX abbreviates domain xxx ;xxx():BasicType == Integer ------------------------------------------------------------------------ initializing NRLIB XXX for xxx compiling into NRLIB XXX (time taken in buildFunctor: 0)
;;; *** |xxx| REDEFINED
;;; *** |xxx| REDEFINED Time: 0.05 SEC.
Cumulative Statistics for Constructor xxx Time: 0.05 seconds
--------------non extending category---------------------- .. xxx of cat (|BasicType|) has no (|IntegerNumberSystem|) finalizing NRLIB XXX Processing xxx for Browser database: --->-->xxx(): Missing Description ; compiling file "/var/zope2/var/LatexWiki/XXX.NRLIB/XXX.lsp" (written 07 MAR 2011 04:14:11 PM): ; compiling (DEFUN |xxx| ...) ; compiling (DEFUN |xxx;| ...) ; compiling (MAKEPROP (QUOTE |xxx|) ...) ; compiling (MAKEPROP (QUOTE |xxx|) ...)
; /var/zope2/var/LatexWiki/XXX.NRLIB/XXX.fasl written ; compilation finished in 0:00:00.048 ------------------------------------------------------------------------ xxx is now explicitly exposed in frame initial xxx will be automatically loaded when needed from /var/zope2/var/LatexWiki/XXX.NRLIB/XXX
 | (2) |
Type: SExpression?
So presumablly something is being loaded dynamically.