diff options
Diffstat (limited to 'src/algebra/mkfunc.spad.pamphlet')
| -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>>= |