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

Diff for /OpenXM/src/kan96xx/Doc/oxasir.sm1 between version 1.5 and 1.7

version 1.5, 2002/02/05 07:24:28 version 1.7, 2002/08/10 13:30:49
Line 1 
Line 1 
 % $OpenXM: OpenXM/src/kan96xx/Doc/oxasir.sm1,v 1.4 2002/01/06 08:47:36 takayama Exp $  % $OpenXM: OpenXM/src/kan96xx/Doc/oxasir.sm1,v 1.6 2002/03/16 00:53:55 takayama Exp $
 %% kxx/oxasir.sm1   1998, 2/12 (this version is at Old/oxasir.sm1.19980212  %% kxx/oxasir.sm1   1998, 2/12 (this version is at Old/oxasir.sm1.19980212
 %%   3/1, 1995, 11/5, 11/21  %%   3/1, 1995, 11/5, 11/21
 %% This file is error clean.  %% This file is error clean.
 %%%%%%% How to install.  %%%%%%% How to install.
 %%%  Set ASIR_LIBDIR if necessary. Ex. /u/nobuki/lib/asir  %%%  Set ASIR_LIBDIR if necessary. Ex. /u/nobuki/lib/asir
 %%%  write  ~/.asirrc  :    load("gr")$ load("primdec")$ end$  %%%  write  ~/.asirrc  :    load("gr")$ load("primdec")$ load("bfct")$ end$
   %%%  or it is written in OpenXM/rc/asirrc in OpenXM env, it's fine.
 %%%  oxasir.asir  must be in  %%%  oxasir.asir  must be in
 %%%  LOAD_SM1_PATH or oxasirpath.asirlib  %%%  LOAD_SM1_PATH or oxasirpath.asirlib
 %%%  Edit below  %%%  Edit below
Line 75  oxasir.verbose {
Line 76  oxasir.verbose {
  %% gr and primdec are loaded by .asirrc   %% gr and primdec are loaded by .asirrc
  /asirinit.peer set   /asirinit.peer set
  [(ostype)] extension  0 get (windows) eq {   [(ostype)] extension  0 get (windows) eq {
     [(getenv) (OSTYPE)] extension tag 0 eq {
       [asirinit.peer (oxasir-win.rr)] oxasirParseFile
     }{
    [(getenv) (OSTYPE)] extension (cygwin) eq {     [(getenv) (OSTYPE)] extension (cygwin) eq {
      [asirinit.peer  oxasirpath.asirlib] loadAsirFile       [asirinit.peer  oxasirpath.asirlib] loadAsirFile
    }{     }{
      [asirinit.peer  (oxasir-win.rr)] oxasirParseFile       [asirinit.peer  (oxasir-win.rr)] oxasirParseFile
    } ifelse     } ifelse
     } ifelse
  }{   }{
    [asirinit.peer  oxasirpath.asirlib] loadAsirFile     [asirinit.peer  oxasirpath.asirlib] loadAsirFile
  } ifelse   } ifelse
Line 606  oxasir.verbose {
Line 611  oxasir.verbose {
     oxsubmit      oxsubmit
   ] pop    ] pop
   popVariables    popVariables
   } def
   
   [(bfct)
    [(You need to install ox_asir server to use this function. (ox_asir function))
     ( 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) bfct fctr :: )
     (Algorithm: M.Noro, Mathematical Software, icms 2002, pp.???-???)
     (  )
     (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
   
   /bfct {
     /arg1 set
     [/in-bfct /f /comm /vv] pushVariables
     [(CurrentRingp)] pushEnv
     [
       /f arg1 def
       oxasir.ccc [ ] eq {
          (Starting ox_asir server.) message
           ox_asirConnectMethod
       } {  } ifelse
   
       f isPolynomial not {
         /vv f 1 get def
         vv isArray { /vv vv from_records  def } {  } ifelse
         /f f 0 get def
         [vv ring_of_polynomials 0] define_ring
         f . /f set
       }{ } ifelse
       oxasir.ccc [(oxasir_bfct) f] asir /f set
       [(s) ring_of_polynomials 0] define_ring
       f . /f set
       [f f fctr] /arg1 set
     ] pop
     popEnv
     popVariables
     arg1
 } def  } def
   
   
Legend:
Removed from v.1.5  
changed lines
  Added in v.1.7
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>