[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.40 and 1.42

version 1.40, 2004/08/22 02:00:24 version 1.42, 2004/09/10 13:20:22
Line 1 
Line 1 
 %%%%%%%%%%%  $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.39 2004/03/08 08:24:42 takayama Exp $  %%%%%%%%%%%  $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.41 2004/08/28 05:23:55 takayama Exp $
   
 /ox.sm1.myname (ox-new.sm1) def  /ox.sm1.myname (ox-new.sm1) def
   
Line 1053  oxasir.verbose {
Line 1053  oxasir.verbose {
   
     f 0 get isPolynomial {      f 0 get isPolynomial {
       /r f 0 get (ring) dc def        /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        [vvv from_records ring_of_polynomials 0] define_ring
Line 1095  oxasir.verbose {
Line 1095  oxasir.verbose {
   arg1    arg1
 } def  } def
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 /polygcd {  /polygcd {
   /arg1 set    /arg1 set
   [/pp /f /g /comm /vv] pushVariables    [/pp /f /g /comm /vv] pushVariables
Line 1163  oxasir.verbose {
Line 1164  oxasir.verbose {
   (Example: [(x^2-1) (x-1) [(x)]] polylcm )    (Example: [(x^2-1) (x-1) [(x)]] polylcm )
  ]   ]
 ] putUsages  ] 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  [(chattr) 0 /findIntegralRoots] extension pop
Legend:
Removed from v.1.40  
changed lines
  Added in v.1.42
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>