| version 1.31, 2004/08/27 08:33:27 |
version 1.32, 2004/08/31 04:45:42 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.30 2004/08/23 08:33:55 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.31 2004/08/27 08:33:27 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. |
| |
|
|
|
| /univ vars 0 get reverse |
/univ vars 0 get reverse |
| vars 1 get reverse join |
vars 1 get reverse join |
| def |
def |
| |
w-vectors to_int /w-vectors set |
| [ |
[ |
| 0 1 << w-vectors length 1 sub >> |
0 1 << w-vectors length 1 sub >> |
| { |
{ |
|
|
| /arg2 set /arg1 set |
/arg2 set /arg1 set |
| [/univ /www /k /vname /vweight /ans] pushVariables |
[/univ /www /k /vname /vweight /ans] pushVariables |
| /univ arg1 def /www arg2 def |
/univ arg1 def /www arg2 def |
| [ |
[ |
| |
www to_int /www set |
| /ans << univ length >> -1 0 evecw def |
/ans << univ length >> -1 0 evecw def |
| 0 2 << www length 2 sub >> |
0 2 << www length 2 sub >> |
| { |
{ |
|
|
| [ |
[ |
| /fff arg1 def |
/fff arg1 def |
| /www arg2 def |
/www arg2 def |
| |
www to_int /www set |
| fff (0). eq { /ddd -intInfinity def /ord_w.LLL goto} { } ifelse |
fff (0). eq { /ddd -intInfinity def /ord_w.LLL goto} { } ifelse |
| fff (ring) dc /rrr set |
fff (ring) dc /rrr set |
| fff init /fff set |
fff init /fff set |
|
|
| [ |
[ |
| /fff arg1 def |
/fff arg1 def |
| /www arg2 def |
/www arg2 def |
| |
www to_int /www set |
| fff (0). eq { /ddd -intInfinity def /ord_w_all.LLL goto} { } ifelse |
fff (0). eq { /ddd -intInfinity def /ord_w_all.LLL goto} { } ifelse |
| /ddd -intInfinity def |
/ddd -intInfinity def |
| fff (ring) dc /rrr set |
fff (ring) dc /rrr set |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to dr.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan