version 1.36, 2004/03/01 07:19:44 |
version 1.40, 2004/08/22 02:00:24 |
|
|
%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.35 2004/02/28 13:39:42 takayama Exp $ |
%%%%%%%%%%% $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.39 2004/03/08 08:24:42 takayama Exp $ |
|
|
/ox.sm1.myname (ox-new.sm1) def |
/ox.sm1.myname (ox-new.sm1) def |
|
|
Line 77 ox.version [(Version)] system_variable gt |
|
Line 77 ox.version [(Version)] system_variable gt |
|
/SM_dupErrors 276 def |
/SM_dupErrors 276 def |
|
|
/SM_pushCMOtag 277 def |
/SM_pushCMOtag 277 def |
|
/SM_executeFunctionWithOptionalArgument 282 def |
|
|
/SM_control_kill 1024 def |
/SM_control_kill 1024 def |
/SM_control_reset_connection 1030 def |
/SM_control_reset_connection 1030 def |
Line 90 ox.version [(Version)] system_variable gt |
|
Line 91 ox.version [(Version)] system_variable gt |
|
(Example: oxsm1.ccc [1 2 3] oxpushcmo oxsm1.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>>) |
|
(client ss oxexecWithOpt ) |
|
|
(Example: oxsm1.ccc (0 1 10 { pop $Hello$ message } for) oxexecutestring ) |
(Example: oxsm1.ccc (0 1 10 { pop $Hello$ message } for) oxexecutestring ) |
(Example: oxsm1.ccc (2).. oxpushcmo oxsm1.ccc (10).. oxpushcmo ) |
(Example: oxsm1.ccc (2).. oxpushcmo oxsm1.ccc (10).. oxpushcmo ) |
Line 259 ox.verbose { oxhelp } { } ifelse |
|
Line 261 ox.verbose { oxhelp } { } ifelse |
|
} { } ifelse |
} { } ifelse |
[(oxReq) arg2 SM_executeFunction arg1] extension pop |
[(oxReq) arg2 SM_executeFunction arg1] extension pop |
} def |
} 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 { |
/oxsubmit2 { |
oxexec |
oxexec |
} def |
} def |
Line 850 oxasir.verbose { |
|
Line 869 oxasir.verbose { |
|
(If you interrupted the computation by typing ctrl-C, type in ) |
(If you interrupted the computation by typing ctrl-C, type in ) |
( oxasir.ccc oxreset ; ) |
( oxasir.ccc oxreset ; ) |
(to interrupt the ox_asir server.) |
(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 ) |
(Example: oxasir.ccc [(fctr) (x^10-1).] asir ) |
( ) |
( ) |
(This function requires plugins cmo, socket and ox_asir server. cf. oxasir) |
(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 |
] putUsages |
|
|
Line 902 oxasir.verbose { |
|
Line 922 oxasir.verbose { |
|
%%% Mathematical functions for asir |
%%% Mathematical functions for asir |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
/oxasir.changeRing { |
/oxasir.changeRing { |
|
/oxasir.changeRing.rr.prev 0 def |
|
oxasir.changeRing2 |
|
} def |
|
/oxasir.changeRing2 { |
/arg1 set |
/arg1 set |
[/in-oxasir.changeRing /f /rr] pushVariables |
[/in-oxasir.changeRing2 /f /rr ] pushVariables |
[ |
[ |
/f arg1 def |
/f arg1 def |
f isArray { |
f isArray { |
f {oxasir.changeRing} map |
f {oxasir.changeRing2} map |
}{ |
}{ |
f isPolynomial { |
f isPolynomial { |
f (0). eq { } |
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 |
} ifelse |
} ifelse |
] pop |
] pop |
Line 1064 oxasir.verbose { |
|
Line 1095 oxasir.verbose { |
|
arg1 |
arg1 |
} def |
} 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 |
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
[(chattr) 0 /findIntegralRoots] extension pop |
[(chattr) 0 /findIntegralRoots] extension pop |
/findIntegralRoots { |
/findIntegralRoots { |
Line 1497 oxasir.verbose { |
|
Line 1597 oxasir.verbose { |
|
[wvec] weight_vector |
[wvec] weight_vector |
0] define_ring |
0] define_ring |
|
|
ff { . dehomogenize homogenize } map /ff set |
ff { toString . dehomogenize homogenize } map /ff set |
vvx { . } map /vvx set %%ex [x,y] |
vvx { . } map /vvx set %%ex [x,y] |
vvd { . } map /vvd set %%ex [Dx,Dy] |
vvd { . } map /vvd set %%ex [Dx,Dy] |
vvx vvd join [(h).] join /avv set |
vvx vvd join [(h).] join /avv set |
Line 1613 oxasir.verbose { |
|
Line 1713 oxasir.verbose { |
|
} def |
} def |
/@@@polymake.k0.ccc [ ] def |
/@@@polymake.k0.ccc [ ] def |
|
|
|
/ox_server_mode { |
|
/:: { } def % do nothing |
|
|
|
} def |
|
|