version 1.16, 2003/07/17 12:11:09 |
version 1.22, 2003/08/26 12:46:04 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.15 2003/07/17 09:10:54 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.21 2003/08/24 05:25:58 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 3755 $ [ff ff] fromVectors :: $ |
|
Line 3759 $ [ff ff] fromVectors :: $ |
|
[(CheckHomogenization) 0] system_variable |
[(CheckHomogenization) 0] system_variable |
[(ReduceLowerTerms) 0] system_variable |
[(ReduceLowerTerms) 0] system_variable |
[(AutoReduce) 0] system_variable |
[(AutoReduce) 0] system_variable |
|
[(EcartAutomaticHomogenization) 0] system_variable |
} def |
} def |
|
|
[(endEcart) |
[(endEcart) |
Line 3767 $ [ff ff] fromVectors :: $ |
|
Line 3772 $ [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 |
|
|
|
|
; |
; |
|
|