===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/ox.sm1,v
retrieving revision 1.30
retrieving revision 1.31
diff -u -p -r1.30 -r1.31
--- OpenXM/src/kan96xx/Doc/ox.sm1	2004/02/04 12:03:36	1.30
+++ OpenXM/src/kan96xx/Doc/ox.sm1	2004/02/05 03:04:40	1.31
@@ -1,4 +1,4 @@
-%%%%%%%%%%%  $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.29 2003/12/08 05:50:31 takayama Exp $
+%%%%%%%%%%%  $OpenXM: OpenXM/src/kan96xx/Doc/ox.sm1,v 1.30 2004/02/04 12:03:36 takayama Exp $
 
 /ox.sm1.myname (ox-new.sm1) def
 
@@ -1509,7 +1509,7 @@ oxasir.verbose {
 } def
 [(asir.wgr)
 [([ ff vv ww ] asir.wgr g)
- $It computes the (-ww,ww) Grobner basis of ff in the homogenized Wel algebra.$
+ $It computes the (-ww,ww) Grobner basis of ff in the homogenized Weyl algebra.$
  (Homogenization is automatically done.)
  $Example 1: $
  $ [ [(x*Dx+y*Dy-1)  (Dx*Dy)] $