=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/ox.sm1,v retrieving revision 1.27 retrieving revision 1.43 diff -u -p -r1.27 -r1.43 --- OpenXM/src/kan96xx/Doc/ox.sm1 2003/11/17 05:45:46 1.27 +++ OpenXM/src/kan96xx/Doc/ox.sm1 2004/09/17 07:27:28 1.43 @@ -1,4 +1,4 @@ -%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.26 2003/11/03 10:24:33 takayama Exp $ +%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.42 2004/09/10 13:20:22 takayama Exp $ /ox.sm1.myname (ox-new.sm1) def @@ -15,7 +15,7 @@ [(getenv) (OXSTART100)] extension tag 0 eq not { /oxstart100 [(getenv) (OXSTART100)] extension def } { } ifelse -oxstart100 message +oxstart100 message-quiet /ox.sm1.loaded 1 def /oxasir.sm1.loaded 1 def @@ -76,6 +76,9 @@ ox.version [(Version)] system_variable gt /SM_getsp 275 def /SM_dupErrors 276 def +/SM_pushCMOtag 277 def +/SM_executeFunctionWithOptionalArgument 282 def + /SM_control_kill 1024 def /SM_control_reset_connection 1030 def /SM_control_spawn_server 1027 def @@ -88,6 +91,7 @@ ox.version [(Version)] system_variable gt (Example: oxsm1.ccc [1 2 3] oxpushcmo oxsm1.ccc oxpopcmo /ff set ff :: ) ( ) (client ss oxexecutestring(oxsubmit) <>, client ss oxexec <>) + (client ss oxexecWithOpt ) (Example: oxsm1.ccc (0 1 10 { pop $Hello$ message } for) oxexecutestring ) (Example: oxsm1.ccc (2).. oxpushcmo oxsm1.ccc (10).. oxpushcmo ) @@ -96,6 +100,7 @@ ox.version [(Version)] system_variable gt (client str oxevalname, client str oxsetname, client num oxpops, client oxget) ( ) (client oxmathcap, client oxsetmathcap, oxgenportfile, oxremoveportfile) + (client oxpushcmotag) ( ) (client oxgetsp --- get stack pointer, client oxgeterrors --- get all errors) (cleint oxisData, client oxreset, client oxshutdown) @@ -146,6 +151,11 @@ ox.verbose { oxhelp } { } ifelse [(oxReq) arg2 SM_DUMMY_sendcmo arg1] extension pop } def +/oxpushcmotag { + /arg2 set + [(oxReq) arg2 SM_pushCMOtag ] extension pop +} def + /oxpopcmo { /arg1 set [(oxReq) arg1 SM_popCMO ] extension pop @@ -251,6 +261,23 @@ ox.verbose { oxhelp } { } ifelse } { } ifelse [(oxReq) arg2 SM_executeFunction arg1] extension pop } def +/oxexecWithOpt { + /arg1 set + /arg2 set + ox.takelog { ox.log [(oxSerial)] extension ox.mod arg1 put + ox.log [(oxSerial)] extension 1 add ox.mod + (executeFunctionWithOptionalArgument) put + } { } ifelse + [(oxReq) arg2 SM_executeFunctionWithOptionalArgument arg1] extension pop +} def +[(oxexecWithOpt) + [ + $Example: $ + $oxsm1.ccc (/foo { message message message } def) oxsubmit ;$ + $oxsm1.ccc (hello) oxpushcmo oxsm1.ccc 1 oxpushcmo oxsm1.ccc [[(opt) 0]] oxpushcmo ;$ + $oxsm1.ccc (foo) oxexecWithOpt $ + ] +] putUsages /oxsubmit2 { oxexec } def @@ -349,7 +376,7 @@ ox.verbose { oxhelp } { } ifelse /myhost aaa 4 get def } ifelse - /pass [(oxGenPass)] extension def + /pass ox_encrypt_104_genPass def /peer [(oxGetPort) myhost] extension def /data peer 1 get toString def /control peer 3 get toString def @@ -365,14 +392,14 @@ ox.verbose { oxhelp } { } ifelse ( ) remoteOpenXMbin (/ox ) ( -reverse -ox ) remoteServer ( -host ) myhost - ( -data ) data ( -control ) control ( -pass ) pass + ( -data ) data ( -control ) control pass [1 2] get 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 + [(oxCreateClient2) peer 1 pass 0 get] extension /your-peer set /LLL.end /arg1 your-peer def ] pop @@ -406,16 +433,16 @@ ox.verbose { oxhelp } { } ifelse /my-peer] pushVariables [ /oxserver arg1 def - /pass [(oxGenPass)] extension def + /pass ox_encrypt_104_genPass 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 + ( -data ) data ( -control ) control pass [1 2] get oxpath.null ( &)] cat system-csh - [(oxCreateClient2) peer 0 pass] extension /my-peer set + [(oxCreateClient2) peer 0 pass 0 get] extension /my-peer set %% 0 means connect from only localhost. /arg1 my-peer def ] pop @@ -475,7 +502,7 @@ ox.verbose { oxhelp } { } ifelse /sm1StartControl101 { [/in-sm1connectr /pass /peer /data /control ] pushVariables [ - /pass [(oxGenPass)] extension def + /pass ox_encrypt_104_genPass def /peer [(oxGetPort1) (localhost)] extension def /data peer 1 get toString def peer message @@ -487,7 +514,7 @@ ox.verbose { oxhelp } { } 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 + (The server is binded to the variable oxsm1.ccc) message-quiet oxsm1.ccc ] pop popVariables @@ -505,7 +532,7 @@ ox.verbose { oxhelp } { } ifelse 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 + (The engine is binded to the variables ox.ddd) message-quiet ] pop popVariables arg1 @@ -532,6 +559,7 @@ ox.verbose { oxhelp } { } ifelse [ /L [(oxGetClientList)] extension def (In ox103_reset...) message + (killall in oxshell...) message [(killall)] oxshell pop /n L length def 0 1 n 1 sub { /i set @@ -634,20 +662,21 @@ ox.verbose { oxhelp } { } ifelse [(getServerEnv) (bin/ox_sm1)] extension tag 0 eq { (Server bin/ox_sm1 is not found.) error }{ } ifelse - /pass [(oxGenPass)] extension def + /pass ox_encrypt_104_genPass def /peer [(oxGetPort) (localhost)] extension def /data peer 1 get toString def /control peer 3 get toString def - peer message + peer message-quiet [ oxstart100 + @@@.quiet { ( -quiet ) } { } ifelse Xm_noX { ( -nox ) } { } ifelse ( -oxserver bin/ox_sm1 -e ) ( -reverse ) - ( -data ) data ( -control ) control ( -pass ) pass + ( -data ) data ( -control ) control pass [1 2] get ( )] cat execve - [(oxCreateClient2) peer 0 pass] extension /oxsm1.ccc set + [(oxCreateClient2) peer 0 pass 0 get] extension /oxsm1.ccc set %% 0 means connect from only localhost. - (The server is binded to the variable oxsm1.ccc) message + (The server is binded to the variable oxsm1.ccc) message-quiet /ox.ccc oxsm1.ccc def oxsm1.ccc.init oxsm1.ccc @@ -674,22 +703,22 @@ ox.verbose { oxhelp } { } ifelse /machine arg1 0 get def /name arg1 1 get def - /pass [(oxGenPass)] extension def + /pass ox_encrypt_104_genPass def /peer [(oxGetPort) myhostname-ssh] extension def /data peer 1 get toString def /control peer 3 get toString def - peer message + peer message-quiet [(ssh -f ) machine ( -l ) name ( ") oxpath.oxlog.xterm-ssh oxpath.ox-ssh ( -reverse -ox ) oxpath.oxsm1-ssh ( -host ) myhostname-ssh - ( -data ) data ( -control ) control ( -pass ) pass + ( -data ) data ( -control ) control pass [1 2] get 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 + [(oxCreateClient2) peer 1 pass 0 get] extension /your-peer set /arg1 your-peer def ] pop popVariables @@ -728,20 +757,20 @@ ox.verbose { oxhelp } { } ifelse [(getServerEnv) (bin/ox_ntl)] extension tag 0 eq { (Server bin/ox_ntl is not found.) error }{ } ifelse - /pass [(oxGenPass)] extension def + /pass ox_encrypt_104_genPass def /peer [(oxGetPort) (localhost)] extension def /data peer 1 get toString def /control peer 3 get toString def - peer message + peer message-quiet [ oxstart100 Xm_noX { ( -nox ) } { } ifelse ( -oxserver bin/ox_ntl -e ) ( -reverse ) - ( -data ) data ( -control ) control ( -pass ) pass + ( -data ) data ( -control ) control pass [1 2] get ( )] cat execve - [(oxCreateClient2) peer 0 pass] extension /oxntl.ccc set + [(oxCreateClient2) peer 0 pass 0 get] extension /oxntl.ccc set %% 0 means connect from only localhost. - (The server is binded to the variable oxntl.ccc) message + (The server is binded to the variable oxntl.ccc) message-quiet % oxntl.ccc.init oxntl.ccc ] pop @@ -840,10 +869,11 @@ oxasir.verbose { (If you interrupted the computation by typing ctrl-C, type in ) ( oxasir.ccc oxreset ; ) (to interrupt the ox_asir server.) + (NOTE: all asir-args must belong to the same ring. cf.oxasir.changeRing. ) (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) + (See, http://www.math.kobe-u.ac.jp/Asir on asir) ] ] putUsages @@ -892,16 +922,27 @@ oxasir.verbose { %%% Mathematical functions for asir %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% /oxasir.changeRing { + /oxasir.changeRing.rr.prev 0 def + oxasir.changeRing2 +} def +/oxasir.changeRing2 { /arg1 set - [/in-oxasir.changeRing /f /rr] pushVariables + [/in-oxasir.changeRing2 /f /rr ] pushVariables [ /f arg1 def f isArray { - f {oxasir.changeRing} map + f {oxasir.changeRing2} map }{ f isPolynomial { f (0). eq { } - { f (ring) dc /rr set [(CurrentRingp) rr] system_variable } ifelse + { f (ring) dc /rr set [(CurrentRingp) rr] system_variable + oxasir.changeRing.rr.prev tag 1 eq { } + { + oxasir.changeRing.rr.prev rr eq { } + { (asir : arguments must belong to the same ring.) error } ifelse + } ifelse + /oxasir.changeRing.rr.prev rr def + } ifelse } { } ifelse } ifelse ] pop @@ -1012,7 +1053,7 @@ oxasir.verbose { f 0 get isPolynomial { /r f 0 get (ring) dc def - /vvv vvv { r ,, } map def + /vvv vvv { r __ } map def } { [vvv from_records ring_of_polynomials 0] define_ring @@ -1054,6 +1095,137 @@ oxasir.verbose { arg1 } def +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +/polygcd { + /arg1 set + [/pp /f /g /comm /vv] pushVariables + [(CurrentRingp)] pushEnv + [ + /pp arg1 def + oxasir.ccc [ ] eq { + (Starting ox_asir server.) message + ox_asirConnectMethod + } { } ifelse + + pp isArray { + /f pp 0 get def + /g pp 1 get def + pp length 3 eq { + /vv pp 2 get def + vv isArray { /vv vv from_records def } { } ifelse + [vv ring_of_polynomials 0] define_ring + f . /f set + g . /g set + } { } ifelse + }{ (usage: [f g] polygcd) error } ifelse + oxasir.ccc [(gcd) f g] asir /arg1 set + ] pop + popEnv + popVariables + arg1 +} def +[(polygcd) + [( [f g] polygcd r ) + ( [f g v] polygcd r) + (Example: [(x^2-1) (x-1) [(x)]] polygcd ) + ] +] putUsages +/polylcm { + /arg1 set + [/pp /f /g /comm /vv] pushVariables + [(CurrentRingp)] pushEnv + [ + /pp arg1 def + oxasir.ccc [ ] eq { + (Starting ox_asir server.) message + ox_asirConnectMethod + } { } ifelse + + pp isArray { + /f pp 0 get def + /g pp 1 get def + pp length 3 eq { + /vv pp 2 get def + vv isArray { /vv vv from_records def } { } ifelse + [vv ring_of_polynomials 0] define_ring + f . /f set + g . /g set + } { } ifelse + }{ (usage: [f g] polylcm) error } ifelse + oxasir.ccc [(lcm) f g] asir /arg1 set + ] pop + popEnv + popVariables + arg1 +} def +[(polylcm) + [( [f g] polylcm r ) + ( [f g v] polylcm r) + (Example: [(x^2-1) (x-1) [(x)]] polylcm ) + ] +] putUsages + +/asir_red { + /arg1 set + [/pp /f /g /rr /vv] pushVariables + [(CurrentRingp)] pushEnv + [ + /pp arg1 def + oxasir.ccc [ ] eq { + (Starting ox_asir server.) message + ox_asirConnectMethod + } { } ifelse + { + pp isRational { + /f pp numerator def + /g pp denominator def + [[f g]] reduceByAsir /rr set + }{ } ifelse + exit + + pp isArray { + /vv pp 2 get def + /f pp 0 get 0 get def + /g pp 0 get 1 get def + [[f toString g toString] vv] reduceByAsir /rr set + } { } ifelse + exit + + (asir_red: not implemented) error exit + } loop + + rr 1 get isPolynomial { + rr 0 get rr 1 get div /rr set + }{ + rr 1 get (1).. eq { + rr 0 get /rr set + }{ + rr 0 get rr 1 get div /rr set + } ifelse + } ifelse + + /arg1 rr def + ] pop + popEnv + popVariables + arg1 +} def +[(asir_red) + [(Calling the function red of asir. It simplifies a rational function.) + (cf. cancel) + (Example: (x^2). (x). div asir_red ) +]] putUsages + +/asir_fctr { fctr } def +[(asir_fctr) + [(Calling the factorizer of asir.) +]] putUsages + +/asir_primadec { primadec } def +[(asir_primadec) + [(Calling the primadec of asir.) +]] putUsages + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% [(chattr) 0 /findIntegralRoots] extension pop /findIntegralRoots { @@ -1406,7 +1578,7 @@ oxasir.verbose { f { toString . } map /f set vvv { . } map /vvv set ddd { . } map /ddd set - /wt wt generic_bfct.aux1 def + /wt [vvv ddd wt] generic_bfct.aux1 def } ifelse [f vvv ddd wt] message @@ -1427,22 +1599,103 @@ oxasir.verbose { /generic_bfct.aux1 { /arg1 set - [/in-generic_bfct.aux1 /wt /wtx /wtd /n] pushVariables + [/in-generic_bfct.aux1 /ii /jj /wt /wtx /wtd /vv /dd /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 + arg1 2 get /wt set + arg1 0 get /vv set + arg1 1 get /dd set + /wtx [ 0 1 vv length 1 sub { pop (0).. } for ] def + /n wt length def + 0 2 n 1 sub { + /ii set + 0 1 vv length 1 sub { + /jj set + wt ii get toString dd jj get toString eq { + wtx jj << wt ii 1 add get >> put + } { } ifelse + } for + } for + + wtx /wt set wt { dup tag IntegerP eq { (universalNumber) dc } { } ifelse } map /wt set wt /arg1 set ] pop 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 { toString . 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 +} 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 + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%% functions to start ox_asir %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @@ -1453,18 +1706,19 @@ oxasir.verbose { (Server bin/ox_sm1 is not found.) error }{ } ifelse - /pass [(oxGenPass)] extension def + /pass ox_encrypt_104_genPass def /peer [(oxGetPort) (localhost)] extension def /data peer 1 get toString def /control peer 3 get toString def - peer message + peer message-quiet [ oxstart100 + @@@.quiet { ( -quiet ) } { } ifelse Xm_noX { ( -nox ) } { } ifelse ( -oxserver bin/ox_asir -e ) ( -reverse ) - ( -data ) data ( -control ) control ( -pass ) pass + ( -data ) data ( -control ) control pass [1 2] get ( )] cat execve - [(oxCreateClient2) peer 0 pass] extension /oxasir.ccc set + [(oxCreateClient2) peer 0 pass 0 get] extension /oxasir.ccc set %% 0 means connect from only localhost. oxasir.ccc asir.init /arg1 oxasir.ccc def @@ -1499,23 +1753,77 @@ oxasir.verbose { (Server bin/ox_sm1 is not found.) error }{ } ifelse - /pass [(oxGenPass)] extension def + /pass ox_encrypt_104_genPass def /peer [(oxGetPort) (localhost)] extension def /data peer 1 get toString def /control peer 3 get toString def - peer message + peer message-quiet [ oxstart100 Xm_noX { ( -nox ) } { } ifelse ( -oxserver bin/ox_k0 -e ) ( -reverse ) - ( -data ) data ( -control ) control ( -pass ) pass + ( -data ) data ( -control ) control pass [1 2] get ( )] cat execve - [(oxCreateClient2) peer 0 pass] extension /oxk0.ccc set + [(oxCreateClient2) peer 0 pass 0 get] extension /oxk0.ccc set %% 0 means connect from only localhost. - (The server is binded to the variable oxk0.ccc) message + (The server is binded to the variable oxk0.ccc) message-quiet ox.k0.init /arg1 oxk0.ccc def ] pop popVariables arg1 -} def +} def +/@@@polymake.k0.ccc [ ] def + +/ox_server_mode { + /:: { } def % do nothing +} def + +%% Encryption methods +/ox_encrypt_104.NONE 0 def +/ox_encrypt_104.FILE 1 def +/ox_encrypt_104.RSA 2 def +/@@@.ox_encrypt_104.method ox_encrypt_104.NONE def +/ox_encrypt_104.1 { + /arg1 set + [/sss /rrr] pushVariables + [ + /sss arg1 def + sss toString /sss set + { + @@@.ox_encrypt_104.method ox_encrypt_104.NONE eq { + /rrr [sss] def + exit + } { } ifelse + (The encryption method has not yet been implemented.) error + } loop + /arg1 rrr def + ] pop + popVariables + arg1 +} def + +%< +% Usages: ox_encrypt_104_genPass +% [[ c-pass d-pass ] [c-pass-encrypted d-pass-encrypted ox-command-str ] ...] +%> +/ox_encrypt_104_genPass { + [/sss /p1 /p2 /e1 /e2 /rrr] pushVariables + [ + /r1 [(oxGenPass)] extension def + /r2 [(oxGenPass)] extension def + r1 ox_encrypt_104.1 /e1 set + r2 ox_encrypt_104.1 /e2 set + { + @@@.ox_encrypt_104.method ox_encrypt_104.NONE eq { + [( -passControl ) e1 0 get ( -passData ) e2 0 get ( )] cat /sss set + [[r1 r2] [e1 0 get , e2 0 get , sss]] /rrr set + exit + } { } ifelse + (The encryption method has not been implemented.) error + } loop + rrr /arg1 set + ] pop + popVariables + arg1 +} def \ No newline at end of file