help links subscribe changes refresh edit

	SandBox
SandBoxSSPM ←	↑	→ SandBoxSage

SandBoxSTRING2SPAD

Edit detail for SandBoxSTRING2SPAD revision 1 of 7

	1 2 3 4 5 6 7
Editor: Bill Page Time: 2011/03/07 16:07:04 GMT-8
Note: new

changed:
-
This fails with an obscure error message
\begin{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) ))
\end{axiom}

\begin{axiom}
S:=[")abbrev domain XXX xxx","xxx():BasicType == Integer"]
STRING2SPAD(S)$Lisp
\end{axiom}

But works if we first compile something using a ')comiple file.spad' command
\begin{spad}
)abbrev domain YYY yyy
yyy():BasicType==Integer
\end{spad}

\begin{axiom}
STRING2SPAD(S)$Lisp
\end{axiom}

So presumablly something is being loaded dynamically.

This 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]$

(1)

Type: List(String)

axiom

STRING2SPAD(S)$Lisp

   XXX abbreviates domain xxx 

   >> System error:
   The function |recordHeaderDocumentation| is undefined.

But works if we first compile something 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:07:07 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.065
------------------------------------------------------------------------
   yyy is now explicitly exposed in frame initial 
   yyy will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/YYY.NRLIB/YYY

axiom

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:07:09 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.052
------------------------------------------------------------------------
   xxx is now explicitly exposed in frame initial 
   xxx will be automatically loaded when needed from 
      /var/zope2/var/LatexWiki/XXX.NRLIB/XXX

$\label{eq2}T$

(2)

Type: SExpression?

So presumablly something is being loaded dynamically.