version 1.19, 2016/08/29 04:56:58 |
version 1.21, 2018/09/06 05:42:43 |
|
|
@comment $OpenXM: OpenXM/src/asir-doc/parts/groebner.texi,v 1.18 2016/03/24 20:58:50 noro Exp $ |
@comment $OpenXM: OpenXM/src/asir-doc/parts/groebner.texi,v 1.20 2017/08/31 04:54:36 takayama Exp $ |
\BJP |
\BJP |
@node $B%0%l%V%J4pDl$N7W;;(B,,, Top |
@node $B%0%l%V%J4pDl$N7W;;(B,,, Top |
@chapter $B%0%l%V%J4pDl$N7W;;(B |
@chapter $B%0%l%V%J4pDl$N7W;;(B |
Line 220 the head term and the head coefficient respectively. |
|
Line 220 the head term and the head coefficient respectively. |
|
\E |
\E |
@end table |
@end table |
|
|
|
@noindent |
|
ChangeLog |
|
@itemize @bullet |
\BJP |
\BJP |
|
@item $BJ,;6I=8=B?9`<0$OG$0U$N%*%V%8%'%/%H$r78?t$K$b$F$k$h$&$K$J$C$?(B. |
|
$B$^$?2C72$N(Bk$B@.J,$NMWAG$r<!$N7A<0(B <<d0,d1,...:k>> $B$GI=8=$9$k$h$&$K$J$C$?(B (2017-08-31). |
|
\E |
|
\BEG |
|
@item Distributed polynomials accept objects as coefficients. |
|
The k-th element of a free module is expressed as <<d0,d1,...:k>> (2017-08-31). |
|
\E |
|
@item |
|
1.15 algnum.c, |
|
1.53 ctrl.c, |
|
1.66 dp-supp.c, |
|
1.105 dp.c, |
|
1.73 gr.c, |
|
1.4 reduct.c, |
|
1.16 _distm.c, |
|
1.17 dalg.c, |
|
1.52 dist.c, |
|
1.20 distm.c, |
|
1.8 gmpq.c, |
|
1.238 engine/nd.c, |
|
1.102 ca.h, |
|
1.411 version.h, |
|
1.28 cpexpr.c, |
|
1.42 pexpr.c, |
|
1.20 pexpr_body.c, |
|
1.40 spexpr.c, |
|
1.27 arith.c, |
|
1.77 eval.c, |
|
1.56 parse.h, |
|
1.37 parse.y, |
|
1.8 stdio.c, |
|
1.31 plotf.c |
|
@end itemize |
|
|
|
\BJP |
@node $B%U%!%$%k$NFI$_9~$_(B,,, $B%0%l%V%J4pDl$N7W;;(B |
@node $B%U%!%$%k$NFI$_9~$_(B,,, $B%0%l%V%J4pDl$N7W;;(B |
@section $B%U%!%$%k$NFI$_9~$_(B |
@section $B%U%!%$%k$NFI$_9~$_(B |
\E |
\E |
Line 1531 Computation of the global b function is implemented as |
|
Line 1569 Computation of the global b function is implemented as |
|
@item |
@item |
$BI8=`%i%$%V%i%j$N(B @samp{gr} $B$GDj5A$5$l$F$$$k(B. |
$BI8=`%i%$%V%i%j$N(B @samp{gr} $B$GDj5A$5$l$F$$$k(B. |
@item |
@item |
|
gr $B$rL>A0$K4^$`4X?t$O8=:_%a%s%F$5$l$F$$$J$$(B. @code{nd_gr}$B7O$N4X?t$rBe$o$j$KMxMQ$9$Y$-$G$"$k(B(@fref{nd_gr nd_gr_trace nd_f4 nd_f4_trace nd_weyl_gr nd_weyl_gr_trace}). |
|
@item |
$B$$$:$l$b(B, $BB?9`<0%j%9%H(B @var{plist} $B$N(B, $BJQ?t=g=x(B @var{vlist}, $B9`=g=x7?(B |
$B$$$:$l$b(B, $BB?9`<0%j%9%H(B @var{plist} $B$N(B, $BJQ?t=g=x(B @var{vlist}, $B9`=g=x7?(B |
@var{order} $B$K4X$9$k%0%l%V%J4pDl$r5a$a$k(B. @code{gr()}, @code{hgr()} |
@var{order} $B$K4X$9$k%0%l%V%J4pDl$r5a$a$k(B. @code{gr()}, @code{hgr()} |
$B$O(B $BM-M}?t78?t(B, @code{gr_mod()} $B$O(B GF(@var{p}) $B78?t$H$7$F7W;;$9$k(B. |
$B$O(B $BM-M}?t78?t(B, @code{gr_mod()} $B$O(B GF(@var{p}) $B78?t$H$7$F7W;;$9$k(B. |
Line 1562 CPU $B;~4V$G$"$j(B, $B$3$NH!?t$N>l9g$O$[$H$s$IDL?.$ |
|
Line 1602 CPU $B;~4V$G$"$j(B, $B$3$NH!?t$N>l9g$O$[$H$s$IDL?.$ |
|
@item |
@item |
These functions are defined in @samp{gr} in the standard library |
These functions are defined in @samp{gr} in the standard library |
directory. |
directory. |
|
@item |
|
Functions of which names contains gr are obsolted. |
|
Functions of @code{nd_gr} families should be used (@fref{nd_gr nd_gr_trace nd_f4 nd_f4_trace nd_weyl_gr nd_weyl_gr_trace}). |
@item |
@item |
They compute a Groebner basis of a polynomial list @var{plist} with |
They compute a Groebner basis of a polynomial list @var{plist} with |
respect to the variable order @var{vlist} and the order type @var{order}. |
respect to the variable order @var{vlist} and the order type @var{order}. |