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

Diff for /OpenXM/src/kan96xx/Kan/dr.sm1 between version 1.18 and 1.23

version 1.18, 2003/08/20 01:39:16 version 1.23, 2003/09/12 02:52:50
Line 1 
Line 1 
 % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.17 2003/07/17 23:37:01 takayama Exp $  % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.22 2003/08/26 12:46:04 takayama Exp $
 %% dr.sm1 (Define Ring) 1994/9/25, 26  %% dr.sm1 (Define Ring) 1994/9/25, 26
 %% This file is error clean.  %% This file is error clean.
   
Line 3753  $ [ff ff] fromVectors :: $ 
Line 3753  $ [ff ff] fromVectors :: $ 
  ]   ]
 ] putUsages  ] putUsages
   
   /ecart.debug_reduction1 0 def
 /beginEcart {  /beginEcart {
   (red@) (ecart) switch_function    (red@) (ecart) switch_function
   [(Ecart) 1] system_variable    [(Ecart) 1] system_variable
Line 3760  $ [ff ff] fromVectors :: $ 
Line 3761  $ [ff ff] fromVectors :: $ 
   [(ReduceLowerTerms) 0] system_variable    [(ReduceLowerTerms) 0] system_variable
   [(AutoReduce) 0] system_variable    [(AutoReduce) 0] system_variable
   [(EcartAutomaticHomogenization) 0] system_variable    [(EcartAutomaticHomogenization) 0] system_variable
     ecart.debug_reduction1 {
       (red@) (debug) switch_function
     } {  } ifelse
 } def  } def
   
 [(endEcart)  [(endEcart)
Line 3772  $ [ff ff] fromVectors :: $ 
Line 3776  $ [ff ff] fromVectors :: $ 
 /endEcart {  /endEcart {
   (red@) (standard) switch_function    (red@) (standard) switch_function
   [(Ecart) 0] system_variable    [(Ecart) 0] system_variable
     [(degreeShift) (reset)] homogenize pop
 } def  } def
   
   /ord_ws_all {
     /arg2 set /arg1 set
     [(ord_ws_all) arg1 arg2] gbext
   } def
   [(ord_ws_all)
    [
      (fv wv ord_ws_all degree)
      (  ord_ws_all returns the ord with respect to the weight vector wv.)
      $Example: [(x,y) ring_of_differential_operators 0] define_ring  $
      $        (Dx^2+x*Dx*Dy+2). [(Dx) 1 (Dy) 1] weightv ord_ws_all ::  $
      (  )
      (fv [wv shiftv] ord_ws_all degree)
      (  ord_ws_all returns the ord with respect to the weight vector wv and)
      (  the shift vector shiftv.)
      $Example: [(x,y) ring_of_differential_operators 0] define_ring  $
      $        [(Dx^2+x*Dx*Dy+2). (Dx).] [[(Dx) 1 (Dy) 1] weightv [0 2]] ord_ws_all ::$
      (  )
      (cf: init, gbext.   Obsolete: ord_w, ord_w_all)
    ]
   ] putUsages
   
   [(newVector)
    [( n newVector vec)
   ]] putUsages
   /newVector {
     /arg1 set
     [/in-newVector /n] pushVariables
     [
       /n arg1 def
       [(newVector) n] extension /arg1 set
     ] pop
     popVariables
     arg1
   } def
   
   [(newMatrix)
    [( [m n] newMatrix mat)
   ]] putUsages
   /newMatrix {
     /arg1 set
     [/in-newMatrix /n] pushVariables
     [
       /n arg1 def
       [(newMatrix) n 0 get n 1 get] extension /arg1 set
     ] pop
     popVariables
     arg1
   } def
   
   
 ;  ;
   
Legend:
Removed from v.1.18  
changed lines
  Added in v.1.23
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>