version 1.1, 2002/07/29 02:56:26 |
version 1.2, 2002/08/04 07:37:46 |
|
|
@c $OpenXM$ |
@c $OpenXM: OpenXM/src/asir-contrib/packages/doc/Dmodule-ja.texi,v 1.1 2002/07/29 02:56:26 takayama Exp $ |
@node D-module (library by Okutani),,, Top |
@node D-module (library by Okutani),,, Top |
@chapter D-module (library by Okutani) |
@chapter 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}, @file{Dmodule} |
|
$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 |
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. |
$B%i%$%V%i%j$G$9(B. $B$9$Y$F$N4X?tL>$O(B odmodule_ $B$G;O$^$j$^$9(B. |
Line 192 Yukio Okutani $B;a$K$h$k(B D-$B2C727W;;MQ$N(B sm1 |
|
Line 193 Yukio Okutani $B;a$K$h$k(B D-$B2C727W;;MQ$N(B sm1 |
|
@findex odmodule_restriction |
@findex odmodule_restriction |
@table @t |
@table @t |
@item odmodule_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(B 0 $B<!$N(Brestriction$B$r5a$a$^$9(B. |
@end table |
@end table |
@table @var |
@table @var |
@item return |
@item return |