[BACK]Return to ox.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Doc

Diff for /OpenXM/src/kan96xx/Doc/ox.sm1 between version 1.20 and 1.32

version 1.20, 2002/08/03 06:02:35 version 1.32, 2004/02/24 00:45:33
Line 1 
Line 1 
 %%%%%%%%%%%  $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.19 2001/12/28 08:05:44 takayama Exp $  %%%%%%%%%%%  $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.31 2004/02/05 03:04:40 takayama Exp $
   
 /ox.sm1.loaded 1 def  /ox.sm1.myname (ox-new.sm1) 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  
   
 %% This macro is invoked when this package is loaded.  [(ostype)] extension 0 get (unix) eq {
 /initializePathNamesForOx  {    /oxstart100
    [oxpath.ox] getPathNameSm1 /oxpath.ox set      [[(getenv) (OpenXM_HOME)] extension (/bin/ox100start )] cat
    [oxpath.oxsm1] getPathNameSm1 /oxpath.oxsm1 set    def
    [oxpath.oxlog] getPathNameSm1 /oxpath.oxlog set  } {
    /oxpath.oxlog.xterm [oxpath.oxlog ( ) oxpath.xterm] cat def    /oxstart100
 } def     [[(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  /ox.sm1.loaded 1 def
 %% will be redirected to /dev/null.  /oxasir.sm1.loaded 1 def
 /oxNoX {  /ox.k0.loaded 1 def
    /oxpath.null oxpath.null00 def  /Ox103_loaded 1 def
    /oxpath.oxlog.xterm [oxpath.oxlog ( )] cat def  
    (oxpath.oxlog.xterm is set to ) messagen  
    oxpath.oxlog.xterm message  
 } def  
   
 /ox.ccc.init { ox.ccc ( [(oxPrintMessage) 0] extension pop ) oxsubmit } def  
   
 /ox.verbose 0   def  /ox.verbose 0   def
 /ox.version (2.981105) def  /ox.version (3.030000) def
 ox.version [(Version)] system_variable gt  ox.version [(Version)] system_variable gt
 { (This package requires the latest version of kan/sm1) message  { (This package requires the latest version of kan/sm1) message
   (Please get it from http://www.math.kobe-u.ac.jp/KAN) message    (Please get it from http://www.math.kobe-u.ac.jp/KAN) message
   error    error
 } { } ifelse  } { } 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 load isArray
 { }  { }
 { /ox.ccc [ ] def } ifelse  { /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_executeStringByLocalParser 268 def
 /SM_execute 268 def  /SM_execute 268 def
 /SM_popString  263  def  /SM_popString  263  def
Line 93  ox.version [(Version)] system_variable gt 
Line 82  ox.version [(Version)] system_variable gt 
   
 /Etag_error 257 def  /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)  [(ox)
  [   [
   (client aa oxpushcmo (oxsendcmo), client oxpopcmo dd, client popstring dd, client ss oxrpc)    (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) <<executeString>>, client ss oxexec <<executeFunction>>)   (client ss oxexecutestring(oxsubmit) <<executeString>>, client ss oxexec <<executeFunction>>)
   
  (Example: ox.ccc (0 1 10 { pop $Hello$ message } for) oxexecutestring )   (Example: oxsm1.ccc (0 1 10 { pop $Hello$ message } for) oxexecutestring )
  (Example: ox.ccc (2).. oxpushcmo ox.ccc (10).. oxpushcmo )   (Example: oxsm1.ccc (2).. oxpushcmo oxsm1.ccc (10).. oxpushcmo )
  (         ox.ccc (power) oxexec  ox.ccc oxpopcmo :: )   (         oxsm1.ccc (power) oxexec  oxsm1.ccc oxpopcmo :: )
  (  )   (  )
  (client str oxevalname, client str oxsetname, client num oxpops, client oxget)   (client str oxevalname, client str oxsetname, client num oxpops, client oxget)
  (   )   (   )
Line 140  ox.version [(Version)] system_variable gt 
Line 99  ox.version [(Version)] system_variable gt 
  (   )   (   )
  (client oxgetsp --- get stack pointer,  client oxgeterrors --- get all errors)   (client oxgetsp --- get stack pointer,  client oxgeterrors --- get all errors)
  (cleint oxisData, client oxreset, client oxshutdown)   (cleint oxisData, client oxreset, client oxshutdown)
  (oxhelp for this message, [(oxWatch) client] extension to start a log.)   (oxhelp for this message)
    ([(oxWatch) client] extension to start a log.)
    $        ex 1.  (ox.sm1) run sm1connectr [(oxWatch) oxsm1.ccc] extension  $
    $               oxsm1.ccc ( [(cmoLispLike) 0] extension ) oxsubmit $
    $               oxsm1.ccc ( [(cmoLispLike) 1] extension ) oxsubmit $
  ([(oxSerial)] extension serial-number-of-out-going-ox-packet.)   ([(oxSerial)] extension serial-number-of-out-going-ox-packet.)
  (oxpopcmo1, oxpopcmo2,  sm1connect2, sm1connect3)   (oxpopcmo1, oxpopcmo2, sm1connectr ox_launch, ox_launch_nox)
  (sm1connectr ox_launch, ox_launch_nox)  
  (oxNoX : set an environment to invoke oxlog without xterm and to call oxlog with >& /dev/null)   (oxNoX : set an environment to invoke oxlog without xterm and to call oxlog with >& /dev/null)
  $        ex 1.  (ox.sm1) run oxNoX sm1connectr $   $        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 ; $
    $   $
    $cf. extension-oxLog $
  ]   ]
 ] putUsages  ] putUsages
   
 /oxhelp {  [(extension-oxLog)
  (oxconnect) usage  [
  (  ) message  $Take the log of communication in files.$
  (ox) usage  $[(oxLog) client logfile_for_incomming_data logfile_for_outgoing_data] extension $
 } def  $Example:$
 [(oxhelp)  $  [(parse) (ox.sm1) pushfile] extension$
  [(oxhelp  outputs help messages for ox commands.)  $  sm1connectr$
   $  (i.t) (w) file /ii set$
   $  (o.t) (w) file /oo set$
   $  [(oxLog) oxsm1.ccc ii oo] extension $
   $  [(oxWatch) oxsm1.ccc ] extension$
   $  oxsm1.ccc 1 oxpushcmo ;$
   $  oxsm1.ccc oxpopcmo ;$
   $  [(oxLogStop) oxsm1.ccc] extension$
 ]] putUsages  ]] putUsages
   
 ox.verbose { oxhelp } {  } ifelse  /oxconnect {
     /arg1 set
 /sm1connect2 {    [(oxCreateClient) arg1 aload pop] extension
  [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  } def
   
 /sm1connect3 {  ox.verbose { oxhelp } {  } ifelse
  [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  /oxpushcmo { oxsendcmo } def
 /oxsendcmo {  /oxsendcmo {
   /arg1 set    /arg1 set
Line 262  ox.verbose { oxhelp } {  } ifelse
Line 193  ox.verbose { oxhelp } {  } ifelse
   ] pop    ] pop
   popVariables    popVariables
 } def  } 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.  /oxpopcmo1 {  %% ask of the transmission.
   /arg1 set    /arg1 set
   [(oxReq) arg1 SM_popCMO ] extension pop    [(oxReq) arg1 SM_popCMO ] extension pop
Line 401  ox.verbose { oxhelp } {  } ifelse
Line 320  ox.verbose { oxhelp } {  } ifelse
 }def  }def
   
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 /enginescmd  /ox_launch_nox {
   $ /computesp {    /@@@.ox_launch_nox  1 def
        /arg1 set    ox_launch_aux
        [arg1 myid] arg1 message  } def
     } def  /ox_launch {
   $    /@@@.ox_launch_nox  0 def
 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 {     /pass [(oxGenPass)] extension def
   /arg1 set     /peer [(oxGetPort) myhost] extension def
   [/n /i /j] pushVariables     /data peer 1 get toString def
   [     /control peer 3 get toString def
     /n arg1 def     peer message
     /genPairs.list [  ] def   [(ssh -f ) machine ( -l ) name ( ")
     /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  
   
 /getPair {     @@@.ox_launch_nox {
   [/i ] pushVariables     } {
   [       remoteOpenXMbin(/oxlog )
     genPairs.i genPairs.n lt {       ( /usr/X11R6/bin/xterm -icon -e )
       genPairs.list genPairs.i get /ans set     } ifelse
       genPairs.i 1 add /genPairs.i set  
     }  
     { [-1 -1] /ans set} ifelse  
     /arg1 ans def  
   ] pop  
   popVariables  
   arg1  
 } def  
   
 /sumUp {    ( ) remoteOpenXMbin (/ox )
   /arg1 set    ( -reverse -ox ) remoteServer
   [/ans /v /i /n] pushVariables    ( -host ) myhost
   [    ( -data ) data ( -control ) control  ( -pass ) pass
     /v arg1 def    oxpath.null
     /n v length def    ( ")
     /ans 0 def   ] cat /comm set
     0 1 n 1 sub {   (Executing the command : ) messagen comm message message
       /i set    comm system
       ans v i get add /ans set   (sleep 5) system-csh
     } for   [(oxCreateClient2) peer 1 pass] extension /your-peer set
     /arg1 ans def   /LLL.end
    ] pop   /arg1 your-peer def
    popVariables   ] pop
    arg1   popVariables
    arg1
 } def  } 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 {  [(ox_launch_nox)
   /dist.debug 0 def  [( [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] )
   /result [  ] def   (  ox_launch_nox  client )
   enginesList {oxconnect} map /engines set   (Example 1: )
   /enginesN engines length def   $ [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin) $
   % broadcast the program.   $  (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp) $
   (ox-1.sm1) pushfile /enginescmd set  %% read a file.   $ ] ox_launch_nox /@@@.oxmath set $
   [(parse) enginescmd] extension  ]] putUsages
   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  
   
   master-start %% initialize master codes  /ox_launch_localhost {
   %% gbsize genPairs   %% obsolete   /arg1 set
   /gbsize ans length def   [/in-ox_launch_localhost /pass /peer /data /control /oxserver
   ans makePairs /genPairs.list set    /my-peer] pushVariables
   /genPairs.i 0 def  /genPairs.n genPairs.list length def   [
       /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  /oxrpc2 {
   % clear the busy flag.    /arg2 set
   /busy [1 1 enginesN { pop 0 } for ] def    /arg1 set
   (date) system-csh   [/in-oxrpc2 /pid /n /comm /i] pushVariables
   {{   [
   exhausted 0 eq {     /pid arg1 def
     0 1 enginesN 1 sub {     /comm arg2 def
       /i set     /n comm length def
       busy i get 0 eq {     n 1 sub -1 1 {
         getPair /p set         /i set
         p 0 get -1 eq {/exhausted 1 def exit} { } ifelse         pid comm i get oxsendcmo
         busy i 1 put     } for
         engines i get p oxsendcmo     pid n 1 sub oxsendcmo
         engines i get ( computesp ) oxsubmit     pid comm 0 get oxexec
         engines i get oxpopcmo1   ] pop
       } { } ifelse   popVariables
     } 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  
 } def  } def
   
 ox.verbose {  [(oxrpc2)
  (dist for experiments for distributed computing. cf. startengines) message    [(Remote procedure call by using oxexec)
 } { } ifelse     (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 {  /oxIsServerReady {
   /arg1 set    /arg1 set
Line 543  ox.verbose {  
Line 469  ox.verbose {  
   arg1    arg1
 } def  } 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   [(oxCreateControl_RFC_101) peer 0 pass] extension /oxsm1.ccc set
 ox.verbose {                       %% 0 means connect from only localhost.
   (test10 : test to read and write ox-data and ox-command to a file) message   /ox.ccc oxsm1.ccc def
 } {  } ifelse   (The server is binded to the variable oxsm1.ccc) message
     oxsm1.ccc
    ] pop
    popVariables
   } def
   
 /test10 {  /sm1StartEngine101 {
   [(oxCreateClientFile) (afo) (w)] extension /ccc set   [/in-sm1StartEngine101 /peer /data /control /engineID] pushVariables
   [(oxWatch) ccc] extension   [
   ccc (x-1). oxsendcmo      /peer [(oxGetPort1) (localhost)] extension def
   [(oxReq) ccc SM_executeStringByLocalParser      /data peer 1 get def
    ( dup add message )] extension pop  
   ccc (quit) oxsendcmo  
   
   [(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  } def
   
 /test11 {  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   [(oxCreateClientFile) (afo) (r)] extension /ccc set  %%% Functions for OX-RFC 103
   [(oxGet) ccc] extension ::  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   [(oxGet) ccc] extension ::  [(chattr) 0 /ctrlC-hook] extension
   /ctrlC-hook {
     ox103_reset
 } def  } def
   /ox103_disable {
     [(chattr) 0 /ctrlC-hook] extension
     /ctrlC-hook {  } def
   } def
   
 ox.verbose {  [(ox103_reset)
  (test12 : ccc is the client. ff poly in Q<x,y,z,dx,dy,dz>  ) message   [(ox103_reset broadcasts the OX reset to all processes)
 } { } ifelse    (cf. ctrlC-hook, register_hander)
 /test12 {  ]] putUsages
   [(localhost) 1300 1200] oxconnect /ccc set  /ox103_reset {
   [(x,y,z) ring_of_differential_operators ( ) elimination_order 0] define_ring    [/in-ox103_reset /L /n /i] pushVariables
   (x+y). /ff set    [
   /eee (hello) (error) dc def       /L [(oxGetClientList)] extension def
   /eee0 eee (error) dc def      (In ox103_reset...) message
   (eee is the CMO_ERROR2 object [CMO_ERROR2 hello], eee0 is the CMO_ERROR object) message      (killall in oxshell...) message [(killall)] oxshell pop
        /n L length def
        0 1 n 1 sub {
          /i set
          L i get oxreset
        } for
        (Done) message
     ] pop
     popVariables
 } def  } 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 <<value>> of a shared variable <<name>>)
     (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 {  /sm1connectr {
  [/in-sm1connectr /pass /peer /data /control ] pushVariables   [/in-sm1connectr /pass /peer /data /control ] pushVariables
  [   [
      [(getServerEnv) (bin/ox_sm1)] extension tag 0 eq {
        (Server bin/ox_sm1 is not found.) error
      }{ } ifelse
  /pass [(oxGenPass)] extension def   /pass [(oxGenPass)] extension def
  /peer [(oxGetPort) (localhost)] extension def   /peer [(oxGetPort) (localhost)] extension def
  /data peer 1 get toString def   /data peer 1 get toString def
  /control peer 3 get toString def   /control peer 3 get toString def
  peer message   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    ( -data ) data ( -control ) control  ( -pass ) pass
   oxpath.null    ( )] cat execve
   ( &)] cat system-csh   [(oxCreateClient2) peer 0 pass] extension /oxsm1.ccc set
  [(oxCreateClient2) peer 0 pass] extension /ox.ccc set  
                      %% 0 means connect from only localhost.                       %% 0 means connect from only localhost.
  (The server is binded to the variable ox.ccc) message   (The server is binded to the variable oxsm1.ccc) message
   ox.ccc.init    /ox.ccc oxsm1.ccc def
     oxsm1.ccc.init
     oxsm1.ccc
  ] pop   ] pop
  popVariables   popVariables
 } def  } 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 {  /sm1connectr-ssh {
   %% It has not yet implemented.
  /arg1 set   /arg1 set
  [/in-sm1connectr /pass /peer /data /control /name /machine   [/in-sm1connectr /pass /peer /data /control /name /machine
   /your-peer /comm    /your-peer /comm
Line 654  ox.verbose {
Line 722  ox.verbose {
  $         [(dc2.math.kobe-u.ac.jp) (taka)] sm1connectr-ssh /ox.ccc set  $   $         [(dc2.math.kobe-u.ac.jp) (taka)] sm1connectr-ssh /ox.ccc set  $
 ]] putUsages  ]] putUsages
   
 /addSlash {  %%% ntl
   /ntlconnectr {
    [/in-ntlconnectr /pass /peer /data /control ] pushVariables
    [
      [(getServerEnv) (bin/ox_ntl)] extension tag 0 eq {
        (Server bin/ox_ntl is not found.) error
      }{ } ifelse
    /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_ntl -e ) ( -reverse )
     ( -data ) data ( -control ) control  ( -pass ) pass
     ( )] cat execve
    [(oxCreateClient2) peer 0 pass] extension /oxntl.ccc set
                        %% 0 means connect from only localhost.
    (The server is binded to the variable oxntl.ccc) message
   %  oxntl.ccc.init
      oxntl.ccc
    ] pop
    popVariables
   } def
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   %%%   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    /arg1 set
   [/in-addSlash /ss /aaa /ans] pushVariables    [/in-loadAsirFile /peer /fname] pushVariables
   [    [
     /ss arg1 def      /peer arg1 0 get def
     ss (array) dc /aaa set      /fname arg1 1 get def
     aaa length 0 eq {      oxasir.loadmethod  {
       /ans (/) def        peer  fname oxsendcmo peer 1 oxsendcmo
         peer (load) oxexec
     }{      }{
       aaa aaa length 1 sub get  47  eq %% The last equals / ?        peer  [$load("$ fname $");$] cat oxsubmit
       {      }ifelse
         /ans ss def  
       }{  
         /ans [ss (/)] cat def  
       } ifelse  
     } ifelse  
     /arg1 ans def  
   ] pop    ] pop
   arg1    popVariables
 } def  } 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    /arg1 set
   [/in-getPathNameSm1 /fname /fullname /tname] pushVariables    [/pid  /asir-comm /comm /n /i /rr] pushVariables
     [(CurrentRingp)] pushEnv
   [    [
      /fname arg1 0 get def       /pid arg1 def
      %% If fullname is given, use it.       /asir-comm arg2 def
      fname (array) dc 0 get       pid tag 6 eq {  } { (Invalid pid. See asir.) error } ifelse
      (/) (array) dc 0 get eq       pid 0 get (client) eq { } { (Invalid pid. See asir.) error } ifelse
      {  /fullname fname def       asir-comm tag 6 eq {  } { (Invalid argument asir-comm. See asir) error } ifelse
         /getPathNameSm1.LLL goto  
      } { } ifelse  
   
      %% Else first try to find it in LOAD_SM1_PATH      [ %% Change the current ring if necessary to send a correct OxVlist.
      [(getenv) (LOAD_SM1_PATH)] extension /tname set        asir-comm oxasir.changeRing
      tname isString      ] pop
      {      %%% Setting OxVlist to tell asir a way to change dist-poly <==> poly.
        tname addSlash /tname set      (OxVlist=) getVlist2 toString (;) 3 cat_n /comm set
        [(stat) [tname fname] cat] extension       %% comm message
        0 get isInteger  %% The file was found.       pid comm oxsubmit
        {  /fullname [tname fname] cat def       pid (print(OxVlist);) oxsubmit
           /getPathNameSm1.LLL goto  
        } { } ifelse  
      } {  } ifelse  
   
      %% 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       /n asir-comm length def
      [(stat) [(/usr/local/lib/sm1/) fname] cat] extension       n 1 sub -1 1 {
      0 get isInteger  %% The file was found.         /i set
      {  /fullname [(/usr/local/lib/sm1/) fname] cat def         pid asir-comm i get oxsendcmo
         /getPathNameSm1.LLL goto         pid 1 oxsendcmo pid (ox_dtop) oxexec
      } { } ifelse       } for
        pid n 1 sub oxsendcmo
        pid asir-comm 0 get oxexec
   
      %% Otherwise error.       pid 1 oxsendcmo pid (ox_ptod) oxexec
        [(getPathNameSm1: The file ) fname       pid oxpopcmo /arg1 set
         ( 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  
   
      /getPathNameSm1.LLL  
      /arg1 fullname def  
   ] pop    ] pop
     popEnv
   popVariables    popVariables
   arg1    arg1
 } def  } 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    /arg1 set
   [/in-getPathNameAsir /fname /fullname /tname] pushVariables    [/in-oxasir.changeRing /f /rr] pushVariables
   [    [
      /fname arg1 0 get def       /f arg1 def
      %% If fullname is given, use it.       f isArray {
      fname (array) dc 0 get         f {oxasir.changeRing} map
      (/) (array) dc 0 get eq       }{
      {  /fullname fname def         f isPolynomial {
         /getPathNameAsir.LLL goto           f (0). eq { }
      } { } ifelse           { f (ring) dc /rr set [(CurrentRingp) rr] system_variable } ifelse
          } {  } ifelse
        } ifelse
     ] pop
     popVariables
   } def
   
      %% Else try to find it in ASIR_LIBDIR  /fctr {
      [(getenv) (ASIR_LIBDIR)] extension /tname set    /arg1 set
      tname isString    [/f /comm /vv] pushVariables
      {    [(CurrentRingp)] pushEnv
        [(stat) [tname (/) fname] cat] extension    [
        0 get isInteger  %% The file was found.      /f arg1 def
        {  /fullname [tname (/) fname] cat def      oxasir.ccc [ ] eq {
           /getPathNameAsir.LLL goto         (Starting ox_asir server.) message
        } { } ifelse          ox_asirConnectMethod
       } {  } 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  
   
      %% Otherwise error.      f isPolynomial not {
        [ (getPathNameAsir: The file )        /vv f 1 get def
           fname  (ox_asir) eq        vv isArray { /vv vv from_records  def } {  } ifelse
           {(ox\_asir)} { fname }ifelse        /f f 0 get def
        ( could not be found )        [vv ring_of_polynomials 0] define_ring
        (neigher in /usr/local/lib/asir nor in ASIR\_LIBDIR. )        f . /f set
        ] cat /getPathNameAsir.errorMessage set      }{ } ifelse
        getPathNameAsir.errorMessage message      oxasir.ccc [(fctr) f] asir /arg1 set
      ] pop popVariables getPathNameAsir.errorMessage error  
   
      /getPathNameAsir.LLL  
      /arg1 fullname def  
   ] pop    ] pop
     popEnv
   popVariables    popVariables
   arg1    arg1
 } def  } def
 [(getPathNameAsir)  
 [([fname] getPathNameAsir fullname)  [(fctr)
  (string fname, fullname)   [(You need to install ox_asir server to use this function. (ox_asir function))
  (This command searches the fname in /usr/local/lib/asir and ASIR_LIBDIR)    (f fctr g)
  (and returns the fullname.)    (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  ]] putUsages
   
   
 /ox_launch_nox {  [(primadec)
   /@@@.ox_launch_nox  1 def   [(You need to install ox_asir server to use this function. (ox_asir function))
   ox_launch_aux    ([ ii ] primadec [[q1 p1] [q2 p2] ... ] )
 } def    ( array of poly ii; array of poly q1, p1, q2, p2 ...;)
 /ox_launch {    ( q1, q2, ... are primary components of the primary ideal decomposition)
   /@@@.ox_launch_nox  0 def    ( of the ideal generated by << ii >>.)
   ox_launch_aux    (  )
 } def    ([ 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 {  /primadec {
  /arg1 set    /arg1 set
  [/in-launch_nox /pass /peer /data /control /name /machine    [/in-primadec /aa /f  /comm /vvv /r /setarg] pushVariables
   /your-peer /comm /remoteOpenXMbin /remoteServer /myhost    [(CurrentRingp)] pushEnv
   /argNumber /aaa    [
  ] pushVariables      /aa arg1 def
  [      aa isArray { } { (<<array>> primadec) error } ifelse
    /aaa arg1 def      /setarg 0 def
    /argNumber aaa length def      oxasir.ccc [ ] eq {
    /machine aaa 0 get def         (Starting ox_asir server.) message
    machine (localhost) eq argNumber 5 lt and {          ox_asirConnectMethod
      aaa 1 get ox_launch_localhost /your-peer set      } {  } ifelse
      /LLL.end goto      aa { tag } map /typev set
    } {      typev [ ArrayP ] eq
      /remoteOpenXMbin aaa 1 get def      {  /f aa 0 get def
      /remoteServer aaa 2 get def         f 0 get (ring) dc /r set
      /name aaa 3 get def         [(CurrentRingp) r] system_variable
      /myhost aaa 4 get def         /vvv getVariableNames def
    } ifelse         /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      f 0 get isPolynomial {
    /peer [(oxGetPort) myhost] extension def        /r f 0 get (ring) dc def
    /data peer 1 get toString def        /vvv vvv { r ,, } map def
    /control peer 3 get toString def      }
    peer message      {
  [(ssh -f ) machine ( -l ) name ( ")        [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_nox {  
    } {  
      remoteOpenXMbin(/oxlog )  
      ( /usr/X11R6/bin/xterm -icon -e )  
    } ifelse  
   
   ( ) remoteOpenXMbin (/ox )  /getVlist2 {
   ( -reverse -ox ) remoteServer    [/n  /i ] pushVariables
   ( -host ) myhost    [
   ( -data ) data ( -control ) control  ( -pass ) pass      /n [(N)] system_variable def
   oxpath.null      [
   ( ")        0 1 n 1 sub { /i set (x) i (dollar) dc 2 cat_n } for
  ] cat /comm set        0 1 n 1 sub { /i set (d) i (dollar) dc 2 cat_n } for
  (Executing the command : ) messagen comm message message      ] /arg1 set
   comm system    ] pop
  (sleep 5) system-csh    popVariables
  [(oxCreateClient2) peer 1 pass] extension /your-peer set    arg1
  /LLL.end  
  /arg1 your-peer def  
  ] pop  
  popVariables  
  arg1  
 } def  } def
   
 [(ox_launch)  %%%%%%%%%%%%%%%%%%%
 [( [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] )  /getVlist {
  (  ox_launch  client )    [/n  /i ] pushVariables
  $or $    [
  $ [(localhost) ox-server-name] ox_launch client$      /n [(N)] system_variable def
  (Example 1: )      [
  $ [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin) $        0 1 n 1 sub { /i set [(x) (var) i] system_variable } for
  $  (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp) $        0 1 n 1 sub { /i set [(D) (var) i] system_variable } for
  $ ] ox_launch /@@@.oxmath set $      ] /arg1 set
 ]] putUsages    ] pop
     popVariables
     arg1
   } def
   
 [(ox_launch_nox)  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 [( [remote remote-OpenXM-bin remote-ox-server remote-login-name myhostname] )  [(chattr) 0 /findIntegralRoots] extension pop
  (  ox_launch_nox  client )  /findIntegralRoots {
  (Example 1: )    /arg1 set
  $ [(tau.math.kobe-u.ac.jp) (/home/taka/OpenXM/bin) $    [/in-findIntegralRoots /pp ] pushVariables
  $  (/home/taka/OpenXM/src/ox_math/ox_math) (taka) (dc4.math.kobe-u.ac.jp) $    [
  $ ] ox_launch_nox /@@@.oxmath set $      /pp arg1 def
 ]] putUsages      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
   
 /system-csh {  /findIntegralRoots.oxasir {
   /arg1 set    /arg1 set
   [/in-system-csh /com /com2] pushVariables    [/in-findIntegralRoots /f /r /g /aa /rlist] pushVariables
     [(CurrentRingp) (KanGBmessage)] pushEnv
   [    [
     /com arg1 def      /f arg1 def
     [(/bin/csh -c ") com (")] cat      [(s) ring_of_polynomials 0] define_ring
     /com2 set      f toString . /f set
     %%com2 message      f fctr rest /g set
     com2 system      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    ] pop
     popEnv
   popVariables    popVariables
     arg1
 } def  } def
   
 /ox_launch_localhost {  %%%%%%%%%%%%%   From gbhg3/Int/intw.sm1
  /arg1 set  %% This function needs solv1.asir and ox_asir.
  [/in-ox_launch_localhost /pass /peer /data /control /oxserver  %% See solv1.asir for the usage of this function.
   /my-peer] pushVariables  /rationalRoots2 {
  [    /arg1 set
     /oxserver arg1 def    [/in-rationalRoots2 /aa /f  /comm /vvv /r /setarg
     /pass [(oxGenPass)] extension def     /w /ans
     /peer [(oxGetPort) (localhost)] extension def    ] pushVariables
     /data peer 1 get toString def    [(CurrentRingp) (KanGBmessage)] pushEnv
     /control peer 3 get toString def    [
     peer message      /aa arg1 def
     [oxpath.oxlog.xterm  oxpath.ox ( -reverse -ox ) oxserver      aa isArray { } { (<<array>> rationalRoots2) error } ifelse
      ( -data ) data ( -control ) control  ( -pass ) pass      /setarg 0 def
       oxpath.null      oxasir.ccc [ ] eq {
      ( &)] cat system-csh         (Starting ox_asir server.) message
     [(oxCreateClient2) peer 0 pass] extension /my-peer set          ox_asirConnectMethod
                          %% 0 means connect from only localhost.      } {  } ifelse
     (The server is binded to the variable ox.ccc) message      aa { tag } map /typev set
     /arg1 my-peer def      typev [ArrayP StringP ArrayP] eq
  ] pop      {  /f aa 0 get def
  popVariables         /vvv [ aa 1 get to_records pop ] def
  arg1         /w aa 2 get def
 } 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
   
 %% 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      [vvv from_records ring_of_polynomials 0] define_ring
                      %% 0 means connect from only localhost.      f { toString . } map /f set
  (The server is binded to the variable ox.ccc) message      vvv { . } map /vvv set
   ox.ccc      w { toString . } map /w set
  ] pop  
  popVariables      (rationalRoots2 -- f = ) messagen f messagen
 } def      ( , vvv= ) messagen vvv messagen ( , w = ) messagen w message
   
 /sm1StartEngine101 {      vvv length 1 eq w 0 get (1). eq and
  [/in-sm1StartEngine101 /peer /data /control /engineID] pushVariables      {
  [         [(KanGBmessage) 0] system_variable
     /peer [(oxGetPort1) (localhost)] extension def         [f] groebner_sugar 0 get /f set
     /data peer 1 get def         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
   
     ox.ccc data oxpushcmo      /arg1 ans def
     ox.ccc (/home/nobuki/OpenXM/bin/ox_sm1) oxpushcmo    ] pop
     [(oxPushCMD) ox.ccc SM_control_spawn_server] extension    popEnv
     ox.ccc oxpopcmo /engineID set    popVariables
     [(oxCreateEngine_RFC_101) peer 0 (Empty) engineID] extension    arg1
     /ox.ddd set  
     (The engine is binded to the variables ox.ddd) message  
  ] pop  
  popVariables  
  arg1  
 } def  } def
   [(rationalRoots2)
   [(rationalRoots2  (ox_asir function) called from intw.sm1 to analyze integral)
    (roots.)
   ]] putUsages
   
 /OxWorkDirCreated false def  /ptozp_subst  {
 /oxWorkDir {    /arg1 set
   [/in-oxWorkDir /workHome /work] pushVariables    [/in-ptozp_subst /aaa /fff /xxx /vvv /vlist] pushVariables
     [(CurrentRingp)] pushEnv
   [    [
     [(getenv) (OpenXM_tmp)] extension tag 0 eq {       /aaa arg1 def
        /workHome [       /fff aaa 0 get def
           [(getenv) (HOME)] extension       /xxx aaa 1 get toString def
           (/OpenXM_tmp)       /vvv aaa 2 get {toString ..} map def
        ] cat def       aaa length 4 eq {
     }{         /vlist aaa 3 get def
        /workHome       } {
          [(getenv) (OpenXM_tmp)] extension         /vlist 0 def
        def       } ifelse
     }ifelse       oxasir.ccc [ ] eq {
     /work [workHome  (/)  [(getpid)] extension toString] cat def          (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
   
     OxWorkDirCreated not {  [(ptozp_subst)
       [(stat) workHome] extension 0 get tag 0 eq {   [$[f  s  [p q] v] ptozp_subst g   (ox_asir function)$
         [(Working directory ) workHome ( will be created.)] cat    $It returns ptozp(subst(f,s,p/q))$
         message    $Example 1:  [ (x Dx - s) (s) [2 3] (x,s)] ptozp_subst $
         [(mkdir ) workHome] cat system    $   ===>     3 x Dx - 2 $
       }{  ]] putUsages
       } ifelse  
   
       [(stat) work] extension 0 get tag 0 eq {  /reduceByAsir  {
         [(Working directory ) work ( will be created.)] cat    /arg1 set
         message    [/in-reduceByAsir /aaa /fff /fff0 /fff1 /vlist] pushVariables
         [(mkdir ) work] cat system    [(CurrentRingp)] pushEnv
       }{    [
       } ifelse       /aaa arg1 def
       /OxWorkDirCreated true def       /fff aaa 0 get def
     }{ } ifelse       aaa length 2 eq {
     /arg1 work def         /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    ] pop
     popEnv
   popVariables    popVariables
   arg1    arg1
 } def  } 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  
   
 /OxFileName 0 def  [(reduceByAsir)
 /oxNewFileName {  [$ [[f g] v] reduceByAsir [ff gg]   (ox_asir function)$
   [/in-oxNewFileName /name] pushVariables   $ [[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
   
   %% 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-oxasirParseFile /fname /sss] pushVariables
   [    [
     /name [(work) OxFileName toString] cat def      /fname arg1 1 get def
     /OxFileName OxFileName 1 add def      /peer  arg1 0 get def
     /arg1 name def      fname pushfile /sss set
       peer
       [$if (1) { ; $ sss (}$)] cat
       oxsubmit
   ] pop    ] pop
   popVariables    popVariables
   arg1  
 } def  } def
 [(oxNewFileName)  
  [(oxNewFileName returns a unique file name for a working file.)  
   (cf. oxWorkDir)  
  ]  
 ] putUsages  
   
 /ox_get_os {  [(bfct)
   [/in-ox_get_ox /os1 /os2] pushVariables   [
     ( 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-bfct /f /comm /vv] pushVariables
     [(CurrentRingp)] pushEnv
   [    [
     /os1 [(ostype)] extension 0 get def      /f arg1 def
     os1 (windows) eq {      oxasir.ccc [ ] eq {
       [(getenv) (WINDOWID)] extension tag 0 eq not {         (Starting ox_asir server.) message
          %% expect cygwin X          ox_asirConnectMethod
          /os2 (xcygwin) def      } {  } ifelse
       }{  
          [(getenv) (OSTYPE)] extension tag 0 eq not      f isPolynomial not {
          [(getenv) (MACHTYPE)] extension tag 0 eq not  or        /vv f 1 get def
          [(getenv) (PWD)] extension tag 0 eq not  or        vv isArray { /vv vv from_records  def } {  } ifelse
          {        /f f 0 get def
            %% expect cygwin environment        [vv ring_of_polynomials 0] define_ring
            /os2 (cygwin) def        f . /f set
          }{      }{ } ifelse
            %% expect the native windows environment      oxasir.ccc [(oxasir_bfct) f] asir /f set
            /os2 (native) def      [(s) ring_of_polynomials 0] define_ring
          } ifelse      f . /f set
       } ifelse      [f f fctr] /arg1 set
     }{  
       /os2 null def  
     } ifelse  
     /arg1 [os1 os2] def  
   ] pop    ] pop
     popEnv
   popVariables    popVariables
   arg1    arg1
 } def  } def
   
 /ox.ostype ox_get_os def  [(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
   
 /ox_backslash_to_slash {  /generic_bfct {
   /arg1 set    /arg1 set
   [/in-ox_backslash_to_slash /sss ] pushVariables    [/in-generic_bfct /aa /f  /comm /vvv0 /n /vvv /ddd /r /setarg
      /bf /wt ] pushVariables
     [(CurrentRingp)] pushEnv
   [    [
     /sss arg1 def      /aa arg1 def
     sss (array) dc /sss set      aa isArray { } { (<<array>> generic_bfct) error } ifelse
     sss { dup 92 eq { pop 47 } {  } ifelse } map      /setarg 0 def
     { (string) dc } map cat /arg1 set      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
       [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    ] pop
     popEnv
   popVariables    popVariables
   arg1    arg1
 } def  } def
 /ox_slash_to_backslash {  
   /generic_bfct.aux1 {
   /arg1 set    /arg1 set
   [/in-ox_slash_to_backslash /sss ] pushVariables    [/in-generic_bfct.aux1 /wt /wtx /wtd /n]  pushVariables
   [    [
     /sss arg1 def      arg1 /wt set
     sss (array) dc /sss set      /n [(N)] system_variable def
     sss { dup 47 eq { pop 92 } {  } ifelse } map      wt { dup tag PolyP eq { toString } {    } ifelse } map /wt set
     { (string) dc } map cat /arg1 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    ] pop
   popVariables    popVariables
     arg1
   } def
   /verbose.wgr  1 def
   %[ ff vv ww ] asir.wgb [gb  init]
   /asir.wgr {
     /arg1 set
     [/in-asir.gb  /ff /vv /ww /vvx /vvd /avv /comm /wvec /i] pushVariables
     [
       /ff arg1 0 get def
       /vv arg1 1 get def
       /ww arg1 2 get def
   
       oxasir.ccc [ ] eq {
          (Starting ox_asir server.) message
           ox_asirConnectMethod
       } {  } ifelse
   
       vv isArray {
         vv from_records /vv set
       } {  } ifelse
       oxasir.ccc [(dp_gr_print) (2)..] asir
       [vv to_records pop] /vvx set
       vvx { toString (D) 2 1 roll 2 cat_n  } map /vvd set
   
       [
         0 1 vvx length 1 sub {
           /i set
          vvx i get
          0 ww i get  sub
          vvd i get
          ww i get
         } for
        ] /wvec set
   
       [vv ring_of_differential_operators
        [wvec] weight_vector
       0] define_ring
   
       ff { . dehomogenize homogenize } map /ff set
       vvx { . } map /vvx set %%ex  [x,y]
       vvd { . } map /vvd set %%ex  [Dx,Dy]
       vvx vvd join [(h).] join /avv set
   
       verbose.wgr {
       (Asir (-w,w) gb in the Weyl algebra) message
       (wvec=) messagen wvec message
       (ff=) messagen ff message
       (avv=) messagen avv message
       } {  } ifelse
   
       [$dp_weyl_set_weight(newvect($  ww length toString $,$
        ww toString $));$ ] cat /comm set
   
       verbose.wgr {
         comm message
       } { } ifelse
   
       oxasir.ccc comm oxsubmit ;
   
       oxasir.ccc [(dp_weyl_gr_main) ff avv (0).. (1).. (11)..] asir
       /arg1 set
     ] pop
     popVariables
   arg1    arg1
 } def  } def
   [(asir.wgr)
   [([ ff vv ww ] asir.wgr g)
    $It computes the (-ww,ww) Grobner basis of ff in the homogenized Weyl algebra.$
    (Homogenization is automatically done.)
    $Example 1: $
    $ [ [(x*Dx+y*Dy-1)  (Dx*Dy)] $
    $   (x,y)  $
    $   [1 2 ] ] asir.wgr   $
   ]] putUsages
   
 [(ostype)] extension  0 get  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 (windows) eq {  %%% functions to start ox_asir
   (ox-win.sm1.loaded) boundp {  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   }{  /asirconnectr {
     [(parse) (ox-win.sm1) pushfile] extension   [/in-asirconnectr /pass /peer /data /control /oxasir] pushVariables
   } ifelse   [
 }{     [(getServerEnv) (bin/ox_asir)] extension tag 0 eq {
   initializePathNamesForOx  %% This should be       (Server bin/ox_sm1 is not found.) error
 } ifelse     }{ } ifelse
   
    /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
   
   [(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
   
   /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
    [
      [(getServerEnv) (bin/ox_k0)] extension tag 0 eq {
        (Server bin/ox_sm1 is not found.) error
      }{ } ifelse
   
    /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
   /@@@polymake.k0.ccc [ ] def
   
Legend:
Removed from v.1.20  
changed lines
  Added in v.1.32
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>