=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/OpenXM.tex,v retrieving revision 1.2 retrieving revision 1.23 diff -u -p -r1.2 -r1.23 --- OpenXM/doc/OpenXM-specs/OpenXM.tex 2000/01/23 00:41:08 1.2 +++ OpenXM/doc/OpenXM-specs/OpenXM.tex 2020/03/14 01:21:56 1.23 @@ -1,35 +1,76 @@ -%% $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.22 2016/08/22 09:08:50 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綛, 1120 --- 2000綛, 1117, \\ + 2001綛, 827, 2002綛, 120 (絨鋓罩),\\ + 篁ュ篆罩ｃ 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 の設計用のメモとしての役目もあるので, -一部のファイル名は開発者のみが参照できる. +吾 open XM 荐荐＜≪綵合, +筝＜ゃ肴帥сс. */ /*&C @@ -49,19 +90,49 @@ \input{implementation} \input{howtowrite} \input{cmo-register} -\input{appendix} +%\input{appendix} \input{library} */ /*&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