| version 1.19, 2003/08/23 02:28:38 |
version 1.23, 2003/09/12 02:52:50 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.18 2003/08/20 01:39:16 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 { |
/ord_ws_all { |
| Line 3794 $ [ff ff] fromVectors :: $ |
|
| Line 3799 $ [ff ff] fromVectors :: $ |
|
| (cf: init, gbext. Obsolete: ord_w, ord_w_all) |
(cf: init, gbext. Obsolete: ord_w, ord_w_all) |
| ] |
] |
| ] putUsages |
] 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 |
| |
|
| |
|
| ; |
; |
| |
|