diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-10-15 03:44:37 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-10-15 03:44:37 +0000 |
| commit | 95ed543ae545cfffa8465807c7f361ffa3462045 (patch) | |
| tree | 2cef9217b984013393df2fbd69e088e70ece34b9 /src/algebra | |
| parent | 8860faa2722a28227923c28f1035d6c3fc6e5630 (diff) | |
| download | open-axiom-95ed543ae545cfffa8465807c7f361ffa3462045.tar.gz | |
* algebra/mkfunc.spad.pamphlet (coerce$InputForm): Display
InputForm as a one-dimensional stream of characters suitable
for input to the interpreter.
* interp/i-output.boot: Implement conversion of InputForm to
displayed OutputForm.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/mkfunc.spad.pamphlet | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/src/algebra/mkfunc.spad.pamphlet b/src/algebra/mkfunc.spad.pamphlet index a0edac2d..12194aff 100644 --- a/src/algebra/mkfunc.spad.pamphlet +++ b/src/algebra/mkfunc.spad.pamphlet @@ -1,21 +1,24 @@ \documentclass{article} \usepackage{axiom} -\begin{document} -\title{\$SPAD/src/algebra mkfunc.spad} + +\title{src/algebra mkfunc.spad} \author{Manuel Bronstein} + +\begin{document} \maketitle \begin{abstract} \end{abstract} -\eject \tableofcontents \eject + \section{domain INFORM InputForm} + <<domain INFORM InputForm>>= )abbrev domain INFORM InputForm ++ Parser forms ++ Author: Manuel Bronstein ++ Date Created: ??? -++ Date Last Updated: September 18, 2008 +++ Date Last Updated: October 14, 2008 ++ Description: ++ Domain of parsed forms which can be passed to the interpreter. ++ This is also the interface between algebra code and facilities @@ -191,6 +194,11 @@ InputForm(): s2 = 1 => s1 conv [convert("/"::Symbol), s1, s2]$List(%) + -- A displayed form of an InputForm should be suitable as + -- input to the interpreter parser. + coerce(x: %): OutputForm == + inputForm2OutputForm(x)$Lisp + @ \section{package INFORM1 InputFormFunctions1} <<package INFORM1 InputFormFunctions1>>= |