version 1.2, 1999/12/07 09:35:22 |
version 1.3, 1999/12/10 09:17:50 |
|
|
% $OpenXM$ |
% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.2 1999/12/07 09:35:22 takayama Exp $ |
%% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. |
%% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. |
%% rank, rrank, characteristic |
%% rank, rrank, characteristic |
%% This file is error clean. |
%% This file is error clean. |
|
|
/arg1 set |
/arg1 set |
[/in-reduction* /aa /typev /setarg /f /v |
[/in-reduction* /aa /typev /setarg /f /v |
/gg /wv /termorder /vec /ans /rr /mm /h /size /a0 /a3 |
/gg /wv /termorder /vec /ans /rr /mm /h /size /a0 /a3 |
|
/opt |
] pushVariables |
] pushVariables |
[(CurrentRingp) (KanGBmessage)] pushEnv |
[(CurrentRingp) (KanGBmessage)] pushEnv |
[ |
[ |
|
|
h toString . /h set |
h toString . /h set |
} ifelse |
} ifelse |
f { toString . } map /f set |
f { toString . } map /f set |
|
getOptions /opt set |
|
[(ReduceLowerTerms) 1] system_variable |
reduction*.noH { |
reduction*.noH { |
h f reduction-noH /ans set |
h f reduction-noH /ans set |
} { |
} { |
h f reduction /ans set |
h f reduction /ans set |
} ifelse |
} ifelse |
|
opt restoreOptions |
size -1 eq not { |
size -1 eq not { |
[size ans 0 get] toVectors /a0 set |
[size ans 0 get] toVectors /a0 set |
[size ans 3 get] toVectors /a3 set |
[size ans 3 get] toVectors /a3 set |