| version 1.2, 2001/07/11 06:23:16 |
version 1.3, 2001/07/12 00:46:29 |
|
|
| /*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.1 2001/07/11 01:00:23 takayama Exp $ */ |
/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.2 2001/07/11 06:23:16 takayama Exp $ */ |
| |
|
| /*&C-texi |
/*&C-texi |
| @c DO NOT EDIT THIS FILE oxphc.texi |
@c DO NOT EDIT THIS FILE oxphc.texi |
| Line 768 def sm1_isListOfVar(A) { |
|
| Line 768 def sm1_isListOfVar(A) { |
|
| @findex sm1_gb |
@findex sm1_gb |
| @findex sm1_gb_d |
@findex sm1_gb_d |
| @table @t |
@table @t |
| @item sm1_gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q}) |
@item sm1_gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q},dehomogenize=@var{r}) |
| :: computes the Grobner basis of @var{f} in the ring of differential |
:: computes the Grobner basis of @var{f} in the ring of differential |
| operators with the variable @var{v}. |
operators with the variable @var{v}. |
| @item sm1_gb_d([@var{f},@var{v},@var{w}]|proc=@var{p}) |
@item sm1_gb_d([@var{f},@var{v},@var{w}]|proc=@var{p}) |
| Line 780 The result will be returned as a list of distributed p |
|
| Line 780 The result will be returned as a list of distributed p |
|
| @table @var |
@table @var |
| @item return |
@item return |
| List |
List |
| @item p, q |
@item p, q, r |
| Number |
Number |
| @item f, v, w |
@item f, v, w |
| List |
List |
|
|
| the Grobner basis and the initial ideal |
the Grobner basis and the initial ideal |
| with sums of monomials sorted by the given order. |
with sums of monomials sorted by the given order. |
| Each polynomial is expressed as a string temporally for now. |
Each polynomial is expressed as a string temporally for now. |
| |
When the optional variable @var{r} is set to one, |
| |
the polynomials are dehomogenized (,i.e., h is set to 1). |
| @end itemize |
@end itemize |
| */ |
*/ |
| /*&jp-texi |
/*&jp-texi |
|
|
| @findex sm1_gb |
@findex sm1_gb |
| @findex sm1_gb_d |
@findex sm1_gb_d |
| @table @t |
@table @t |
| @item sm1_gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q}) |
@item sm1_gb([@var{f},@var{v},@var{w}]|proc=@var{p},sorted=@var{q},dehomogenize=@var{r}) |
| :: @var{v} $B>e$NHyJ,:nMQAG4D$K$*$$$F(B @var{f} $B$N%0%l%V%J4pDl$r7W;;$9$k(B. |
:: @var{v} $B>e$NHyJ,:nMQAG4D$K$*$$$F(B @var{f} $B$N%0%l%V%J4pDl$r7W;;$9$k(B. |
| @item sm1_gb_d([@var{f},@var{v},@var{w}]|proc=@var{p}) |
@item sm1_gb_d([@var{f},@var{v},@var{w}]|proc=@var{p}) |
| :: @var{v} $B>e$NHyJ,:nMQAG4D$K$*$$$F(B @var{f} $B$N%0%l%V%J4pDl$r7W;;$9$k(B. $B7k2L$rJ,;6B?9`<0$N%j%9%H$GLa$9(B. |
:: @var{v} $B>e$NHyJ,:nMQAG4D$K$*$$$F(B @var{f} $B$N%0%l%V%J4pDl$r7W;;$9$k(B. $B7k2L$rJ,;6B?9`<0$N%j%9%H$GLa$9(B. |
|
|
| @table @var |
@table @var |
| @item return |
@item return |
| $B%j%9%H(B |
$B%j%9%H(B |
| @item p, q |
@item p, q, r |
| $B?t(B |
$B?t(B |
| @item f, v, w |
@item f, v, w |
| $B%j%9%H(B |
$B%j%9%H(B |
|
|
| 3 $BHVL\$NLa$jCM$H$7$F(B, $B%0%l%V%J4pDl$*$h$S%$%K%7%!%k$N%j%9%H$,(B |
3 $BHVL\$NLa$jCM$H$7$F(B, $B%0%l%V%J4pDl$*$h$S%$%K%7%!%k$N%j%9%H$,(B |
| $BM?$($i$l$?=g=x$G%=!<%H$5$l$?%b%N%_%"%k$NOB$H$7$FLa$5$l$k(B. |
$BM?$($i$l$?=g=x$G%=!<%H$5$l$?%b%N%_%"%k$NOB$H$7$FLa$5$l$k(B. |
| $B$$$^$N$H$3$m$3$NB?9`<0$O(B, $BJ8;zNs$GI=8=$5$l$k(B. |
$B$$$^$N$H$3$m$3$NB?9`<0$O(B, $BJ8;zNs$GI=8=$5$l$k(B. |
| |
$B%*%W%7%g%J%kJQ?t(B @var{r} $B$,%;%C%H$5$l$F$$$k$H$-$O(B, |
| |
$BLa$jB?9`<0$O(B dehomogenize $B$5$l$k(B ($B$9$J$o$A(B h $B$K(B 1 $B$,BeF~$5$l$k(B). |
| @end itemize |
@end itemize |
| */ |
*/ |
| /*&C-texi |
/*&C-texi |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to sm1.oxweave CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir-contrib / packages / doc