=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/Diff.texi,v retrieving revision 1.2 retrieving revision 1.4 diff -u -p -r1.2 -r1.4 --- OpenXM/src/asir-contrib/packages/doc/Attic/Diff.texi 1999/11/29 05:01:42 1.2 +++ OpenXM/src/asir-contrib/packages/doc/Attic/Diff.texi 2000/01/21 12:54:39 1.4 @@ -1,4 +1,4 @@ -@c $OpenXM$ +@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/Diff.texi,v 1.3 2000/01/03 09:15:53 okutani Exp $ @node Differential equations,,, その他の函数 @section Differential equations ファイル @file{gr}, @file{Matrix} が必要です. @@ -42,7 +42,7 @@ $$ [ [ [x,[1,0]],[y,[0,1]],[1,[0,0]] ],[ [1,[2,0]],[1, * diff_poly_solve_appell4:: @c * diff_poly_solve_selberg2:: @c * diff_poly_solve_gkz:: -@c * diff_rat_solve:: +* diff_rat_solve:: @c * diff_pseries_appell4:: @end menu @@ -187,3 +187,33 @@ $$ [ [ [x,[1,0]],[y,[0,1]],[1,[0,0]] ],[ [1,[2,0]],[1, [-3*_45*y^2*x-_45*y^3+_45*y^2,[_45]] @end example +@node diff_rat_solve,,, Differential equations +@subsection @code{diff_rat_solve} +@findex diff_rat_solve +@table @t +@item diff_rat_solve(@var{LL},@var{Dn},@var{N},@var{V}) +:: 与えられた線型微分方程式系の分母が @var{Dn}, 分子が @var{N} 次以下の多項式であるような解を求める. +@end table +@table @var +@item return +リスト +@item LL +リスト +@item Dn +有理式 +@item N +整数 +@item V +リスト +@end table +@itemize @bullet +@item @code{diff_rat_solve}の例. +@end itemize +@example +[333] diff_rat_solve([[[x,[1]],[1,[0]]]],x,1,[x]); +[(_8)/(x),[_8]] + +[350] D = diff_op_appell4(0,0,3,0,[x,y])$ +[351] diff_rat_solve(D,x^2,2,[x,y]); +[(_118*x^2-_114*y*x+1/2*_114*y^2+_114*y)/(x^2),[_114,_118]] +@end example