=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/hol.sm1,v retrieving revision 1.25 retrieving revision 1.26 diff -u -p -r1.25 -r1.26 --- OpenXM/src/kan96xx/Doc/hol.sm1 2005/07/24 09:02:40 1.25 +++ OpenXM/src/kan96xx/Doc/hol.sm1 2008/01/18 00:48:07 1.26 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.24 2005/06/23 03:23:26 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.25 2005/07/24 09:02:40 takayama Exp $ %% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. 2000, 6/8 %% rank, rrank, characteristic %% This file is error clean. @@ -1064,6 +1064,10 @@ message-quiet (Example 5: [((x1+x2+x3)(x1 x2 + x2 x3 + x1 x3) - t x1 x2 x3 ) ) ( (t,x1,x2,x3) -1 -2] annfs :: ) ( Note that the example 4 uses huge memory space.) + ( ) + (Note: This implementation is stable but obsolete. ) + (As to faster implementation, we refer to ann0 and ann of Risa/Asir ) + (Visit http://www.math.kobe-u.ac.jp/Asir ) ]] putUsages ( annfs ) messagen-quiet /annfs.verbose fs.verbose def