=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/ox.sm1,v retrieving revision 1.22 retrieving revision 1.23 diff -u -p -r1.22 -r1.23 --- OpenXM/src/kan96xx/Doc/ox.sm1 2003/01/01 02:03:41 1.22 +++ OpenXM/src/kan96xx/Doc/ox.sm1 2003/07/21 07:31:59 1.23 @@ -1,78 +1,62 @@ -%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.21 2002/11/08 14:18:00 takayama Exp $ +%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.22 2003/01/01 02:03:41 takayama Exp $ -/ox.sm1.loaded 1 def -%%%%%%%%%%%% Configuration: Specify your server path -%%%%% ox, ox_sm1, oxlog are contained in kxx.tgz -%%%%% These should be under /usr/local/lib/sm1 or LOAD_SM1_PATH -/oxpath.ox (bin/ox) def -/oxpath.oxsm1 (bin/ox_sm1) def -/oxpath.oxlog (bin/oxlog) def -/oxpath.xterm (/usr/X11R6/bin/xterm -icon -e ) def -/oxpath.null ( ) def -/oxpath.null00 ( >& /dev/null ) def %%cf. oxNoX -/oxpath.null00-pure-sh ( 2>&1 >/dev/null) def %%TODO:It does not work in our case -%%%%%%%%%%%%% The following is used only for sm1connectr-ssh. -%%%%%%%%%%%%% Configure path for ox and ox_sm1 on your remote machine. -/oxpath.oxlog.xterm-ssh (/home/taka/OpenXM/bin/oxlog /usr/X11R6/bin/xterm -icon -e ) def -/oxpath.oxsm1-ssh (/home/taka/OpenXM/bin/ox_sm1) def -/oxpath.ox-ssh (/home/taka/OpenXM/bin/ox) def -/myhostname-ssh (yama.math.kobe-u.ac.jp) def -%% for debugging. -%/oxpath.oxlog.xterm-ssh ( ) def -%/oxpath.oxsm1-ssh (/home/nobuki/OpenXM/bin/ox_sm1) def -%/oxpath.ox-ssh (/home/nobuki/OpenXM/bin/ox) def -%/myhostname-ssh (localhost) def -%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -%% Old full path. -%/oxpath.ox (/home/nobuki/kxx/ox) def -%/oxpath.oxsm1 (/home/nobuki/kxx/ox_sm1) def -%/oxpath.oxlog (/home/nobuki/kxx/oxlog) def -%/oxpath.xterm (/usr/X11R6/bin/xterm -icon -e ) def +/ox.sm1.myname (ox-new.sm1) def -%% This macro is invoked when this package is loaded. -/initializePathNamesForOx { - [oxpath.ox] getPathNameSm1 /oxpath.ox set - [oxpath.oxsm1] getPathNameSm1 /oxpath.oxsm1 set - [oxpath.oxlog] getPathNameSm1 /oxpath.oxlog set - /oxpath.oxlog.xterm [oxpath.oxlog ( ) oxpath.xterm] cat def -} def +[(ostype)] extension 0 get (unix) eq { + /oxstart100 + [[(getenv) (OpenXM_HOME)] extension (/bin/ox100start )] cat + def +} { + /oxstart100 + [[(getenv) (OpenXM_HOME)] extension + (/bin/ox100start.exe )] cat + def +} ifelse +[(getenv) (OXSTART100)] extension tag 0 eq not { + /oxstart100 [(getenv) (OXSTART100)] extension def +} { } ifelse +oxstart100 message -%% Execute this macro, then xterm will not be executed and the output -%% will be redirected to /dev/null. -/oxNoX { - /oxpath.null oxpath.null00 def - /oxpath.oxlog.xterm [oxpath.oxlog ( )] cat def - (oxpath.oxlog.xterm is set to ) messagen - oxpath.oxlog.xterm message -} def +/ox.sm1.loaded 1 def +/oxasir.sm1.loaded 1 def +/ox.k0.loaded 1 def +/Ox103_loaded 1 def -/ox.ccc.init { - ox.ccc ( [(oxPrintMessage) 0] extension pop ) oxsubmit - (Ox103_loaded) boundp - { ox.ccc ox103_sm1_init } - { } ifelse -} def - /ox.verbose 0 def -/ox.version (2.981105) def +/ox.version (3.030000) def ox.version [(Version)] system_variable gt { (This package requires the latest version of kan/sm1) message (Please get it from http://www.math.kobe-u.ac.jp/KAN) message error } { } ifelse -(ox.sm1, ---OpenXM protocol module 08/22, 2001 (C) N.Takayama. oxhelp for help) message-quiet +(ox.sm1, ---OpenXM protocol module 07/20, 2003 (C) N.Takayama.) message-quiet +( for ox_sm1, ox_asir, ox_k0 ) message-quiet /ox.ccc load isArray { } { /ox.ccc [ ] def } ifelse +/oxsm1.ccc load isArray +{ } +{ /oxsm1.ccc [ ] def } ifelse +/ox.takelog 0 def +(@@@.Xm_noX) boundp { +}{ + /@@@.Xm_noX 0 def +} ifelse +(Xm_noX) boundp { + /@@@.Xm_noX Xm_noX def +}{ } ifelse +/Xm_noX @@@.Xm_noX def +/oxNoX { + /Xm_noX 1 def +} def -/ox.logsize 10 def -/ox.log [1 1 ox.logsize {pop 0} for ] def -/ox.mod { dup ox.logsize idiv ox.logsize mul sub } def -/ox.takelog 1 def +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%% basic functions for OX-RFC 100 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% /SM_executeStringByLocalParser 268 def /SM_execute 268 def /SM_popString 263 def @@ -98,46 +82,16 @@ ox.version [(Version)] system_variable gt /Etag_error 257 def -/enginesList [ - [(localhost) 1300 1200] - [(localhost) 2300 2200] -] def -%% cf. startengines -/enginesList.2 [ - [(dc1) 1300 1200] - [(dc2) 2300 2200] -] def -%% cf. se12 - -/oxconnect { - /arg1 set - [(oxCreateClient) arg1 aload pop] extension -} def -[(oxconnect) - [([hostname data-port control-port] oxconnect pid) - (oxconnect is used to connect this to a server on the hostname with data-port) - (and control-port) - (Example 1: ox -ox ox_sm1 -data 1300 -control 1200 <== on server.) - ( [$localhost$ 1300 1200] oxconnect /ox.ccc set <== on client.) - (Example 2: ox -ox ox_sm1 -host s.OpenXM.org -insecure -data 1300 -control 1200 <== on server.) - ( [$s.OpenXM.org$ 1300 1200] oxconnect /ox.ccc set <== on client.) - (Example 3: ox -ox ox_sm1 -data 1300 -control 1200 >& /dev/null &<== on server.) - ( [$localhost$ 1300 1200] oxconnect /ox.ccc set <== on client.) - ( cf. oxNoX) - (See also ox) - ] -] putUsages - [(ox) [ (client aa oxpushcmo (oxsendcmo), client oxpopcmo dd, client popstring dd, client ss oxrpc) - (Example: ox.ccc [1 2 3] oxpushcmo ox.ccc oxpopcmo /ff set ff :: ) + (Example: oxsm1.ccc [1 2 3] oxpushcmo oxsm1.ccc oxpopcmo /ff set ff :: ) ( ) (client ss oxexecutestring(oxsubmit) <>, client ss oxexec <>) - (Example: ox.ccc (0 1 10 { pop $Hello$ message } for) oxexecutestring ) - (Example: ox.ccc (2).. oxpushcmo ox.ccc (10).. oxpushcmo ) - ( ox.ccc (power) oxexec ox.ccc oxpopcmo :: ) + (Example: oxsm1.ccc (0 1 10 { pop $Hello$ message } for) oxexecutestring ) + (Example: oxsm1.ccc (2).. oxpushcmo oxsm1.ccc (10).. oxpushcmo ) + ( oxsm1.ccc (power) oxexec oxsm1.ccc oxpopcmo :: ) ( ) (client str oxevalname, client str oxsetname, client num oxpops, client oxget) ( ) @@ -147,71 +101,20 @@ ox.version [(Version)] system_variable gt (cleint oxisData, client oxreset, client oxshutdown) (oxhelp for this message, [(oxWatch) client] extension to start a log.) ([(oxSerial)] extension serial-number-of-out-going-ox-packet.) - (oxpopcmo1, oxpopcmo2, sm1connect2, sm1connect3) - (sm1connectr ox_launch, ox_launch_nox) + (oxpopcmo1, oxpopcmo2, sm1connectr ox_launch, ox_launch_nox) (oxNoX : set an environment to invoke oxlog without xterm and to call oxlog with >& /dev/null) - (oxresetAll, oxIsInterruptable, [(oxGetClientList)] extension ) $ ex 1. (ox.sm1) run oxNoX sm1connectr $ - $ ex 2. (oxasir.sm1) run oxNoX (x^2-1). fctr pmat ; $ + $ ex 2. (ox.sm1) run oxNoX (x^2-1). fctr pmat ; $ ] ] putUsages -/oxhelp { - (oxconnect) usage - ( ) message - (ox) usage +/oxconnect { + /arg1 set + [(oxCreateClient) arg1 aload pop] extension } def -[(oxhelp) - [(oxhelp outputs help messages for ox commands.) -]] putUsages ox.verbose { oxhelp } { } ifelse -/sm1connect2 { - [oxpath.oxlog.xterm oxpath.ox ( -ox ) oxpath.oxsm1 - oxpath.null - ( &)] cat system-csh -% (kterm -iconic -e /home/nobuki/kxx/ox -ox /home/nobuki/kxx/ox_sm1 &) system -% For MSRI, or Eterm, -%(xterm -icon -e /u/nobuki/tmp/kxx/ox -ox /u/nobuki/tmp/Ox/ox_sm1 &) system - (If you start the server automatically, you may have a trouble to) message - (oxreset. In order to avoid this trouble, start the server by hand.) message - (sleep 5) system-csh - [(localhost) 1300 1200] oxconnect /ox.ccc set - (The server is binded to the variable ox.ccc) message - ox.ccc.init -} def - -/sm1connect3 { - [oxpath.oxlog.xterm oxpath.ox ( -ox ) oxpath.oxsm1 - ( -data 2300 -control 2200 ) - oxpath.null - ( &)] cat system-csh -% (kterm -iconic -e /home/nobuki/kxx/ox -ox /home/nobuki/kxx/ox_sm1 -data 2300 -control 2200 &) system-csh -% For MSRI -%(xterm -icon -e /u/nobuki/tmp/kxx/ox -ox /u/nobuki/tmp/Ox/ox_sm1 -data 2300 -control 2200&) system-csh - (If you start the server automatically, you may have a trouble to) message - (oxreset. In order to avoid this trouble, start the server by hand.) message - (sleep 5) system-csh - [(localhost) 2300 2200] oxconnect /ox.ccc2 set - (The server is binded to the variable ox.ccc2) message -} def - -/sm1connect4 { - %% test version. - /ox.ccc.portfile oxgenportfile def - [oxpath.oxlog.xterm oxpath.ox ( -ox ) oxpath.oxsm1 - ( -portfile ) ox.ccc.portfile - oxpath.null - ( &)] cat system-csh - (sleep 5) system-csh - [(oxReadPortFile) ox.ccc.portfile] extension /ox.ccc.control set - ox.ccc.control message - [(localhost) ox.ccc.control 1200] /ox.ccc set - (The server is binded to the variable ox.ccc) message - oxremoveportfile -} def - /oxpushcmo { oxsendcmo } def /oxsendcmo { /arg1 set @@ -268,19 +171,7 @@ ox.verbose { oxhelp } { } ifelse ] pop popVariables } def -/oxsetmathcap.old { - /arg1 set - [(oxReq) - arg1 SM_setMathCap - [(mathcap-object) - [[199901160 (sm1)] - [2130706434 , 1 , 2 , 4 , 17 , 19 , 20 , 22 , 23 , 24 , 25 , 26 , 30 ] - %% mathcap for sm1. - %% [1 2 3 4 5] %% for test. cf. cmoCheckMathCap, Sm1_mathcap() - ] - ] %% Never write a broken data here. - ] extension pop -} def + /oxpopcmo1 { %% ask of the transmission. /arg1 set [(oxReq) arg1 SM_popCMO ] extension pop @@ -407,130 +298,137 @@ ox.verbose { oxhelp } { } ifelse }def %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -/enginescmd - $ /computesp { - /arg1 set - [arg1 myid] arg1 message - } def - $ -def +/ox_launch_nox { + /@@@.ox_launch_nox 1 def + ox_launch_aux +} def +/ox_launch { + /@@@.ox_launch_nox 0 def + ox_launch_aux +} def +/ox_launch_aux { + /arg1 set + [/in-launch_nox /pass /peer /data /control /name /machine + /your-peer /comm /remoteOpenXMbin /remoteServer /myhost + /argNumber /aaa + ] pushVariables + [ + /aaa arg1 def + /argNumber aaa length def + /machine aaa 0 get def + machine (localhost) eq argNumber 5 lt and { + aaa 1 get ox_launch_localhost /your-peer set + /LLL.end goto + } { + /remoteOpenXMbin aaa 1 get def + /remoteServer aaa 2 get def + /name aaa 3 get def + /myhost aaa 4 get def + } ifelse -/genPairs { - /arg1 set - [/n /i /j] pushVariables - [ - /n arg1 def - /genPairs.list [ ] def - /genPairs.i 0 def - 0 1 n 1 sub { - /i set - i 1 add 1 n 1 sub { - /j set - genPairs.list [i j] append /genPairs.list set - } for - } for - /genPairs.n genPairs.list length def - ] pop - popVariables -} def + /pass [(oxGenPass)] extension def + /peer [(oxGetPort) myhost] extension def + /data peer 1 get toString def + /control peer 3 get toString def + peer message + [(ssh -f ) machine ( -l ) name ( ") -/getPair { - [/i ] pushVariables - [ - genPairs.i genPairs.n lt { - genPairs.list genPairs.i get /ans set - genPairs.i 1 add /genPairs.i set - } - { [-1 -1] /ans set} ifelse - /arg1 ans def - ] pop - popVariables - arg1 -} def + @@@.ox_launch_nox { + } { + remoteOpenXMbin(/oxlog ) + ( /usr/X11R6/bin/xterm -icon -e ) + } ifelse -/sumUp { - /arg1 set - [/ans /v /i /n] pushVariables - [ - /v arg1 def - /n v length def - /ans 0 def - 0 1 n 1 sub { - /i set - ans v i get add /ans set - } for - /arg1 ans def - ] pop - popVariables - arg1 + ( ) remoteOpenXMbin (/ox ) + ( -reverse -ox ) remoteServer + ( -host ) myhost + ( -data ) data ( -control ) control ( -pass ) pass + oxpath.null + ( ") + ] cat /comm set + (Executing the command : ) messagen comm message message + comm system + (sleep 5) system-csh + [(oxCreateClient2) peer 1 pass] extension /your-peer set + /LLL.end + /arg1 your-peer def + ] pop + popVariables + arg1 } def +[(ox_launch) +[( [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] ) + ( ox_launch client ) + $or $ + $ [(localhost) ox-server-name] ox_launch client$ + (Example 1: ) + $ [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin) $ + $ (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp) $ + $ ] ox_launch /@@@.oxmath set $ +]] putUsages -/dist { - /dist.debug 0 def - /result [ ] def - enginesList {oxconnect} map /engines set - /enginesN engines length def - % broadcast the program. - (ox-1.sm1) pushfile /enginescmd set %% read a file. - [(parse) enginescmd] extension - engines {enginescmd oxsubmit} map - engines { (slave-start) oxsubmit} map %% initialize slave codes. - %% send pid. - 0 1 enginesN 1 sub { - /i set - engines i get i oxsendcmo - engines i get (/myid set) oxsubmit - } for +[(ox_launch_nox) +[( [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] ) + ( ox_launch_nox client ) + (Example 1: ) + $ [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin) $ + $ (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp) $ + $ ] ox_launch_nox /@@@.oxmath set $ +]] putUsages - master-start %% initialize master codes - %% gbsize genPairs %% obsolete - /gbsize ans length def - ans makePairs /genPairs.list set - /genPairs.i 0 def /genPairs.n genPairs.list length def - +/ox_launch_localhost { + /arg1 set + [/in-ox_launch_localhost /pass /peer /data /control /oxserver + /my-peer] pushVariables + [ + /oxserver arg1 def + /pass [(oxGenPass)] extension def + /peer [(oxGetPort) (localhost)] extension def + /data peer 1 get toString def + /control peer 3 get toString def + peer message + [oxpath.oxlog.xterm oxpath.ox ( -reverse -ox ) oxserver + ( -data ) data ( -control ) control ( -pass ) pass + oxpath.null + ( &)] cat system-csh + [(oxCreateClient2) peer 0 pass] extension /my-peer set + %% 0 means connect from only localhost. + /arg1 my-peer def + ] pop + popVariables + arg1 +} def - /exhausted 0 def - % clear the busy flag. - /busy [1 1 enginesN { pop 0 } for ] def - (date) system-csh - {{ - exhausted 0 eq { - 0 1 enginesN 1 sub { - /i set - busy i get 0 eq { - getPair /p set - p 0 get -1 eq {/exhausted 1 def exit} { } ifelse - busy i 1 put - engines i get p oxsendcmo - engines i get ( computesp ) oxsubmit - engines i get oxpopcmo1 - } { } ifelse - } for - } { } ifelse - dist.debug { (busy=) messagen busy message } { } ifelse - busy sumUp 0 eq { result message exit error } { } ifelse - [(oxMultiSelect) engines -1] extension /status set - /datastatus status 1 get def - dist.debug { (datastatus=) messagen datastatus message } { } ifelse - 0 1 enginesN 1 sub { - /i set - datastatus i get 1 eq { - engines i get oxpopcmo2 /ans set - busy i 0 put - result ans append /result set - } { } ifelse - } for - } loop } timer - (date) system-csh - (result is in result) message - (Number of s-pairs checked is ) messagen result length message +/oxrpc2 { + /arg2 set + /arg1 set + [/in-oxrpc2 /pid /n /comm /i] pushVariables + [ + /pid arg1 def + /comm arg2 def + /n comm length def + n 1 sub -1 1 { + /i set + pid comm i get oxsendcmo + } for + pid n 1 sub oxsendcmo + pid comm 0 get oxexec + ] pop + popVariables } def -ox.verbose { - (dist for experiments for distributed computing. cf. startengines) message -} { } ifelse +[(oxrpc2) + [(Remote procedure call by using oxexec) + (client [function-name arg1 arg2 ...] oxrpc2 ) + (cf. ox-cmo-rpc in Risa/Asir) + (Example: ) + $ (oxasir.sm1) run (x^2-1). fctr $ + (oxasir.ccc [(igcd) (6).. (10)..] oxrpc2) + (oxasir.ccc oxpopcmo :: ) + ] +] putUsages /oxIsServerReady { /arg1 set @@ -549,41 +447,163 @@ ox.verbose { arg1 } def +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%% Functions to start server by OX-RFC-101 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +/sm1StartControl101 { + [/in-sm1connectr /pass /peer /data /control ] pushVariables + [ + /pass [(oxGenPass)] extension def + /peer [(oxGetPort1) (localhost)] extension def + /data peer 1 get toString def + peer message + [(/home/nobuki/OpenXM/src/oxc/oxc) + ( -c ) pass ( -h ) (localhost) ( -p ) data ( -x ) + oxpath.null + ( &)] cat system-csh -%%%%%%%%%%%%%%% tests -ox.verbose { - (test10 : test to read and write ox-data and ox-command to a file) message -} { } ifelse + [(oxCreateControl_RFC_101) peer 0 pass] extension /oxsm1.ccc set + %% 0 means connect from only localhost. + /ox.ccc oxsm1.ccc def + (The server is binded to the variable oxsm1.ccc) message + oxsm1.ccc + ] pop + popVariables +} def -/test10 { - [(oxCreateClientFile) (afo) (w)] extension /ccc set - [(oxWatch) ccc] extension - ccc (x-1). oxsendcmo - [(oxReq) ccc SM_executeStringByLocalParser - ( dup add message )] extension pop - ccc (quit) oxsendcmo +/sm1StartEngine101 { + [/in-sm1StartEngine101 /peer /data /control /engineID] pushVariables + [ + /peer [(oxGetPort1) (localhost)] extension def + /data peer 1 get def - [(oxCloseClient) ccc] extension + oxsm1.ccc data oxpushcmo + oxsm1.ccc (/home/nobuki/OpenXM/bin/ox_sm1) oxpushcmo + [(oxPushCMD) oxsm1.ccc SM_control_spawn_server] extension + oxsm1.ccc oxpopcmo /engineID set + [(oxCreateEngine_RFC_101) peer 0 (Empty) engineID] extension + /ox.ddd set + (The engine is binded to the variables ox.ddd) message + ] pop + popVariables + arg1 } def -/test11 { - [(oxCreateClientFile) (afo) (r)] extension /ccc set - [(oxGet) ccc] extension :: - [(oxGet) ccc] extension :: +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%% Functions for OX-RFC 103 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +/ctrlC-hook { + ox103_reset } def +/ox103_disable { + /ctrlC-hook { } def +} def -ox.verbose { - (test12 : ccc is the client. ff poly in Q ) message -} { } ifelse -/test12 { - [(localhost) 1300 1200] oxconnect /ccc set - [(x,y,z) ring_of_differential_operators ( ) elimination_order 0] define_ring - (x+y). /ff set - /eee (hello) (error) dc def - /eee0 eee (error) dc def - (eee is the CMO_ERROR2 object [CMO_ERROR2 hello], eee0 is the CMO_ERROR object) message +[(ox103_reset) + [(ox103_reset broadcasts the OX reset to all processes) + (cf. ctrlC-hook, register_hander) +]] putUsages +/ox103_reset { + [/in-ox103_reset /L /n /i] pushVariables + [ + /L [(oxGetClientList)] extension def + (In ox103_reset...) message + /n L length def + 0 1 n 1 sub { + /i set + L i get oxreset + } for + (Done) message + ] pop + popVariables } def +%%%%%%% +/ox103_asir_init { + /arg1 set + [/ttt] pushVariables + [ + /ttt arg1 def + %% ttt oxsetmathcap ttt oxmathcap %% It is done in asir.init + %% Do nothing special for now. + ] pop + popVariables +} def +/ox103_sm1_init { + /arg1 set + [/ttt] pushVariables + [ + /ttt arg1 def + ttt oxsetmathcap + ttt oxmathcap + ttt ([(parse) (oxrfc103.sm1) pushfile] extension ) oxsubmit + ] pop + popVariables +} def +%%% + +/Xm_rfc103_shared [ ] def + +[(ox103_set_shared_variable) + [(value name 2 ox103_set_shared_variable) + (It broadcasts the <> of a shared variable <>) + (to all processes.) + (cf. Xm_rfc103_shared, ) + $Example: (2).. (hoge) 2 ox103_set_shared_variable$ +]] putUsages +/ox103_set_shared_variable { + /arg0 set %% Dummy to be called by rpc2. Number of args + /arg1 set %% Name + /arg2 set %% Value, [Name Value] not [Value Name] + [/in-ox103_set_shared_variable /Name /Value + /Found /N /i /L + ] pushVariables + [ + /Name arg1 def + /Value arg2 def + Value message + /Found 0 def + /N Xm_rfc103_shared length def + 0 1 N 1 sub { + /i set + Xm_rfc103_shared i get 0 get + Name eq { + Xm_rfc103_shared i [Name Value] put + /Found 1 def + exit + } { } ifelse + } for + Found 1 eq { } + { + Xm_rfc103_shared [Name Value] append + /Xm_rfc103_shared set + } ifelse + /L [(oxGetClientList)] extension def + 0 1 L length 1 sub { + /i set + L i get [(ox103_set_shared_variable) Name Value] oxrpc2 + } for + + (ox103_set_shared_variable: Xm_rfc103_shared=) message + Xm_rfc103_shared message + %% [(parse) [(/) Name ( ) Value toString ( def )] cat] extension + %% Add $ $ when Value is a string. + + /arg1 [Name Value] def + ] pop + popVariables + arg1 +} def + +/ox103_test { + (x^2-1). fctr + oxasir.ccc ( sm1_start(); ) oxexecutestring + sm1connectr +} def + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%%%%%%% Starting ox_sm1. +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% /sm1connectr { [/in-sm1connectr /pass /peer /data /control ] pushVariables [ @@ -592,19 +612,33 @@ ox.verbose { /data peer 1 get toString def /control peer 3 get toString def peer message - [oxpath.oxlog.xterm oxpath.ox ( -reverse -ox ) oxpath.oxsm1 + [ + oxstart100 + Xm_noX { ( -nox ) } { } ifelse + ( -oxserver bin/ox_sm1 -e ) ( -reverse ) ( -data ) data ( -control ) control ( -pass ) pass - oxpath.null - ( &)] cat system-csh - [(oxCreateClient2) peer 0 pass] extension /ox.ccc set + ( )] cat execve + [(oxCreateClient2) peer 0 pass] extension /oxsm1.ccc set %% 0 means connect from only localhost. - (The server is binded to the variable ox.ccc) message - ox.ccc.init + (The server is binded to the variable oxsm1.ccc) message + /ox.ccc oxsm1.ccc def + oxsm1.ccc.init + oxsm1.ccc ] pop popVariables } def +/oxsm1.ccc.init { + oxsm1.ccc ( [(oxPrintMessage) 0] extension pop ) oxsubmit + Xm_noX { oxsm1.ccc ( /@@@.Xm_noX 1 def ) oxsubmit } + { oxsm1.ccc ( /@@@.Xm_noX 0 def ) oxsubmit } ifelse + (Ox103_loaded) boundp + { oxsm1.ccc ox103_sm1_init } + { } ifelse +} def + /sm1connectr-ssh { +%% It has not yet implemented. /arg1 set [/in-sm1connectr /pass /peer /data /control /name /machine /your-peer /comm @@ -660,491 +694,766 @@ ox.verbose { $ [(dc2.math.kobe-u.ac.jp) (taka)] sm1connectr-ssh /ox.ccc set $ ]] putUsages -/addSlash { +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%% Aux functions for ox_asir +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +/ox_asirConnectMethod { asirconnectr /oxasir.ccc set } def +/oxasir.loadmethod 1 def %% "..." oxsendcmo (load) ox... +/oxasir.verbose 0 def +/oxasir.ccc load isArray +{ } +{ /oxasir.ccc [ ] def } ifelse +/loadAsirFile { /arg1 set - [/in-addSlash /ss /aaa /ans] pushVariables + [/in-loadAsirFile /peer /fname] pushVariables [ - /ss arg1 def - ss (array) dc /aaa set - aaa length 0 eq { - /ans (/) def + /peer arg1 0 get def + /fname arg1 1 get def + oxasir.loadmethod { + peer fname oxsendcmo peer 1 oxsendcmo + peer (load) oxexec }{ - aaa aaa length 1 sub get 47 eq %% The last equals / ? - { - /ans ss def - }{ - /ans [ss (/)] cat def - } ifelse - } ifelse - /arg1 ans def + peer [$load("$ fname $");$] cat oxsubmit + }ifelse ] pop - arg1 + popVariables } def +[(loadAsirFile) +[$[client fname] loadAsirFile (ox_asir function)$ + $Load a file into the client$ +]] putUsages -/getPathNameSm1 { +/set_oxasir.rr_path { + [(ostype)] extension 0 get (windows) eq { + [(getenv) (OSTYPE)] extension tag 0 eq { + /oxasir.rr.name (oxasir-win.rr) def + }{ + [(getenv) (OSTYPE)] extension (cygwin) eq { + /oxasir.rr.name (oxasir.asir) def + }{ + /oxasir.rr.name (oxasir-win.rr) def + } ifelse + } ifelse + }{ + /oxasir.rr.name (oxasir.asir) def + } ifelse +} def +set_oxasir.rr_path +/oxasirpath.asirlib [[(getenv) (OpenXM_HOME)] extension + (/lib/sm1/) oxasir.rr.name] cat def +oxasir.verbose { + oxasirpath.asirlib message +} { } ifelse + +%% Note. oxasir.asir is under OpenXM/src/kan96xx/lib/ +%% oxasir-win.asir is generated under OpenXM/misc/packages/Windows +%% They are installed under $OpenXM_HOME/lib/sm1 +%% Todo: ox_asir has to understand /cygdrive/c/... on windows-native. +%% Since ox_asir is generated by cygwin, it will be OK. +/asir.init { + %% gr and primdec are loaded by .asirrc + /asir.init.peer set + [(ostype)] extension 0 get (windows) eq { + [(getenv) (OSTYPE)] extension tag 0 eq { + [asir.init.peer (oxasir-win.rr)] oxasirParseFile + }{ + [(getenv) (OSTYPE)] extension (cygwin) eq { + [asir.init.peer oxasirpath.asirlib] loadAsirFile + }{ + [asir.init.peer (oxasir-win.rr)] oxasirParseFile + } ifelse + } ifelse + }{ + [asir.init.peer oxasirpath.asirlib] loadAsirFile + } ifelse + asir.init.peer oxmathcap + asir.init.peer oxsetmathcap + Xm_noX { + asir.init.peer (Xm_noX=1;) oxsubmit + }{ + asir.init.peer (Xm_noX=0;) oxsubmit + } ifelse + (Ox103_loaded) boundp + { + asir.init.peer ox103_asir_init + }{ } ifelse +} def + +[(asir) + [(pid [asir-command, asir-arg1, asir-arg2, ...] asir result (ox_asir function)) + (Call open asir server. You need to install ox_asir on your system) + (to use this function. cf. primadec, fctr, asirconnect2, asirconnectr.) + (If you interrupted the computation by typing ctrl-C, type in ) + ( oxasir.ccc oxreset ; ) + (to interrupt the ox_asir server.) + (Example: oxasir.ccc [(fctr) (x^10-1).] asir ) + ( ) + (This function requires plugins cmo, socket and ox_asir server. cf. oxasir) + (See, ftp://endeavor.fujitsu.co.jp/pub/isis/asir on asir) + ] +] putUsages + +/asir { + /arg2 set /arg1 set - [/in-getPathNameSm1 /fname /fullname /tname] pushVariables + [/pid /asir-comm /comm /n /i /rr] pushVariables + [(CurrentRingp)] pushEnv [ - /fname arg1 0 get def - %% If fullname is given, use it. - fname (array) dc 0 get - (/) (array) dc 0 get eq - { /fullname fname def - /getPathNameSm1.LLL goto - } { } ifelse + /pid arg1 def + /asir-comm arg2 def + pid tag 6 eq { } { (Invalid pid. See asir.) error } ifelse + pid 0 get (client) eq { } { (Invalid pid. See asir.) error } ifelse + asir-comm tag 6 eq { } { (Invalid argument asir-comm. See asir) error } ifelse - %% Else first try to find it in LOAD_SM1_PATH - [(getenv) (LOAD_SM1_PATH)] extension /tname set - tname isString - { - tname addSlash /tname set - [(stat) [tname fname] cat] extension - 0 get isInteger %% The file was found. - { /fullname [tname fname] cat def - /getPathNameSm1.LLL goto - } { } ifelse - } { } ifelse + [ %% Change the current ring if necessary to send a correct OxVlist. + asir-comm oxasir.changeRing + ] pop + %%% Setting OxVlist to tell asir a way to change dist-poly <==> poly. + (OxVlist=) getVlist2 toString (;) 3 cat_n /comm set + %% comm message + pid comm oxsubmit + pid (print(OxVlist);) oxsubmit - %% Else first try to find it in OpenXM_HOME - [(getenv) (OpenXM_HOME)] extension /tname set - tname isString - { - tname addSlash /tname set - [tname (lib/sm1/)] cat /tname set - [(stat) [tname fname] cat] extension - 0 get isInteger %% The file was found. - { /fullname [tname fname] cat def - /getPathNameSm1.LLL goto - } { } ifelse - } { } ifelse - %% Else try to find it in /usr/local/lib/sm1 - [(stat) [(/usr/local/lib/sm1/) fname] cat] extension - 0 get isInteger %% The file was found. - { /fullname [(/usr/local/lib/sm1/) fname] cat def - /getPathNameSm1.LLL goto - } { } ifelse + /n asir-comm length def + n 1 sub -1 1 { + /i set + pid asir-comm i get oxsendcmo + pid 1 oxsendcmo pid (ox_dtop) oxexec + } for + pid n 1 sub oxsendcmo + pid asir-comm 0 get oxexec - %% Otherwise error. - [(getPathNameSm1: The file ) fname - ( could not be found ) - (neigher in LOAD\_SM1\_PATH=) - [(getenv) (LOAD_SM1_PATH)] extension - ( nor in OpenXM\_HOME/lib/sm1=) - [(getenv) (OpenXM_HOME)] extension - (/lib/sm1) - ( nor in /usr/local/lib/sm1) - ] cat /getPathNameSm1.errorMessage set - getPathNameSm1.errorMessage message - ] pop popVariables getPathNameSm1.errorMessage error + pid 1 oxsendcmo pid (ox_ptod) oxexec + pid oxpopcmo /arg1 set - /getPathNameSm1.LLL - /arg1 fullname def + ] pop + popEnv popVariables arg1 } def -[(getPathNameSm1) -[([fname] getPathNameSm1 fullname) - (string fname, fullname) - (This command searches the fname in LOAD_SM1_PATH, ) - (OpenXM_HOME/lib/sm1, and /usr/local/lib/sm1) - (It returns the fullname.) -]] putUsages -/getPathNameAsir { +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%% Mathematical functions for asir +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +/oxasir.changeRing { /arg1 set - [/in-getPathNameAsir /fname /fullname /tname] pushVariables + [/in-oxasir.changeRing /f /rr] pushVariables [ - /fname arg1 0 get def - %% If fullname is given, use it. - fname (array) dc 0 get - (/) (array) dc 0 get eq - { /fullname fname def - /getPathNameAsir.LLL goto - } { } ifelse + /f arg1 def + f isArray { + f {oxasir.changeRing} map + }{ + f isPolynomial { + f (0). eq { } + { f (ring) dc /rr set [(CurrentRingp) rr] system_variable } ifelse + } { } ifelse + } ifelse + ] pop + popVariables +} def - %% Else try to find it in ASIR_LIBDIR - [(getenv) (ASIR_LIBDIR)] extension /tname set - tname isString - { - [(stat) [tname (/) fname] cat] extension - 0 get isInteger %% The file was found. - { /fullname [tname (/) fname] cat def - /getPathNameAsir.LLL goto - } { } ifelse - - } { } ifelse - - %% Else try to find it in /usr/local/lib/asir - [(stat) [(/usr/local/lib/asir/) fname] cat] extension - 0 get isInteger %% The file was found. - { /fullname [(/usr/local/lib/asir/) fname] cat def - /getPathNameAsir.LLL goto - } { } ifelse +/fctr { + /arg1 set + [/f /comm /vv] pushVariables + [(CurrentRingp)] pushEnv + [ + /f arg1 def + oxasir.ccc [ ] eq { + (Starting ox_asir server.) message + ox_asirConnectMethod + } { } ifelse - %% Otherwise error. - [ (getPathNameAsir: The file ) - fname (ox_asir) eq - {(ox\_asir)} { fname }ifelse - ( could not be found ) - (neigher in /usr/local/lib/asir nor in ASIR\_LIBDIR. ) - ] cat /getPathNameAsir.errorMessage set - getPathNameAsir.errorMessage message - ] pop popVariables getPathNameAsir.errorMessage error - - /getPathNameAsir.LLL - /arg1 fullname def + f isPolynomial not { + /vv f 1 get def + vv isArray { /vv vv from_records def } { } ifelse + /f f 0 get def + [vv ring_of_polynomials 0] define_ring + f . /f set + }{ } ifelse + oxasir.ccc [(fctr) f] asir /arg1 set ] pop + popEnv popVariables arg1 } def -[(getPathNameAsir) -[([fname] getPathNameAsir fullname) - (string fname, fullname) - (This command searches the fname in /usr/local/lib/asir and ASIR_LIBDIR) - (and returns the fullname.) + +[(fctr) + [(You need to install ox_asir server to use this function. (ox_asir function)) + (f fctr g) + (poly f; array g;) + ([f v] fctr g ; string f, string or array of string v) + (This function factors the polynomial f over Q.) + ( ) + (Example 1: [(x^10-y^10) (x,y)] fctr ::) + (Example 2: (x^10-1). fctr ::) + ( ) + (If you interrupted the computation by typing ctrl-C, type in ) + ( oxasir.ccc oxreset ; ) + (to interrupt the ox_asir server.) + ( ) + (This function requires plugins cmo, socket and ox_asir server. cf.oxasir) ]] putUsages -/ox_launch_nox { - /@@@.ox_launch_nox 1 def - ox_launch_aux -} def -/ox_launch { - /@@@.ox_launch_nox 0 def - ox_launch_aux -} def +[(primadec) + [(You need to install ox_asir server to use this function. (ox_asir function)) + ([ ii ] primadec [[q1 p1] [q2 p2] ... ] ) + ( array of poly ii; array of poly q1, p1, q2, p2 ...;) + ( q1, q2, ... are primary components of the primary ideal decomposition) + ( of the ideal generated by << ii >>.) + ( ) + ([ ii v ] primadec [[q1 p1] [q2 p2] ... ] ) + ( array of poly or string ii; array of string v; array of poly q1, p1, q2, p2 ...;) + (<< v >> is an array of independent variables.) + ( ) + ([ ii v ] primadec [[q1 p1] [q2 p2] ... ] ) + ( array of poly or string ii; array of string v; array of poly q1, p1, q2, p2 ...;) + ( v is a string of variables separated by , ) + ( ) + (Example: [(x,y) ring_of_polynomials 0] define_ring) + ( [ [(x^2-1). (x y).] ] primadec pmat ;) + ( ) + (Example: [ [(x^2-1) (x y)] [(x) (y)]] primadec pmat ;) + ( ) + (If you interrupted the computation by typing ctrl-C, type in ) + ( oxasir.ccc oxreset ; ) + (to interrupt the ox_asir server.) + ( ) + (This function requires plugins cmo, socket and ox_asir server. cf.oxasir) +]] putUsages -/ox_launch_aux { - /arg1 set - [/in-launch_nox /pass /peer /data /control /name /machine - /your-peer /comm /remoteOpenXMbin /remoteServer /myhost - /argNumber /aaa - ] pushVariables - [ - /aaa arg1 def - /argNumber aaa length def - /machine aaa 0 get def - machine (localhost) eq argNumber 5 lt and { - aaa 1 get ox_launch_localhost /your-peer set - /LLL.end goto - } { - /remoteOpenXMbin aaa 1 get def - /remoteServer aaa 2 get def - /name aaa 3 get def - /myhost aaa 4 get def - } ifelse +/primadec { + /arg1 set + [/in-primadec /aa /f /comm /vvv /r /setarg] pushVariables + [(CurrentRingp)] pushEnv + [ + /aa arg1 def + aa isArray { } { (<> primadec) error } ifelse + /setarg 0 def + oxasir.ccc [ ] eq { + (Starting ox_asir server.) message + ox_asirConnectMethod + } { } ifelse + aa { tag } map /typev set + typev [ ArrayP ] eq + { /f aa 0 get def + f 0 get (ring) dc /r set + [(CurrentRingp) r] system_variable + /vvv getVariableNames def + /setarg 1 def + } { } ifelse + typev [ArrayP StringP] eq + { /f aa 0 get def + /vvv [ aa 1 get to_records pop ] def + /setarg 1 def + } { } ifelse + typev [ArrayP ArrayP] eq + { /f aa 0 get def + /vvv aa 1 get {toString} map def + /setarg 1 def + } { } ifelse + setarg { } { (primadec : Argument mismatch) error } ifelse - /pass [(oxGenPass)] extension def - /peer [(oxGetPort) myhost] extension def - /data peer 1 get toString def - /control peer 3 get toString def - peer message - [(ssh -f ) machine ( -l ) name ( ") - - @@@.ox_launch_nox { - } { - remoteOpenXMbin(/oxlog ) - ( /usr/X11R6/bin/xterm -icon -e ) - } ifelse - - ( ) remoteOpenXMbin (/ox ) - ( -reverse -ox ) remoteServer - ( -host ) myhost - ( -data ) data ( -control ) control ( -pass ) pass - oxpath.null - ( ") - ] cat /comm set - (Executing the command : ) messagen comm message message - comm system - (sleep 5) system-csh - [(oxCreateClient2) peer 1 pass] extension /your-peer set - /LLL.end - /arg1 your-peer def - ] pop - popVariables - arg1 + f 0 get isPolynomial { + /r f 0 get (ring) dc def + /vvv vvv { r ,, } map def + } + { + [vvv from_records ring_of_polynomials 0] define_ring + f { toString . } map /f set + vvv { . } map /vvv set + } ifelse + oxasir.ccc [(primadec) f vvv] asir /arg1 set + ] pop + popEnv + popVariables + arg1 } def -[(ox_launch) -[( [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] ) - ( ox_launch client ) - $or $ - $ [(localhost) ox-server-name] ox_launch client$ - (Example 1: ) - $ [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin) $ - $ (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp) $ - $ ] ox_launch /@@@.oxmath set $ -]] putUsages -[(ox_launch_nox) -[( [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] ) - ( ox_launch_nox client ) - (Example 1: ) - $ [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin) $ - $ (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp) $ - $ ] ox_launch_nox /@@@.oxmath set $ -]] putUsages - -/system-csh { - /arg1 set - [/in-system-csh /com /com2] pushVariables +/getVlist2 { + [/n /i ] pushVariables [ - /com arg1 def - [(/bin/csh -c ") com (")] cat - /com2 set - %%com2 message - com2 system + /n [(N)] system_variable def + [ + 0 1 n 1 sub { /i set (x) i (dollar) dc 2 cat_n } for + 0 1 n 1 sub { /i set (d) i (dollar) dc 2 cat_n } for + ] /arg1 set ] pop popVariables + arg1 } def -/ox_launch_localhost { - /arg1 set - [/in-ox_launch_localhost /pass /peer /data /control /oxserver - /my-peer] pushVariables - [ - /oxserver arg1 def - /pass [(oxGenPass)] extension def - /peer [(oxGetPort) (localhost)] extension def - /data peer 1 get toString def - /control peer 3 get toString def - peer message - [oxpath.oxlog.xterm oxpath.ox ( -reverse -ox ) oxserver - ( -data ) data ( -control ) control ( -pass ) pass - oxpath.null - ( &)] cat system-csh - [(oxCreateClient2) peer 0 pass] extension /my-peer set - %% 0 means connect from only localhost. - (The server is binded to the variable ox.ccc) message - /arg1 my-peer def - ] pop - popVariables - arg1 +%%%%%%%%%%%%%%%%%%% +/getVlist { + [/n /i ] pushVariables + [ + /n [(N)] system_variable def + [ + 0 1 n 1 sub { /i set [(x) (var) i] system_variable } for + 0 1 n 1 sub { /i set [(D) (var) i] system_variable } for + ] /arg1 set + ] pop + popVariables + arg1 } def -%% Test code for oxCreateControl_RFC_101 -/sm1StartControl101 { - [/in-sm1connectr /pass /peer /data /control ] pushVariables - [ - /pass [(oxGenPass)] extension def - /peer [(oxGetPort1) (localhost)] extension def - /data peer 1 get toString def - peer message - [(/home/nobuki/OpenXM/src/oxc/oxc) - ( -c ) pass ( -h ) (localhost) ( -p ) data ( -x ) - oxpath.null - ( &)] cat system-csh - - [(oxCreateControl_RFC_101) peer 0 pass] extension /ox.ccc set - %% 0 means connect from only localhost. - (The server is binded to the variable ox.ccc) message - ox.ccc - ] pop - popVariables +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +[(chattr) 0 /findIntegralRoots] extension pop +/findIntegralRoots { + /arg1 set + [/in-findIntegralRoots /pp ] pushVariables + [ + /pp arg1 def + oxasir.ccc [ ] eq { + (Starting ox_asir server.) message + ox_asirConnectMethod + } { } ifelse + oxasir.ccc oxIsServerReady + { pp findIntegralRoots.oxasir /arg1 set} + { pp findIntegralRoots.slow /arg1 set} ifelse + ] pop + popVariables + arg1 } def -/sm1StartEngine101 { - [/in-sm1StartEngine101 /peer /data /control /engineID] pushVariables - [ - /peer [(oxGetPort1) (localhost)] extension def - /data peer 1 get def - - ox.ccc data oxpushcmo - ox.ccc (/home/nobuki/OpenXM/bin/ox_sm1) oxpushcmo - [(oxPushCMD) ox.ccc SM_control_spawn_server] extension - ox.ccc oxpopcmo /engineID set - [(oxCreateEngine_RFC_101) peer 0 (Empty) engineID] extension - /ox.ddd set - (The engine is binded to the variables ox.ddd) message - ] pop - popVariables - arg1 +/findIntegralRoots.oxasir { + /arg1 set + [/in-findIntegralRoots /f /r /g /aa /rlist] pushVariables + [(CurrentRingp) (KanGBmessage)] pushEnv + [ + /f arg1 def + [(s) ring_of_polynomials 0] define_ring + f toString . /f set + f fctr rest /g set + g { + 0 get /aa set + aa (s). degree 1 eq { + aa (s). coeff 1 get /aa set + aa length 1 eq { 0 } + { aa 0 get (1). eq { + 0 << aa 1 get (integer) dc >> sub + } { } ifelse + } ifelse + }{ } ifelse + } map + /rlist set + %% rlist :: + [-1000000] rlist join shell rest /arg1 set + ] pop + popEnv + popVariables + arg1 } def -/OxWorkDirCreated false def -/oxWorkDir { - [/in-oxWorkDir /workHome /work] pushVariables +%%%%%%%%%%%%% From gbhg3/Int/intw.sm1 +%% This function needs solv1.asir and ox_asir. +%% See solv1.asir for the usage of this function. +/rationalRoots2 { + /arg1 set + [/in-rationalRoots2 /aa /f /comm /vvv /r /setarg + /w /ans + ] pushVariables + [(CurrentRingp) (KanGBmessage)] pushEnv [ - [(getenv) (OpenXM_tmp)] extension tag 0 eq { - /workHome [ - [(getenv) (HOME)] extension - (/OpenXM_tmp) - ] cat def - }{ - /workHome - [(getenv) (OpenXM_tmp)] extension - def - }ifelse - /work [workHome (/) [(getpid)] extension toString] cat def + /aa arg1 def + aa isArray { } { (<> rationalRoots2) error } ifelse + /setarg 0 def + oxasir.ccc [ ] eq { + (Starting ox_asir server.) message + ox_asirConnectMethod + } { } ifelse + aa { tag } map /typev set + typev [ArrayP StringP ArrayP] eq + { /f aa 0 get def + /vvv [ aa 1 get to_records pop ] def + /w aa 2 get def + /setarg 1 def + } { } ifelse + typev [ArrayP ArrayP ArrayP] eq + { /f aa 0 get def + /vvv aa 1 get {toString} map def + /setarg 1 def + /w aa 2 get def + } { } ifelse + setarg { } { (rationalRoots2 : Argument mismatch) error } ifelse - OxWorkDirCreated not { - [(stat) workHome] extension 0 get tag 0 eq { - [(Working directory ) workHome ( will be created.)] cat - message - [(mkdir ) workHome] cat system - }{ - } ifelse - [(stat) work] extension 0 get tag 0 eq { - [(Working directory ) work ( will be created.)] cat - message - [(mkdir ) work] cat system - }{ - } ifelse - /OxWorkDirCreated true def - }{ } ifelse - /arg1 work def + [vvv from_records ring_of_polynomials 0] define_ring + f { toString . } map /f set + vvv { . } map /vvv set + w { toString . } map /w set + + (rationalRoots2 -- f = ) messagen f messagen + ( , vvv= ) messagen vvv messagen ( , w = ) messagen w message + + vvv length 1 eq w 0 get (1). eq and + { + [(KanGBmessage) 0] system_variable + [f] groebner_sugar 0 get /f set + vvv 0 get toString (s) eq { + }{ [[vvv 0 get toString (s)] from_records ring_of_polynomials 0] define_ring} + ifelse + f 0 get toString . [[vvv 0 get toString . (s).]] replace + findIntegralRoots /ans set + } + { + oxasir.ccc [(sm1_rationalRoots2) f vvv w] asir + {(integer) dc} map + /ans set + } ifelse + + /arg1 ans def ] pop + popEnv popVariables arg1 } def -[(oxWorkDir) - [(oxWorkDir returns a name of working directory for OpenXM processes.) - (If the working direcotry does not exist, it creates ~/OpenXM_tmp/[pid].) - (The name can be changed by setting a value to the environmental variable) - (OpenXM_tmp. cf. oxNewFileName) - ] -] putUsages +[(rationalRoots2) +[(rationalRoots2 (ox_asir function) called from intw.sm1 to analyze integral) + (roots.) +]] putUsages -/OxFileName 0 def -/oxNewFileName { - [/in-oxNewFileName /name] pushVariables +/ptozp_subst { + /arg1 set + [/in-ptozp_subst /aaa /fff /xxx /vvv /vlist] pushVariables + [(CurrentRingp)] pushEnv [ - /name [(work) OxFileName toString] cat def - /OxFileName OxFileName 1 add def - /arg1 name def + /aaa arg1 def + /fff aaa 0 get def + /xxx aaa 1 get toString def + /vvv aaa 2 get {toString ..} map def + aaa length 4 eq { + /vlist aaa 3 get def + } { + /vlist 0 def + } ifelse + oxasir.ccc [ ] eq { + (Starting ox_asir server.) message + ox_asirConnectMethod + } { } ifelse + fff isPolynomial { + fff (ring) dc ring_def + fff toString /fff set + } + { vlist isInteger { (ptozp_subst: need variable names.) error } { } ifelse + [vlist ring_of_differential_operators 0] define_ring + } ifelse + oxasir.ccc [(sm1_ptozp_subst) fff . xxx . vvv] asir + /arg1 set ] pop + popEnv popVariables arg1 } def -[(oxNewFileName) - [(oxNewFileName returns a unique file name for a working file.) - (cf. oxWorkDir) - ] -] putUsages -/ox_get_os { - [/in-ox_get_ox /os1 /os2] pushVariables +[(ptozp_subst) + [$[f s [p q] v] ptozp_subst g (ox_asir function)$ + $It returns ptozp(subst(f,s,p/q))$ + $Example 1: [ (x Dx - s) (s) [2 3] (x,s)] ptozp_subst $ + $ ===> 3 x Dx - 2 $ +]] putUsages + +/reduceByAsir { + /arg1 set + [/in-reduceByAsir /aaa /fff /fff0 /fff1 /vlist] pushVariables + [(CurrentRingp)] pushEnv [ - /os1 [(ostype)] extension 0 get def - os1 (windows) eq { - [(getenv) (WINDOWID)] extension tag 0 eq not { - %% expect cygwin X - /os2 (xcygwin) def - }{ - [(getenv) (OSTYPE)] extension tag 0 eq not - [(getenv) (MACHTYPE)] extension tag 0 eq not or - [(getenv) (PWD)] extension tag 0 eq not or - { - %% expect cygwin environment - /os2 (cygwin) def - }{ - %% expect the native windows environment - /os2 (native) def - } ifelse - } ifelse - }{ - /os2 null def - } ifelse - /arg1 [os1 os2] def + /aaa arg1 def + /fff aaa 0 get def + aaa length 2 eq { + /vlist aaa 1 get def + } { + /vlist 0 def + } ifelse + oxasir.ccc [ ] eq { + (Starting ox_asir server.) message + ox_asirConnectMethod + } { } ifelse + fff isArray { + fff length 2 eq { + /fff0 fff 0 get def + /fff1 fff 1 get def + } { + ([ << [f g] >> vlist ] reduceByAsir ) error + } ifelse + } { + ([ << [f g] >> vlist ] reduceByAsir ) error + } ifelse + fff0 isPolynomial fff1 isPolynomial and { + fff0 (ring) dc ring_def + fff0 toString . /fff0 set + fff1 (ring) dc ring_def + fff1 toString . /fff1 set + } + { vlist isInteger { (reduceByAsir: need variable names.) error } { } ifelse + [vlist ring_of_differential_operators 0] define_ring + fff0 toString . /fff0 set + fff1 toString . /fff1 set + } ifelse + oxasir.ccc [(sm1_rat2plist2) [fff0 fff1]] asir + /arg1 set ] pop + popEnv popVariables arg1 } def -/ox.ostype ox_get_os def +[(reduceByAsir) +[$ [[f g] v] reduceByAsir [ff gg] (ox_asir function)$ + $ [[f g]] reduceByAsir [ff gg] $ + $Example 1: [[(2 x -2) (4 x - 8)] (x)] reduceByAsir $ + (Note that there may be a gcd that is more than 1 among the coefficients.) +]] putUsages -/ox_backslash_to_slash { +%% File should be preprocessed by OpenXM/misc/packages/Windows/oxpp +%% and ./oxapp --removeSharp +[(oxasirParseFile) +[$[peer filename] oxasirParseFile $ + $File should be preprocessed by OpenXM/misc/packages/Windows/oxpp$ + $and ./oxapp --removeSharp $ +]] putUsages + +/oxasirParseFile { /arg1 set - [/in-ox_backslash_to_slash /sss ] pushVariables + [/in-oxasirParseFile /fname /sss] pushVariables [ - /sss arg1 def - sss (array) dc /sss set - sss { dup 92 eq { pop 47 } { } ifelse } map - { (string) dc } map cat /arg1 set + /fname arg1 1 get def + /peer arg1 0 get def + fname pushfile /sss set + peer + [$if (1) { ; $ sss (}$)] cat + oxsubmit ] pop popVariables - arg1 } def -/ox_slash_to_backslash { + +[(bfct) + [ + ( f bfct b ) + ( poly f; poly b) + ([f v] bfct b) + ( string f ) + ( b is the global b-function of the polynomial f.) + (Example: [(x^3-y^2) (x,y)] bfct fctr :: ) + (Algorithm: M.Noro, Mathematical Software, icms 2002, pp.147--157.) + ( ) + (If you interrupted the computation by typing ctrl-C, type in ) + ( oxasir.ccc oxreset ; ) + (to interrupt the ox_asir server.) + ( ) + (This function requires plugins cmo, socket and ox_asir server. cf.oxasir) + (You need to install ox_asir server to use this function. (ox_asir function)) +]] putUsages + +/bfct { /arg1 set - [/in-ox_slash_to_backslash /sss ] pushVariables + [/in-bfct /f /comm /vv] pushVariables + [(CurrentRingp)] pushEnv [ - /sss arg1 def - sss (array) dc /sss set - sss { dup 47 eq { pop 92 } { } ifelse } map - { (string) dc } map cat /arg1 set + /f arg1 def + oxasir.ccc [ ] eq { + (Starting ox_asir server.) message + ox_asirConnectMethod + } { } ifelse + + f isPolynomial not { + /vv f 1 get def + vv isArray { /vv vv from_records def } { } ifelse + /f f 0 get def + [vv ring_of_polynomials 0] define_ring + f . /f set + }{ } ifelse + oxasir.ccc [(oxasir_bfct) f] asir /f set + [(s) ring_of_polynomials 0] define_ring + f . /f set + [f f fctr] /arg1 set ] pop + popEnv popVariables arg1 } def -/oxIsInterruptable { - /arg1 set % Client Object - [/in-ox_get_server_name /mcap /ans /sname] pushVariables +[(generic_bfct) + [ + ( [ii weight] generic_bfct b ) + ( list of poly ii; list weight) + ([ii weight variables] generic_bfct b) + ( list of string ii; list weight; list variables) + ( b is the general b-function of the ideal ii w.r.t the weight.) + (Example: [[(Dx^2) (Dy^2)] [(x) -1 (Dx) 1] [(x) (y)]] generic_bfct :: ) + (Notion: Saito, Sturmfels, Takayama, Grobner deformations of hypergeometric differential equaitons) + (Algorithm: M.Noro, Mathematical Software, icms 2002, pp.147--157.) + ( ) + (If you interrupted the computation by typing ctrl-C, type in ) + ( oxasir.ccc oxreset ; ) + (to interrupt the ox_asir server.) + ( ) + (This function requires plugins cmo, socket and ox_asir server. cf.oxasir) + (You need to install ox_asir server to use this function. (ox_asir function)) +]] putUsages + +/generic_bfct { + /arg1 set + [/in-generic_bfct /aa /f /comm /vvv0 /n /vvv /ddd /r /setarg + /bf /wt ] pushVariables + [(CurrentRingp)] pushEnv [ - /mcap arg1 def - /ans 0 def - mcap tag 6 eq { - mcap 10 get tag 6 eq { - mcap 10 get 1 get 0 get 1 get /sname set - }{ /sname ( ) def } ifelse - }{ - /sname ( ) def + /aa arg1 def + aa isArray { } { (<> generic_bfct) error } ifelse + /setarg 0 def + aa { tag } map /typev set + typev [ ArrayP ArrayP] eq + { /f aa 0 get def + f 0 tag PolyP { } { (The first argument must be a list of differential operators. Give the third variable: a list of variables) error } ifelse + f 0 get (ring) dc /r set + [(CurrentRingp) r] system_variable + /wt aa 1 get def + + /vvv0 getVariableNames def + /n [(N)] system_variable def + /vvv vvv0 n carN rest reverse rest reverse def + /ddd vvv0 reverse n carN reverse + rest reverse rest reverse def + + /wt wt generic_bfct.aux1 def + + /setarg 1 def + } { } ifelse + typev [ArrayP ArrayP StringP] eq + { /f aa 0 get def + /vvv [ aa 2 get to_records pop ] def + /wt aa 1 get def + + /n vvv length def + /ddd vvv { (D) 2 1 roll 2 cat_n } map def + + /setarg 1 def + } { } ifelse + typev [ArrayP ArrayP ArrayP] eq + { /f aa 0 get def + /vvv aa 2 get {toString} map def + /wt aa 1 get def + + /n vvv length def + /ddd vvv { (D) 2 1 roll 2 cat_n } map def + + /setarg 1 def + } { } ifelse + setarg { } { (generic_bfct : Argument mismatch) error } ifelse + + f 0 get isPolynomial { + + } + { + [vvv from_records ring_of_differential_operators 0] define_ring + f { toString . } map /f set + vvv { . } map /vvv set + ddd { . } map /ddd set + /wt wt generic_bfct.aux1 def } ifelse - (ox_sm1) sname isSubstr -1 eq { - } { /ans 1 def } ifelse - (ox_asir) sname isSubstr -1 eq { - } { /ans 1 def } ifelse - /arg1 ans def + [f vvv ddd wt] message + + oxasir.ccc [ ] eq { + (Starting ox_asir server.) message + ox_asirConnectMethod + } { } ifelse + + oxasir.ccc [(oxasir_generic_bfct) f vvv ddd wt] asir /bf set + [(s) ring_of_polynomials 0] define_ring + bf . /bf set + [bf bf fctr] /arg1 set ] pop + popEnv popVariables arg1 } def -/oxresetAll { - [(oxGetClientList)] extension - { dup oxIsInterruptable { oxreset } { pop } ifelse } map -} def - -/oxrpc2 { - /arg2 set +/generic_bfct.aux1 { /arg1 set - [/in-oxrpc2 /pid /n /comm /i] pushVariables + [/in-generic_bfct.aux1 /wt /wtx /wtd /n] pushVariables + [ + arg1 /wt set + /n [(N)] system_variable def + wt { dup tag PolyP eq { toString } { } ifelse } map /wt set + wt weightv /wt set + /wtx wt n carN rest reverse rest reverse def + /wtd wt reverse n carN reverse + rest reverse rest reverse def + wtx wtd join /wt set + wt { dup tag IntegerP eq { (universalNumber) dc } { } ifelse } map /wt set + wt /arg1 set + ] pop + popVariables + arg1 +} def +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%% functions to start ox_asir +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +/asirconnectr { + [/in-asirconnectr /pass /peer /data /control /oxasir] pushVariables [ - /pid arg1 def - /comm arg2 def - /n comm length def - n 1 sub -1 1 { - /i set - pid comm i get oxsendcmo - } for - pid n 1 sub oxsendcmo - pid comm 0 get oxexec + /pass [(oxGenPass)] extension def + /peer [(oxGetPort) (localhost)] extension def + /data peer 1 get toString def + /control peer 3 get toString def + peer message + [ + oxstart100 + Xm_noX { ( -nox ) } { } ifelse + ( -oxserver bin/ox_asir -e ) ( -reverse ) + ( -data ) data ( -control ) control ( -pass ) pass + ( )] cat execve + [(oxCreateClient2) peer 0 pass] extension /oxasir.ccc set + %% 0 means connect from only localhost. + oxasir.ccc asir.init + /arg1 oxasir.ccc def ] pop popVariables + arg1 } def -[(oxrpc2) - [(Remote procedure call by using oxexec) - (client [function-name arg1 arg2 ...] oxrpc2 ) - (cf. ox-cmo-rpc in Risa/Asir) - (Example: ) - $ (oxasir.sm1) run (x^2-1). fctr $ - (oxasir.ccc [(igcd) (6).. (10)..] oxrpc2) - (oxasir.ccc oxpopcmo :: ) - ] -] putUsages +[(asirconnectr) + [(asirconnectr server (ox_asir function)) + (array server;) + (Example: asirconnectr /oxasir.ccc set) +]] putUsages +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%% functions to start ox_k0 +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +/oxk0.ccc load isArray +{ } +{ /oxk0.ccc [ ] def } ifelse -[(ostype)] extension 0 get -(windows) eq { - (ox-win.sm1.loaded) boundp { - }{ - [(parse) (ox-win.sm1) pushfile] extension - } ifelse -}{ - initializePathNamesForOx %% This should be -} ifelse +/ox.k0.init { + % oxk0.ccc ( Print("Hello!"); ) oxsubmit + Xm_noX { oxk0.ccc (Xm_noX=true;) oxsubmit } + { oxk0.ccc (Xm_noX=false;) oxsubmit } ifelse +} def + +/k0connectr { + [/in-k0connectr /pass /peer /data /control ] pushVariables + [ + /pass [(oxGenPass)] extension def + /peer [(oxGetPort) (localhost)] extension def + /data peer 1 get toString def + /control peer 3 get toString def + peer message + [ + oxstart100 + Xm_noX { ( -nox ) } { } ifelse + ( -oxserver bin/ox_k0 -e ) ( -reverse ) + ( -data ) data ( -control ) control ( -pass ) pass + ( )] cat execve + [(oxCreateClient2) peer 0 pass] extension /oxk0.ccc set + %% 0 means connect from only localhost. + (The server is binded to the variable oxk0.ccc) message + ox.k0.init + /arg1 oxk0.ccc def + ] pop + popVariables + arg1 +} def