| version 1.29, 2004/05/28 08:11:31 |
version 1.31, 2004/08/31 04:45:42 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.28 2004/05/27 11:13:49 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.30 2004/07/29 08:13:42 takayama Exp $ |
| %[(parse) (hol.sm1) pushfile] extension |
(hol_loaded) boundp { } |
| |
{ [(parse) (hol.sm1) pushfile] extension } ifelse |
| %[(parse) (appell.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
| |
|
| (ecart.sm1 : ecart division for D, 2003/07/25 ) message-quiet |
(ecart.sm1 : ecart division for D, 2003/07/25 ) message-quiet |
|
|
| /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 >> |
| { |
{ |
|
|
| |
|
| ( ) message-quiet |
( ) message-quiet |
| |
|
| |
/ecart_loaded 1 def |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to ecart.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc