version 1.6, 2000/01/24 07:49:58 |
version 1.7, 2000/01/24 12:32:49 |
|
|
%% $OpenXM: OpenXM/doc/OpenXM-specs/cmo-basic1.tex,v 1.5 2000/01/24 07:36:35 noro Exp $ |
%% $OpenXM: OpenXM/doc/OpenXM-specs/cmo-basic1.tex,v 1.6 2000/01/24 07:49:58 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 185 stack machine commands for delayed evaluation. |
|
Line 185 stack machine commands for delayed evaluation. |
|
However it makes the implementation of stack machines complicated. |
However it makes the implementation of stack machines complicated. |
It is desirable that CMObject is independent of OX stack machine. |
It is desirable that CMObject is independent of OX stack machine. |
Therefore we introduce an OpenMath like tree representation for CMO |
Therefore we introduce an OpenMath like tree representation for CMO |
tree object. |
Tree object. |
This method allows us to implement tree structure easily |
This method allows us to implement tree structure easily |
on individual OpenXM systems. |
on individual OpenXM systems. |
Note that CMO Tree corresponds to Symbol and Application in OpenMath. |
Note that CMO Tree corresponds to Symbol and Application in OpenMath. |