[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.30 and 1.37

version 1.30, 2004/02/04 12:03:36 version 1.37, 2004/03/03 06:09:29
Line 1 
Line 1 
 %%%%%%%%%%%  $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.29 2003/12/08 05:50:31 takayama Exp $  %%%%%%%%%%%  $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.36 2004/03/01 07:19:44 takayama Exp $
   
 /ox.sm1.myname (ox-new.sm1) def  /ox.sm1.myname (ox-new.sm1) def
   
Line 15 
Line 15 
 [(getenv) (OXSTART100)] extension tag 0 eq not {  [(getenv) (OXSTART100)] extension tag 0 eq not {
   /oxstart100 [(getenv) (OXSTART100)] extension def    /oxstart100 [(getenv) (OXSTART100)] extension def
 } {  } ifelse  } {  } ifelse
 oxstart100  message  oxstart100  message-quiet
   
 /ox.sm1.loaded 1 def  /ox.sm1.loaded 1 def
 /oxasir.sm1.loaded 1 def  /oxasir.sm1.loaded 1 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_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 96  ox.version [(Version)] system_variable gt 
Line 98  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 149  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 487  ox.verbose { oxhelp } {  } ifelse
Line 495  ox.verbose { oxhelp } {  } ifelse
  [(oxCreateControl_RFC_101) peer 0 pass] extension /oxsm1.ccc set   [(oxCreateControl_RFC_101) peer 0 pass] extension /oxsm1.ccc set
                      %% 0 means connect from only localhost.                       %% 0 means connect from only localhost.
  /ox.ccc oxsm1.ccc def   /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    oxsm1.ccc
  ] pop   ] pop
  popVariables   popVariables
Line 505  ox.verbose { oxhelp } {  } ifelse
Line 513  ox.verbose { oxhelp } {  } ifelse
     oxsm1.ccc oxpopcmo /engineID set      oxsm1.ccc oxpopcmo /engineID set
     [(oxCreateEngine_RFC_101) peer 0 (Empty) engineID] extension      [(oxCreateEngine_RFC_101) peer 0 (Empty) engineID] extension
     /ox.ddd set      /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   ] pop
  popVariables   popVariables
  arg1   arg1
Line 639  ox.verbose { oxhelp } {  } ifelse
Line 647  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
   Xm_noX { ( -nox ) } {  } ifelse    Xm_noX { ( -nox ) } {  } ifelse
   ( -oxserver bin/ox_sm1 -e ) ( -reverse )    ( -oxserver bin/ox_sm1 -e ) ( -reverse )
   ( -data ) data ( -control ) control  ( -pass ) pass    ( -data ) data ( -control ) control  ( -pass ) pass
   ( )] cat execve    ( )] cat execve
  [(oxCreateClient2) peer 0 pass] extension /oxsm1.ccc set   [(oxCreateClient2) peer 0 pass] extension /oxsm1.ccc set
                      %% 0 means connect from only localhost.                       %% 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    /ox.ccc oxsm1.ccc def
   oxsm1.ccc.init    oxsm1.ccc.init
   oxsm1.ccc    oxsm1.ccc
Line 679  ox.verbose { oxhelp } {  } ifelse
Line 688  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 733  ox.verbose { oxhelp } {  } ifelse
Line 742  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 742  ox.verbose { oxhelp } {  } ifelse
Line 751  ox.verbose { oxhelp } {  } ifelse
   ( )] cat execve    ( )] cat execve
  [(oxCreateClient2) peer 0 pass] extension /oxntl.ccc set   [(oxCreateClient2) peer 0 pass] extension /oxntl.ccc set
                      %% 0 means connect from only localhost.                       %% 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.init
    oxntl.ccc     oxntl.ccc
  ] pop   ] pop
Line 1407  oxasir.verbose {
Line 1416  oxasir.verbose {
       f { toString . } map /f set        f { toString . } map /f set
       vvv { . } map /vvv set        vvv { . } map /vvv set
       ddd { . } map /ddd set        ddd { . } map /ddd set
       /wt wt generic_bfct.aux1 def        /wt [vvv ddd wt] generic_bfct.aux1 def
     } ifelse      } ifelse
     [f vvv ddd wt] message      [f vvv ddd wt] message
   
Line 1428  oxasir.verbose {
Line 1437  oxasir.verbose {
   
 /generic_bfct.aux1 {  /generic_bfct.aux1 {
   /arg1 set    /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      arg1 2 get /wt set
     /n [(N)] system_variable def      arg1 0 get /vv set
     wt { dup tag PolyP eq { toString } {    } ifelse } map /wt set      arg1 1 get /dd set
     wt weightv /wt set      /wtx [ 0 1 vv length 1 sub { pop (0).. } for ] def
     /wtx wt n carN rest reverse rest reverse def      /n wt length def
     /wtd wt reverse n carN reverse      0 2 n 1 sub {
                    rest reverse rest reverse def        /ii set
     wtx wtd join /wt 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 { dup tag IntegerP eq { (universalNumber) dc } {    } ifelse } map /wt set
     wt /arg1 set      wt /arg1 set
   ] pop    ] pop
Line 1492  oxasir.verbose {
Line 1509  oxasir.verbose {
     (avv=) messagen avv message      (avv=) messagen avv message
     } {  } ifelse      } {  } ifelse
   
     [$dp_weyl_set_weight(newvect($  avv length toString $,$      [$dp_weyl_set_weight(newvect($  ww length toString $,$
      ww toString $));$ ] cat /comm set       ww toString $));$ ] cat /comm set
   
     verbose.wgr {      verbose.wgr {
Line 1509  oxasir.verbose {
Line 1526  oxasir.verbose {
 } def  } def
 [(asir.wgr)  [(asir.wgr)
 [([ ff vv ww ] asir.wgr g)  [([ ff vv ww ] asir.wgr g)
  $It computes the (-ww,ww) Grobner basis of ff in the homogenized Wel algebra.$   $It computes the (-ww,ww) Grobner basis of ff in the homogenized Weyl algebra.$
  (Homogenization is automatically done.)   (Homogenization is automatically done.)
  $Example 1: $   $Example 1: $
  $ [ [(x*Dx+y*Dy-1)  (Dx*Dy)] $   $ [ [(x*Dx+y*Dy-1)  (Dx*Dy)] $
Line 1531  oxasir.verbose {
Line 1548  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
   Xm_noX { ( -nox ) } {  } ifelse    Xm_noX { ( -nox ) } {  } ifelse
   ( -oxserver bin/ox_asir -e ) ( -reverse )    ( -oxserver bin/ox_asir -e ) ( -reverse )
   ( -data ) data ( -control ) control  ( -pass ) pass    ( -data ) data ( -control ) control  ( -pass ) pass
Line 1577  oxasir.verbose {
Line 1595  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 1586  oxasir.verbose {
Line 1604  oxasir.verbose {
   ( )] cat execve    ( )] cat execve
  [(oxCreateClient2) peer 0 pass] extension /oxk0.ccc set   [(oxCreateClient2) peer 0 pass] extension /oxk0.ccc set
                      %% 0 means connect from only localhost.                       %% 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    ox.k0.init
   /arg1 oxk0.ccc def    /arg1 oxk0.ccc def
  ] pop   ] pop
Line 1595  oxasir.verbose {
Line 1613  oxasir.verbose {
 } def  } def
 /@@@polymake.k0.ccc [ ] def  /@@@polymake.k0.ccc [ ] def
   
   /ox_server_mode {
     /:: {   } def  % do nothing
   
   } def
   
Legend:
Removed from v.1.30  
changed lines
  Added in v.1.37
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>