===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/oxasir.sm1,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -p -r1.9 -r1.10
--- OpenXM/src/kan96xx/Doc/oxasir.sm1	2002/08/11 11:20:37	1.9
+++ OpenXM/src/kan96xx/Doc/oxasir.sm1	2002/09/30 02:01:37	1.10
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/oxasir.sm1,v 1.8 2002/08/11 02:47:01 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/oxasir.sm1,v 1.9 2002/08/11 11:20:37 takayama Exp $
 %% kxx/oxasir.sm1   1998, 2/12 (this version is at Old/oxasir.sm1.19980212
 %%   3/1, 1995, 11/5, 11/21
 %% This file is error clean.
@@ -620,7 +620,7 @@ oxasir.verbose {
   ([f v] bfct b)
   ( string f )
   ( b is the global b-function of the polynomial f.)
-  (Example: (x^3-y^2) bfct fctr :: )
+  (Example: [(x^3-y^2) (x,y)] bfct fctr :: )
   (Algorithm: M.Noro, Mathematical Software, icms 2002, pp.147--157.)
   (  )
   (If you interrupted the computation by typing ctrl-C, type in )