OpenXM/src/kan96xx/Kan/dr.sm1 - diff

Return to dr.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Kan

Diff for /OpenXM/src/kan96xx/Kan/dr.sm1 between version 1.11 and 1.20

-version 1.11, 2003/05/15 00:42:07
+version 1.20, 2003/08/24 05:19:42
 Line 1
 Line 1
 Line 1
- % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.10 2002/11/08 14:18:01 takayama Exp $
+ % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.19 2003/08/23 02:28:38 takayama Exp $
  %% dr.sm1 (Define Ring) 1994/9/25, 26
  %% This file is error clean.
 Line 2534  newline
 Line 2534  newline
 Line 2534  newline
    arg1
  } def
+ [(ord_w_all)
+  [(ff [v1 w1 v2 w2 ... vm wm] ord_w d)
+   (poly ff; string v1; integer w1; ...)
+   (order of ff by the weight vector [w1 w2 ...])
+   (Example: [(x,y,t) ring_of_polynomials 0] define_ring )
+   (          (x^2 y^3-x-t). [(t) 1 ] ord_w_all ::)
+  ]
+ ] putUsages
+ /ord_w_all {
+   /arg2 set /arg1 set
+   [/ord_w_all-in /fff /fff-in /www /rrr /iii /ddd /zzz /ddd-tmp] pushVariables
+   [
+     /fff arg1 def
+     /www arg2 def
+     fff (0). eq { /ddd -intInfinity def /ord_w_all.LLL goto} { } ifelse
+     /ddd -intInfinity def
+     fff (ring) dc /rrr set
+     /zzz (0) rrr ,, def
+     fff init /fff-in set
+     fff fff-in sub /fff set
+     {
+      /ddd-tmp 0 def
+2 www length 1 sub {
+        /iii set
+        fff-in << www iii get rrr ,, >> degree
+        << www iii 1 add get >> mul
+        ddd-tmp add /ddd-tmp set
+      } for
+      ddd-tmp ddd gt { /ddd ddd-tmp def }  {  } ifelse
+      fff zzz eq { exit } {  } ifelse
+      fff init /fff-in set
+      fff fff-in sub /fff set
+     } loop
+     /ord_w_all.LLL
+     /arg1 ddd def
+   ] pop
+   popVariables
+   arg1
+ } def
  [(laplace0)
   [
   (f [v1 ... vn] laplace0 g)
-Line 3282  newline
+Line 3322  newline
 Line 3282  newline
 Line 3322  newline
  ]] putUsages
  /cancelCoeff {
+   /arg1 set
+   [(reduceContent) arg1] gbext 0 get
+ } def
+ /cancelCoeff_org {
   /arg1 set
   [/in-cancelCoeff /ff /gg /dd /dd2] pushVariables
   [  /ff arg1 def
-Line 3687  $ [ff ff] fromVectors :: $
+Line 3731  $ [ff ff] fromVectors :: $
 Line 3687  $ [ff ff] fromVectors :: $
 Line 3731  $ [ff ff] fromVectors :: $
    popVariables
    arg1
  } def
+ [(execve)
+  [
+    (command execve)
+    ([arg0 arg1 arg2 ...] execve )
+    (It executes the command by the system call execve.)
+    (cf. system, forkExec)
+  ]
+ ] putUsages
+ /execve {
+   /execve.arg set
+   [(forkExec) execve.arg [ ] 1] extension
+ } def
+ [(beginEcart)
+  [
+    (beginEcart)
+    (Set the environments for the ecart division algorithm.)
+  ]
+ ] putUsages
+ /beginEcart {
+   (red@) (ecart) switch_function
+   [(Ecart) 1] system_variable
+   [(CheckHomogenization) 0] system_variable
+   [(ReduceLowerTerms) 0] system_variable
+   [(AutoReduce) 0] system_variable
+   [(EcartAutomaticHomogenization) 0] system_variable
+ } def
+ [(endEcart)
+  [
+    (endEcart)
+    (End of using the ecart division algorithm.)
+  ]
+ ] putUsages
+ /endEcart {
+   (red@) (standard) switch_function
+   [(Ecart) 0] system_variable
+   [(degreeShift) (reset)] homonigeze pop
+ } 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
  ;

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>