===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/Dmodule.texi,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/src/asir-contrib/packages/doc/Attic/Dmodule.texi	2000/01/03 09:15:53	1.3
+++ OpenXM/src/asir-contrib/packages/doc/Attic/Dmodule.texi	2000/02/20 11:30:44	1.4
@@ -1,4 +1,4 @@
-@c $OpenXM$
+@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/Dmodule.texi,v 1.3 2000/01/03 09:15:53 okutani Exp $
 @node D-module,,, その他の函数
 @section D-module
 ファイル @file{gr}, @file{xm}, @file{Matrix}, @file{Diff} が必要です.
@@ -8,6 +8,7 @@
 * dmodule_d_op_toasir::
 * dmodule_d_op_fromasir::
 * dmodule_ch_ideal::
+* dmodule_singular_locus::
 @c * dmodule_ch_ideal_appell1::
 @c * dmodule_ch_ideal_appell2::
 @c * dmodule_ch_ideal_appell3::
@@ -47,6 +48,7 @@
 @end table
 @itemize @bullet
 @item  微分作用素の係数は整数多項式に変換されます.
+@item  この関数は@code{diff_op_tosm1}と等価です.
 @item  @code{dmodule_d_op_tosm1}の例
 @end itemize
 @example
@@ -83,6 +85,7 @@
 リスト
 @end table
 @itemize @bullet
+@item  この関数は@code{diff_op_toasir}と等価です.
 @item  @code{dmodule_d_op_toasir}の例
 @end itemize
 @example
@@ -111,6 +114,7 @@
 リスト
 @end table
 @itemize @bullet
+@item  この関数は@code{diff_op_fromasir}と等価です.
 @item  @code{dmodule_d_op_fromasir}の例
 @end itemize
 @example
@@ -137,16 +141,48 @@
 リスト
 @end table
 @itemize @bullet
+@item  @var{D_ideal}はgeneric parameterを含むことができます.
 @item  @code{dmodule_ch_ideal}の例
 @end itemize
 @example
-[301] dmodule_ch_ideal(["x dx + y dy + 1","dx^2 + dy^2"],[x,y]);
+[344] dmodule_ch_ideal([x*dx+y*dy+a,dx^2+dy^2],[x,y]);
 [x*dx+y*dy,dx^2+dy^2,y*dy*dx-x*dy^2,(x^2+y^2)*dy^2]
 
-[302] dmodule_ch_ideal(["x dx + 1","dx dy"],[x,y]);
-[x*dx,dy]
+[348] dmodule_ch_ideal(diff_op_appell4(a,b,c1,c2,[x,y]),[x,y]);
+[-x*dx^2+y*dy^2,2*y*x*dy*dx+(y*x+y^2-y)*dy^2,
+ (2*y^2-2*y)*dy^2*dx+(-y*x+3*y^2+y)*dy^3,
+ 2*y*x*dy^2*dx+(y*x^2+(-2*y^2-y)*x+y^3-y^2)*dy^3]
 @end example
 
+@node dmodule_singular_locus,,, D-module
+@subsection @code{dmodule_singular_locus}
+@findex dmodule_singular_locus
+@table @t
+@item dmodule_singular_locus(@var{D_ideal},@var{V})
+::  @var{D_ideal}のsingular locusを求めます.
+@end table
+@table @var
+@item return
+リスト
+@item D_ideal
+リスト
+@item V
+リスト
+@end table
+@itemize @bullet
+@item  @var{D_ideal}はgeneric parameterを含むことができます.
+@item  @code{dmodule_singular_locus}の例
+@end itemize
+@example
+[356] D = diff_op_appell4(a,b,c1,c2,[x,y])$
+[357] dmodule_singular_locus(D,[x,y]);
+[-y*x^3+(2*y^2+2*y)*x^2+(-y^3+2*y^2-y)*x]
+
+[358] D = diff_op_hg1(a,b,c,[x])$
+[359] dmodule_singular_locus(D,[x]);
+[x^2-x]
+@end example
+
 @node dmodule_restriction,,, D-module
 @subsection @code{dmodule_restriction}
 @findex dmodule_restriction
@@ -165,11 +201,12 @@
 リスト
 @end table
 @itemize @bullet
+@item  @var{D_ideal}はgeneric parameterを含むことができます.
 @item  @code{dmodule_restriction}の例.
 @end itemize
 @example
-[303] dmodule_restriction(["x dx + y dy + 1","dx^2 + dy^2"],[x,y],[y]);
-[[2,[-x*dx-1,-e0*x*dx-2*e0]]]
+[345] dmodule_restriction([x*dx+y*dy+a,dx^2+dy^2],[x,y],[y]);
+[[2,[-x*dx-a,-e0*x*dx-e0*a-e0]]]
 @end example
 
 @node dmodule_elimination,,, D-module
@@ -190,42 +227,13 @@
 リスト
 @end table
 @itemize @bullet
+@item  @var{D_ideal}はgeneric parameterを含むことができます.
 @item  @code{dmodule_elimination}の例.
 @end itemize
 @example
-[305] dmodule_elimination(["x dx + y dy + 1","dx^2 + dy^2"],[x,y],[[y],[0]]);
-[x^2*dx^2+4*x*dx+2]
+[346] dmodule_elimination([x*dx+y*dy+a,dx^2+dy^2],[x,y],[[y],[0]]);
+[x^2*dx^2+(2*a+2)*x*dx+a^2+a]
 
-[306] dmodule_elimination(["x dx + y dy + 1","dx^2 + dy^2"],[x,y],[[y],[a]]);
-[(x^2+a^2)*dx^2+4*x*dx+2]
+[347] dmodule_elimination([x*dx+y*dy+a,dx^2+dy^2],[x,y],[[y],[b]]);
+[(x^2+b^2)*dx^2+(2*a+2)*x*dx+a^2+a]
 @end example
-
-@node dmodule_elimination_generic,,, D-module
-@subsection @code{dmodule_elimination_generic}
-@findex dmodule_elimination_generic
-@table @t
-@item dmodule_elimination_generic(@var{D_ideal},@var{Param},@var{V},@var{Elim})
-::  generic parameterを含む@var{D_ideal}のelimination idealを求めます.
-@end table
-@table @var
-@item return
-リスト
-@item @var{D_ideal}
-リスト
-@item @var{Param}
-リスト
-@item @var{V}
-リスト
-@item @var{Elim}
-リスト
-@end table
-@itemize @bullet
-@item  @code{dmodule_elimination_generic}の例.
-@end itemize
-@example
-[307] dmodule_elimination_generic(["x dx + y dy + 1","dx^2 + dy^2 + a"],
-                                  [a],[x,y],[[y],[s]]);
-[(x^2+s^2)*dx^2+4*x*dx+a*s^2+2,2*a]
-
-@end example
-