=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/ecart.sm1,v retrieving revision 1.29 retrieving revision 1.31 diff -u -p -r1.29 -r1.31 --- OpenXM/src/kan96xx/Doc/ecart.sm1 2004/05/28 08:11:31 1.29 +++ OpenXM/src/kan96xx/Doc/ecart.sm1 2004/08/31 04:45:42 1.31 @@ -1,5 +1,6 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.28 2004/05/27 11:13:49 takayama Exp $ -%[(parse) (hol.sm1) pushfile] extension +% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.30 2004/07/29 08:13:42 takayama Exp $ +(hol_loaded) boundp { } +{ [(parse) (hol.sm1) pushfile] extension } ifelse %[(parse) (appell.sm1) pushfile] extension (ecart.sm1 : ecart division for D, 2003/07/25 ) message-quiet @@ -1556,6 +1557,7 @@ /univ vars 0 get reverse vars 1 get reverse join def + w-vectors to_int /w-vectors set [ 0 1 << w-vectors length 1 sub >> { @@ -1872,3 +1874,4 @@ ( ) message-quiet +/ecart_loaded 1 def \ No newline at end of file