version 1.7, 2000/01/24 12:32:49 |
version 1.8, 2000/02/28 14:10:27 |
|
|
%% $OpenXM: OpenXM/doc/OpenXM-specs/cmo-basic1.tex,v 1.6 2000/01/24 07:49:58 noro Exp $ |
%% $OpenXM: OpenXM/doc/OpenXM-specs/cmo-basic1.tex,v 1.7 2000/01/24 12:32:49 noro Exp $ |
//&jp \section{ 数, 多項式 の CMO 表現 } |
//&jp \section{ 数, 多項式 の CMO 表現 } |
//&eg \section{ CMOexpressions for numbers and polynomials } |
//&eg \section{ CMOexpressions for numbers and polynomials } |
\label{sec:basic1} |
\label{sec:basic1} |
Line 224 It is the same as the Lambda expression in Lisp. |
|
Line 224 It is the same as the Lambda expression in Lisp. |
|
Example: |
Example: |
\begin{verbatim} |
\begin{verbatim} |
sm1> [(plus) (Basic) [(123).. (345)..]] [(class) (tree)] dc :: |
sm1> [(plus) (Basic) [(123).. (345)..]] [(class) (tree)] dc :: |
Class.tree [ $plus$ , $Basic$ , [ 123 , 345 ] ] |
Class.tree [ $plus$ , $basic$ , [ 123 , 345 ] ] |
\end{verbatim} |
\end{verbatim} |
|
|
|
|