| version 1.15, 2003/07/17 09:10:54 |
version 1.19, 2003/08/23 02:28:38 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.14 2003/07/14 12:49:51 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.18 2003/08/20 01:39:16 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. |
| |
|
|
|
| ]] putUsages |
]] putUsages |
| |
|
| /cancelCoeff { |
/cancelCoeff { |
| |
/arg1 set |
| |
[(reduceContent) arg1] gbext 0 get |
| |
} def |
| |
/cancelCoeff_org { |
| /arg1 set |
/arg1 set |
| [/in-cancelCoeff /ff /gg /dd /dd2] pushVariables |
[/in-cancelCoeff /ff /gg /dd /dd2] pushVariables |
| [ /ff arg1 def |
[ /ff arg1 def |
| Line 3752 $ [ff ff] fromVectors :: $ |
|
| Line 3756 $ [ff ff] fromVectors :: $ |
|
| /beginEcart { |
/beginEcart { |
| (red@) (ecart) switch_function |
(red@) (ecart) switch_function |
| [(Ecart) 1] system_variable |
[(Ecart) 1] system_variable |
| |
[(CheckHomogenization) 0] system_variable |
| |
[(ReduceLowerTerms) 0] system_variable |
| |
[(AutoReduce) 0] system_variable |
| |
[(EcartAutomaticHomogenization) 0] system_variable |
| } def |
} def |
| |
|
| [(endEcart) |
[(endEcart) |
| Line 3765 $ [ff ff] fromVectors :: $ |
|
| Line 3773 $ [ff ff] fromVectors :: $ |
|
| (red@) (standard) switch_function |
(red@) (standard) switch_function |
| [(Ecart) 0] system_variable |
[(Ecart) 0] system_variable |
| } 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 |
| |
|
| ; |
; |
| |
|