[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.34 and 1.40

version 1.34, 2004/02/28 12:27:16 version 1.40, 2004/08/22 02:00:24
Line 1 
Line 1 
 %%%%%%%%%%%  $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.33 2004/02/24 01:36:14 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 76  ox.version [(Version)] system_variable gt 
Line 76  ox.version [(Version)] system_variable gt 
 /SM_getsp     275  def  /SM_getsp     275  def
 /SM_dupErrors 276  def  /SM_dupErrors 276  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
 /SM_control_spawn_server  1027 def  /SM_control_spawn_server  1027 def
Line 88  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 96  ox.version [(Version)] system_variable gt 
Line 100  ox.version [(Version)] system_variable gt 
  (client str oxevalname, client str oxsetname, client num oxpops, client oxget)   (client str oxevalname, client str oxsetname, client num oxpops, client oxget)
  (   )   (   )
  (client oxmathcap, client oxsetmathcap, oxgenportfile, oxremoveportfile)   (client oxmathcap, client oxsetmathcap, oxgenportfile, oxremoveportfile)
    (client oxpushcmotag)
  (   )   (   )
  (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)
Line 146  ox.verbose { oxhelp } {  } ifelse
Line 151  ox.verbose { oxhelp } {  } ifelse
   [(oxReq) arg2 SM_DUMMY_sendcmo arg1] extension pop    [(oxReq) arg2 SM_DUMMY_sendcmo arg1] extension pop
 } def  } def
   
   /oxpushcmotag {
     /arg2 set
     [(oxReq) arg2 SM_pushCMOtag ] extension pop
   } def
   
 /oxpopcmo {  /oxpopcmo {
   /arg1 set    /arg1 set
   [(oxReq) arg1 SM_popCMO ] extension pop    [(oxReq) arg1 SM_popCMO ] extension pop
Line 251  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 639  ox.verbose { oxhelp } {  } ifelse
Line 666  ox.verbose { oxhelp } {  } ifelse
  /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-quiet
  [   [
   oxstart100    oxstart100
   @@@.quiet { ( -quiet ) } {  } ifelse    @@@.quiet { ( -quiet ) } {  } ifelse
Line 680  ox.verbose { oxhelp } {  } ifelse
Line 707  ox.verbose { oxhelp } {  } ifelse
  /peer [(oxGetPort) myhostname-ssh] extension def   /peer [(oxGetPort) myhostname-ssh] 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-quiet
  [(ssh -f ) machine ( -l ) name ( ")   [(ssh -f ) machine ( -l ) name ( ")
   oxpath.oxlog.xterm-ssh  oxpath.ox-ssh ( -reverse -ox ) oxpath.oxsm1-ssh    oxpath.oxlog.xterm-ssh  oxpath.ox-ssh ( -reverse -ox ) oxpath.oxsm1-ssh
   ( -host ) myhostname-ssh    ( -host ) myhostname-ssh
Line 734  ox.verbose { oxhelp } {  } ifelse
Line 761  ox.verbose { oxhelp } {  } ifelse
  /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-quiet
  [   [
   oxstart100    oxstart100
   Xm_noX { ( -nox ) } {  } ifelse    Xm_noX { ( -nox ) } {  } ifelse
Line 842  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 894  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 1056  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 1489  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 1540  oxasir.verbose {
Line 1648  oxasir.verbose {
  /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-quiet
  [   [
   oxstart100    oxstart100
   @@@.quiet { ( -quiet ) } {  } ifelse    @@@.quiet { ( -quiet ) } {  } ifelse
Line 1587  oxasir.verbose {
Line 1695  oxasir.verbose {
  /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-quiet
  [   [
   oxstart100    oxstart100
   Xm_noX { ( -nox ) } {  } ifelse    Xm_noX { ( -nox ) } {  } ifelse
Line 1605  oxasir.verbose {
Line 1713  oxasir.verbose {
 } def  } def
 /@@@polymake.k0.ccc [ ] def  /@@@polymake.k0.ccc [ ] def
   
   /ox_server_mode {
     /:: {   } def  % do nothing
   
   } def
   
Legend:
Removed from v.1.34  
changed lines
  Added in v.1.40
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>