=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/OpenXM.tex,v retrieving revision 1.3 retrieving revision 1.22 diff -u -p -r1.3 -r1.22 --- OpenXM/doc/OpenXM-specs/OpenXM.tex 2000/01/23 05:28:33 1.3 +++ OpenXM/doc/OpenXM-specs/OpenXM.tex 2016/08/22 09:08:50 1.22 @@ -1,31 +1,72 @@ -%% $OpenXM: OpenXM/doc/OpenXM-specs/OpenXM.tex,v 1.1.1.1 2000/01/20 08:52:46 noro Exp $ +%% $OpenXM: OpenXM/doc/OpenXM-specs/OpenXM.tex,v 1.21 2016/08/22 05:38:27 takayama Exp $ \documentclass{article} \IfFileExists{epsfig.sty}{\usepackage{epsfig}}{} +\usepackage{html} \begin{document} /*&jp -\title{{\bf Open XM の設計と実装} \\ +\title{{\bf Open XM の設計と実装: クライアントサーバモデルと数学共通表現 (OpenXM-RFC 100, proposed standard)} \\ --- Open message eXchange protocol for Mathematics } -\author{ 野呂正行\thanks{富士通研究所 -} , - 高山信毅\thanks{神戸大学理学部数学教室} -} -\date{ 2000年, 1月18日} +\author{ 野呂正行, + 高山信毅\thanks{神戸大学理学部数学教室,\htmladdnormallink{http://www.math.kobe-u.ac.jp/$\tilde{\ }$taka}{http://www.math.kobe-u.ac.jp/\tilde{\ }taka}}} +\date{ 1997年, 11月20日 --- 2000年, 11月17日, \\ + 2001年, 8月27日, 2002年, 1月20日 (小修正),\\ + これ以後の修正は changeLog を見よ.} */ /*&eg -\title{{\bf Design and Implementation of OpenXM} \\ - --- Open message eXchange protocol for Mathematics \\ - (English Abstract of Japanese Original Document)} -\author{ Masayuki Noro\thanks{Fujitsu Laboratory -} , - Nobuki Takayama\thanks{Department of Mathematics, Kobe University} +\title{{\bf Design and Implementation of OpenXM client server model and +common mathematical object format (OpenXM-RFC 100, proposed standard)} \\ + --- Open message eXchange protocol for Mathematics } -\date{ January 18, 2000 } +\author{ Masayuki Noro, + Nobuki Takayama\thanks{Department of Mathematics, Kobe University,\htmladdnormallink{http://www.math.kobe-u.ac.jp/$\tilde{\ }$taka}{http://www.math.kobe-u.ac.jp/\tilde{\ }taka}}} +\date{ November 20, 1997 --- November 17, 2000, \\ + August 27, 2001, January 20, 2002 (minor change), \\ + See changeLog about changes after this date.} */ + \maketitle +\noindent ChangeLog + +/*&eg + + +\noindent +2004-3-8: We add a new stackmacine command {\tt SM\_executeFunctionWithOptionalArgument}. \\ +2005-3-4: Added a description about a byte order negotiation to send floating +point numbers. {\tt CMO\_64BIT\_MACHINE\_DOUBLE} \\ +2016-08-22: Added a description on the bigfloat32. Old bigfloat is removed. +Refer to codes of oxpari. \\ +2016-08-22: option {\tt no\_ox\_reset} +*/ + + + +/*&jp + + +\noindent +2004-3-8: 新しい SM コマンド {\tt SM\_executeFunctionWithOptionalArgument} を加えた. \\ +2005-3-4: 浮動小数点数を送るための byte order negotiation についての + 記述を加えた. {\tt CMO\_64BIT\_MACHINE\_DOUBLE} \\ +2016-08-22: bigfloat32 の記述を加えた. 古い bigfloat の記述は削除した. +oxpari のコードも参照. \\ +2016-08-22: option {\tt no\_ox\_reset} +*/ + +\bigbreak + + +\newpage +\tableofcontents +\newpage \def\noroa#1{ } \def\remove#1{ } +//&C \noindent Draft for protocol version 1.1.3. \\ +//&C 1.1.3 is encoded as 001001003 in mathcap. \\ + + /*&jp {\tt kxx/openxxx.tex}. {\bf Draft} 1997, 11/20 --- . この文書は open XM の設計用のメモとしての役目もあるので, @@ -56,12 +97,42 @@ /*&C \begin{thebibliography}{99} -\bibitem{openmath} {\tt http://www.openmath.org} -\bibitem{openxxx} {\tt http://www.math.kobe-u.ac.jp/OpenXM/ (under construction)} +\bibitem{GKW} +Gray, S., Kajler, N. and Wang, P. S., +Design and Implementation of MP, a Protocol for Efficient + Exchange of Mathematical Expressions, + {\sl Journal of Symbolic Computation}, 1996. +\bibitem{gap} +Linton, S. and Solomon, A., +OpenMath, IAMC and {\tt GAP}, +preprint, 1999. +\bibitem{asir} +Noro, M. et al., +A Computer Algebra System {\tt Risa/Asir}, 1993, 1995, 2000\\ +\htmladdnormallink{ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/}{ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/} +\bibitem{openmath} \htmladdnormallink{{\tt http://www.openmath.org}}{http://www.openmath.org} +\bibitem{openxxx} \htmladdnormallink{{\tt http://www.math.kobe-u.ac.jp/OpenXM}/}{http://www.math.kobe-u.ac.jp/OpenXM/} \rm \bibitem{openasir-intro} Ohara, Takayama, Noro: Introduction to Open Asir , 1999, (in Japanese), -Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG , Tokyo). \\ -{\tt http://www.math.kobe-u.ac.jp/OpenXM/} +Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG , Tokyo). +\bibitem{kan} +Takayama, N., +{\em Kan: A system for computation in +algebraic analysis,} 1991 version 1, +1994 version 2, the latest version is 2.991106. +\htmladdnormallink{ftp://ftp.math.kobe-u.ac.jp/pub/kan}{ftp://ftp.math.kobe-u.ac.jp/pub/kan} +\bibitem{phc} +Verschelde, J., +PHCpack: A general-purpose solver for polynomial systems by +homotopy continuation. ACM Transaction on Mathematical Softwares, 25(2) +251-276, 1999. +\bibitem{iamc} +Wang, P., +Design and Protocol for Internet Accessible Mathematical Computation. +Technical Report ICM-199901-001, ICM/Kent State University, 1999. +\bibitem{xml} +XML +\htmladdnormallink{\tt http://www.w3c.org}{http://www.w3c.org} \end{thebibliography} */ @@ -73,8 +144,11 @@ Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086- \small{ \noindent \rightline{ Masayuki Noro,} - \rightline{ Fujitsu Laboratory, Kawasaki, Japan;} - \rightline{{\tt noro@para.flab.fujitsu.co.jp}} + \rightline{ FUJITSU LABORATORIES LTD., Kawasaki, Japan; (by Aug., 2000)} + \rightline{{\tt noryo@flab.fujitsu.co.jp}} + \rightline{Current Address: Department of Mathematics, Kobe University, + Rokko, Kobe, 657-8501, Japan;} +\rightline{{\tt noro@math.kobe-u.ac.jp}} \vskip .5cm