[BACK]Return to Dmodule.texi CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-contrib / packages / doc

Diff for /OpenXM/src/asir-contrib/packages/doc/Attic/Dmodule.texi between version 1.4 and 1.5

version 1.4, 2000/02/20 11:30:44 version 1.5, 2001/06/24 01:14:21
Line 1 
Line 1 
 @c $OpenXM: OpenXM/src/asir-contrib/packages/doc/Dmodule.texi,v 1.3 2000/01/03 09:15:53 okutani Exp $  @c $OpenXM: OpenXM/src/asir-contrib/packages/doc/Dmodule.texi,v 1.4 2000/02/20 11:30:44 okutani Exp $
 @node D-module,,, $B$=$NB>$NH!?t(B  @node D-module (library by Okutani),,, Top
 @section D-module  @section D-module (library by Okutani)
 $B%U%!%$%k(B @file{gr}, @file{xm}, @file{Matrix}, @file{Diff} $B$,I,MW$G$9(B.  $B%U%!%$%k(B @file{gr}, @file{xm}, @file{Matrix}, @file{Diff} $B$,I,MW$G$9(B.
   
   Yukio Okutani $B;a$K$h$k(B D-$B2C727W;;MQ$N(B sm1 $B%5!<%P$H$N%$%s%?%U%'!<%9(B
   $B%i%$%V%i%j$G$9(B. $B$9$Y$F$N4X?tL>$O(B odmodule_ $B$G;O$^$j$^$9(B.
   
 @menu  @menu
 @c * dmodule_make_dv::  @c * odmodule_make_dv::
 * dmodule_d_op_tosm1::  * odmodule_d_op_tosm1::
 * dmodule_d_op_toasir::  * odmodule_d_op_toasir::
 * dmodule_d_op_fromasir::  * odmodule_d_op_fromasir::
 * dmodule_ch_ideal::  * odmodule_ch_ideal::
 * dmodule_singular_locus::  * odmodule_singular_locus::
 @c * dmodule_ch_ideal_appell1::  @c * odmodule_ch_ideal_appell1::
 @c * dmodule_ch_ideal_appell2::  @c * odmodule_ch_ideal_appell2::
 @c * dmodule_ch_ideal_appell3::  @c * odmodule_ch_ideal_appell3::
 @c * dmodule_ch_ideal_appell4::  @c * odmodule_ch_ideal_appell4::
 @c * dmodule_ch_ideal_selberg2::  @c * odmodule_ch_ideal_selberg2::
 @c * dmodule_ch_ideal_gkz::  @c * odmodule_ch_ideal_gkz::
 * dmodule_restriction::  * odmodule_restriction::
 @c * dmodule_restriction_appell1::  @c * odmodule_restriction_appell1::
 @c * dmodule_restriction_appell2::  @c * odmodule_restriction_appell2::
 @c * dmodule_restriction_appell3::  @c * odmodule_restriction_appell3::
 @c * dmodule_restriction_appell4::  @c * odmodule_restriction_appell4::
 @c * dmodule_restriction_selberg2::  @c * odmodule_restriction_selberg2::
 @c * dmodule_restriction_gkz::  @c * odmodule_restriction_gkz::
 * dmodule_elimination::  * odmodule_elimination::
 @c * dmodule_elimination_appell1::  @c * odmodule_elimination_appell1::
 @c * dmodule_elimination_appell2::  @c * odmodule_elimination_appell2::
 @c * dmodule_elimination_appell3::  @c * odmodule_elimination_appell3::
 @c * dmodule_elimination_appell4::  @c * odmodule_elimination_appell4::
 @c * dmodule_elimination_selberg2::  @c * odmodule_elimination_selberg2::
 @c * dmodule_elimination_gkz::  @c * odmodule_elimination_gkz::
 @end menu  @end menu
   
 @node dmodule_d_op_tosm1,,, D-module  @node odmodule_d_op_tosm1,,, D-module (library by Okutani)
 @subsection @code{dmodule_d_op_tosm1}  @subsection @code{odmodule_d_op_tosm1}
 @findex dmodule_d_op_tosm1  @findex odmodule_d_op_tosm1
 @table @t  @table @t
 @item dmodule_d_op_tosm1(@var{LL},@var{V})  @item odmodule_d_op_tosm1(@var{LL},@var{V})
 ::  $B%j%9%H7A<0$NHyJ,:nMQAG%j%9%H$r(B sm1 $B7A<0$KJQ49$7$^$9(B.  ::  $B%j%9%H7A<0$NHyJ,:nMQAG%j%9%H$r(B sm1 $B7A<0$KJQ49$7$^$9(B.
 @end table  @end table
 @table @var  @table @var
Line 49 
Line 53 
 @itemize @bullet  @itemize @bullet
 @item  $BHyJ,:nMQAG$N78?t$O@0?tB?9`<0$KJQ49$5$l$^$9(B.  @item  $BHyJ,:nMQAG$N78?t$O@0?tB?9`<0$KJQ49$5$l$^$9(B.
 @item  $B$3$N4X?t$O(B@code{diff_op_tosm1}$B$HEy2A$G$9(B.  @item  $B$3$N4X?t$O(B@code{diff_op_tosm1}$B$HEy2A$G$9(B.
 @item  @code{dmodule_d_op_tosm1}$B$NNc(B  @item  @code{odmodule_d_op_tosm1}$B$NNc(B
 @end itemize  @end itemize
 @example  @example
 [299] dmodule_d_op_tosm1([[[x,[2,0]],[-1,[0,0]]],  [299] odmodule_d_op_tosm1([[[x,[2,0]],[-1,[0,0]]],
                           [[y,[0,2]],[-1,[0,0]]]],[x,y]);                            [[y,[0,2]],[-1,[0,0]]]],[x,y]);
 [ + ( + (1) x) dx^2 + ( + (-1)), + ( + (1) y) dy^2 + ( + (-1))]  [ + ( + (1) x) dx^2 + ( + (-1)), + ( + (1) y) dy^2 + ( + (-1))]
   
 [300] dmodule_d_op_tosm1([[[x,[1,0]],[y,[0,1]],[1,[0,0]]],  [300] odmodule_d_op_tosm1([[[x,[1,0]],[y,[0,1]],[1,[0,0]]],
                           [[1,[2,0]],[1,[0,2]]]],[x,y]);                            [[1,[2,0]],[1,[0,2]]]],[x,y]);
 [ + ( + (1) x) dx + ( + (1) y) dy + ( + (1)), + ( + (1)) dx^2 + ( + (1)) dy^2]  [ + ( + (1) x) dx + ( + (1) y) dy + ( + (1)), + ( + (1)) dx^2 + ( + (1)) dy^2]
   
 [301] dmodule_d_op_tosm1([[[1/2,[1,0]],[1,[0,0]]],  [301] odmodule_d_op_tosm1([[[1/2,[1,0]],[1,[0,0]]],
                           [[1/3,[0,1]],[1/4,[0,0]]]],[x,y]);                            [[1/3,[0,1]],[1/4,[0,0]]]],[x,y]);
 [ + ( + (6)) dx + ( + (12)), + ( + (4)) dy + ( + (3))]  [ + ( + (6)) dx + ( + (12)), + ( + (4)) dy + ( + (3))]
   
 [302] dmodule_d_op_tosm1([[[1/2*x,[1,0]],[1,[0,0]]],  [302] odmodule_d_op_tosm1([[[1/2*x,[1,0]],[1,[0,0]]],
                           [[1/3*y,[0,1]],[1/4,[0,0]]]],[x,y]);                            [[1/3*y,[0,1]],[1/4,[0,0]]]],[x,y]);
 [ + ( + (6) x) dx + ( + (12)), + ( + (4) y) dy + ( + (3))]  [ + ( + (6) x) dx + ( + (12)), + ( + (4) y) dy + ( + (3))]
 @end example  @end example
   
 @node dmodule_d_op_toasir,,, D-module  @node odmodule_d_op_toasir,,, D-module (library by Okutani)
 @subsection @code{dmodule_d_op_toasir}  @subsection @code{odmodule_d_op_toasir}
 @findex dmodule_d_op_toasir  @findex odmodule_d_op_toasir
 @table @t  @table @t
 @item dmodule_d_op_toasir(@var{LL},@var{V})  @item odmodule_d_op_toasir(@var{LL},@var{V})
 ::  $B%j%9%H7A<0$NHyJ,:nMQAG%j%9%H(B @var{LL} $B$r(B @code{asir} $B$NB?9`<0$KJQ49$7$^$9(B.  ::  $B%j%9%H7A<0$NHyJ,:nMQAG%j%9%H(B @var{LL} $B$r(B @code{asir} $B$NB?9`<0$KJQ49$7$^$9(B.
 @end table  @end table
 @table @var  @table @var
Line 86 
Line 90 
 @end table  @end table
 @itemize @bullet  @itemize @bullet
 @item  $B$3$N4X?t$O(B@code{diff_op_toasir}$B$HEy2A$G$9(B.  @item  $B$3$N4X?t$O(B@code{diff_op_toasir}$B$HEy2A$G$9(B.
 @item  @code{dmodule_d_op_toasir}$B$NNc(B  @item  @code{odmodule_d_op_toasir}$B$NNc(B
 @end itemize  @end itemize
 @example  @example
 [303] dmodule_d_op_toasir([[[1/2*x,[1,0]],[1,[0,0]]],  [303] odmodule_d_op_toasir([[[1/2*x,[1,0]],[1,[0,0]]],
                            [[1/3*y,[0,1]],[1/4,[0,0]]]],[x,y]);                             [[1/3*y,[0,1]],[1/4,[0,0]]]],[x,y]);
 [1/2*x*dx+1,1/3*y*dy+1/4]  [1/2*x*dx+1,1/3*y*dy+1/4]
   
 [304] dmodule_d_op_toasir([[[x,[1,0]],[y,[0,1]],[1,[0,0]]],  [304] odmodule_d_op_toasir([[[x,[1,0]],[y,[0,1]],[1,[0,0]]],
                            [[1,[2,0]],[1,[0,2]]]],[x,y]);                             [[1,[2,0]],[1,[0,2]]]],[x,y]);
 [x*dx+y*dy+1,dx^2+dy^2]  [x*dx+y*dy+1,dx^2+dy^2]
 @end example  @end example
   
 @node dmodule_d_op_fromasir,,, D-module  @node odmodule_d_op_fromasir,,, D-module (library by Okutani)
 @subsection @code{dmodule_d_op_fromasir}  @subsection @code{odmodule_d_op_fromasir}
 @findex dmodule_d_op_fromasir  @findex odmodule_d_op_fromasir
 @table @t  @table @t
 @item dmodule_d_op_fromasir(@var{D_list},@var{V})  @item odmodule_d_op_fromasir(@var{D_list},@var{V})
 ::  @code{asir} $B$NB?9`<0$+$i%j%9%H7A<0$NHyJ,:nMQAG%j%9%H$KJQ49$7$^$9(B.  ::  @code{asir} $B$NB?9`<0$+$i%j%9%H7A<0$NHyJ,:nMQAG%j%9%H$KJQ49$7$^$9(B.
 @end table  @end table
 @table @var  @table @var
Line 115 
Line 119 
 @end table  @end table
 @itemize @bullet  @itemize @bullet
 @item  $B$3$N4X?t$O(B@code{diff_op_fromasir}$B$HEy2A$G$9(B.  @item  $B$3$N4X?t$O(B@code{diff_op_fromasir}$B$HEy2A$G$9(B.
 @item  @code{dmodule_d_op_fromasir}$B$NNc(B  @item  @code{odmodule_d_op_fromasir}$B$NNc(B
 @end itemize  @end itemize
 @example  @example
 [305] dmodule_d_op_fromasir([1/2*x*dx+1,1/3*y*dy+1/4],[x,y]);  [305] odmodule_d_op_fromasir([1/2*x*dx+1,1/3*y*dy+1/4],[x,y]);
 [[[1/2*x,[1,0]],[1,[0,0]]],[[1/3*y,[0,1]],[1/4,[0,0]]]]  [[[1/2*x,[1,0]],[1,[0,0]]],[[1/3*y,[0,1]],[1/4,[0,0]]]]
   
 [306] dmodule_d_op_fromasir([x*dx+y*dy+1,dx^2+dy^2],[x,y]);  [306] odmodule_d_op_fromasir([x*dx+y*dy+1,dx^2+dy^2],[x,y]);
 [[[x,[1,0]],[y,[0,1]],[1,[0,0]]],[[1,[2,0]],[1,[0,2]]]]  [[[x,[1,0]],[y,[0,1]],[1,[0,0]]],[[1,[2,0]],[1,[0,2]]]]
 @end example  @end example
   
 @node dmodule_ch_ideal,,, D-module  @node odmodule_ch_ideal,,, D-module (library by Okutani)
 @subsection @code{dmodule_ch_ideal}  @subsection @code{odmodule_ch_ideal}
 @findex dmodule_ch_ideal  @findex odmodule_ch_ideal
 @table @t  @table @t
 @item dmodule_ch_ideal(@var{D_ideal},@var{V})  @item odmodule_ch_ideal(@var{D_ideal},@var{V})
 ::  @var{D_ideal}$B$N(Bcharacteristic ideal$B$r5a$a$^$9(B.  ::  @var{D_ideal}$B$N(Bcharacteristic ideal$B$r5a$a$^$9(B.
 @end table  @end table
 @table @var  @table @var
Line 142 
Line 146 
 @end table  @end table
 @itemize @bullet  @itemize @bullet
 @item  @var{D_ideal}$B$O(Bgeneric parameter$B$r4^$`$3$H$,$G$-$^$9(B.  @item  @var{D_ideal}$B$O(Bgeneric parameter$B$r4^$`$3$H$,$G$-$^$9(B.
 @item  @code{dmodule_ch_ideal}$B$NNc(B  @item  @code{odmodule_ch_ideal}$B$NNc(B
 @end itemize  @end itemize
 @example  @example
 [344] dmodule_ch_ideal([x*dx+y*dy+a,dx^2+dy^2],[x,y]);  [344] odmodule_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]  [x*dx+y*dy,dx^2+dy^2,y*dy*dx-x*dy^2,(x^2+y^2)*dy^2]
   
 [348] dmodule_ch_ideal(diff_op_appell4(a,b,c1,c2,[x,y]),[x,y]);  [348] odmodule_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,  [-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^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]   2*y*x*dy^2*dx+(y*x^2+(-2*y^2-y)*x+y^3-y^2)*dy^3]
 @end example  @end example
   
 @node dmodule_singular_locus,,, D-module  @node odmodule_singular_locus,,, D-module (library by Okutani)
 @subsection @code{dmodule_singular_locus}  @subsection @code{odmodule_singular_locus}
 @findex dmodule_singular_locus  @findex odmodule_singular_locus
 @table @t  @table @t
 @item dmodule_singular_locus(@var{D_ideal},@var{V})  @item odmodule_singular_locus(@var{D_ideal},@var{V})
 ::  @var{D_ideal}$B$N(Bsingular locus$B$r5a$a$^$9(B.  ::  @var{D_ideal}$B$N(Bsingular locus$B$r5a$a$^$9(B.
 @end table  @end table
 @table @var  @table @var
Line 171 
Line 175 
 @end table  @end table
 @itemize @bullet  @itemize @bullet
 @item  @var{D_ideal}$B$O(Bgeneric parameter$B$r4^$`$3$H$,$G$-$^$9(B.  @item  @var{D_ideal}$B$O(Bgeneric parameter$B$r4^$`$3$H$,$G$-$^$9(B.
 @item  @code{dmodule_singular_locus}$B$NNc(B  @item  @code{odmodule_singular_locus}$B$NNc(B
 @end itemize  @end itemize
 @example  @example
 [356] D = diff_op_appell4(a,b,c1,c2,[x,y])$  [356] D = diff_op_appell4(a,b,c1,c2,[x,y])$
 [357] dmodule_singular_locus(D,[x,y]);  [357] odmodule_singular_locus(D,[x,y]);
 [-y*x^3+(2*y^2+2*y)*x^2+(-y^3+2*y^2-y)*x]  [-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])$  [358] D = diff_op_hg1(a,b,c,[x])$
 [359] dmodule_singular_locus(D,[x]);  [359] odmodule_singular_locus(D,[x]);
 [x^2-x]  [x^2-x]
 @end example  @end example
   
 @node dmodule_restriction,,, D-module  @node odmodule_restriction,,, D-module (library by Okutani)
 @subsection @code{dmodule_restriction}  @subsection @code{odmodule_restriction}
 @findex dmodule_restriction  @findex odmodule_restriction
 @table @t  @table @t
 @item dmodule_restriction(@var{D_ideal},@var{V},@var{Rest})  @item odmodule_restriction(@var{D_ideal},@var{V},@var{Rest})
 ::  @var{D_ideal}$B$N(Brestriction$B$r5a$a$^$9(B.  ::  @var{D_ideal}$B$N(Brestriction$B$r5a$a$^$9(B.
 @end table  @end table
 @table @var  @table @var
Line 202 
Line 206 
 @end table  @end table
 @itemize @bullet  @itemize @bullet
 @item  @var{D_ideal}$B$O(Bgeneric parameter$B$r4^$`$3$H$,$G$-$^$9(B.  @item  @var{D_ideal}$B$O(Bgeneric parameter$B$r4^$`$3$H$,$G$-$^$9(B.
 @item  @code{dmodule_restriction}$B$NNc(B.  @item  @code{odmodule_restriction}$B$NNc(B.
 @end itemize  @end itemize
 @example  @example
 [345] dmodule_restriction([x*dx+y*dy+a,dx^2+dy^2],[x,y],[y]);  [345] odmodule_restriction([x*dx+y*dy+a,dx^2+dy^2],[x,y],[y]);
 [[2,[-x*dx-a,-e0*x*dx-e0*a-e0]]]  [[2,[-x*dx-a,-e0*x*dx-e0*a-e0]]]
 @end example  @end example
   
 @node dmodule_elimination,,, D-module  @node odmodule_elimination,,, D-module (library by Okutani)
 @subsection @code{dmodule_elimination}  @subsection @code{odmodule_elimination}
 @findex dmodule_elimination  @findex odmodule_elimination
 @table @t  @table @t
 @item dmodule_elimination(@var{D_ideal},@var{V},@var{Elim})  @item odmodule_elimination(@var{D_ideal},@var{V},@var{Elim})
 ::  @var{D_ideal}$B$N(Belimination ideal$B$r5a$a$^$9(B.  ::  @var{D_ideal}$B$N(Belimination ideal$B$r5a$a$^$9(B.
 @end table  @end table
 @table @var  @table @var
Line 228 
Line 232 
 @end table  @end table
 @itemize @bullet  @itemize @bullet
 @item  @var{D_ideal}$B$O(Bgeneric parameter$B$r4^$`$3$H$,$G$-$^$9(B.  @item  @var{D_ideal}$B$O(Bgeneric parameter$B$r4^$`$3$H$,$G$-$^$9(B.
 @item  @code{dmodule_elimination}$B$NNc(B.  @item  @code{odmodule_elimination}$B$NNc(B.
 @end itemize  @end itemize
 @example  @example
 [346] dmodule_elimination([x*dx+y*dy+a,dx^2+dy^2],[x,y],[[y],[0]]);  [346] odmodule_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]  [x^2*dx^2+(2*a+2)*x*dx+a^2+a]
   
 [347] dmodule_elimination([x*dx+y*dy+a,dx^2+dy^2],[x,y],[[y],[b]]);  [347] odmodule_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]  [(x^2+b^2)*dx^2+(2*a+2)*x*dx+a^2+a]
 @end example  @end example
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>