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

Return to dr.sm1 CVS log

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

-version 1.18, 2003/08/20 01:39:16
+version 1.20, 2003/08/24 05:19:42
 Line 1
 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.19 2003/08/23 02:28:38 takayama Exp $
  %% dr.sm1 (Define Ring) 1994/9/25, 26
  %% This file is error clean.
 Line 3772  $ [ff ff] fromVectors :: $
 Line 3772  $ [ff ff] fromVectors :: $
 Line 3772  $ [ff ff] fromVectors :: $
  /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
  ;