===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/Dmodule-ja.texi,v
retrieving revision 1.1
retrieving revision 1.3
diff -u -p -r1.1 -r1.3
--- OpenXM/src/asir-contrib/packages/doc/Attic/Dmodule-ja.texi	2002/07/29 02:56:26	1.1
+++ OpenXM/src/asir-contrib/packages/doc/Attic/Dmodule-ja.texi	2002/08/08 08:56:32	1.3
@@ -1,8 +1,15 @@
-@c $OpenXM$
+@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/Dmodule-ja.texi,v 1.2 2002/08/04 07:37:46 takayama Exp $
 @node D-module (library by Okutani),,, Top
 @chapter D-module (library by Okutani)
-ファイル @file{gr}, @file{xm}, @file{Matrix}, @file{Diff} が必要です.
+ファイル @file{gr}, @file{xm}, @file{Matrix}, @file{Diff}, @file{Dmodule}
+が必要です.
 
+OpenXM/Risa/Asir での利用にあたっては,
+@example
+load("Diff")$ load("Dmodule")$
+@end example
+が始めに必要.
+
 Yukio Okutani 氏による D-加群計算用の sm1 サーバとのインタフェース
 ライブラリです. すべての関数名は odmodule_ で始まります. 
 
@@ -192,7 +199,7 @@ Yukio Okutani 氏による D-加群計算用の sm1 
 @findex odmodule_restriction
 @table @t
 @item odmodule_restriction(@var{D_ideal},@var{V},@var{Rest})
-::  @var{D_ideal}のrestrictionを求めます.
+::  @var{D_ideal}の 0 次のrestrictionを求めます.
 @end table
 @table @var
 @item return