version 1.4, 2012/06/11 05:23:52 |
version 1.5, 2012/11/28 05:07:31 |
|
|
/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.3 2010/02/06 00:50:32 takayama Exp $ */ |
/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.4 2012/06/11 05:23:52 takayama Exp $ */ |
|
|
/*&C |
/*&C |
@c DO NOT EDIT THIS FILE |
@c DO NOT EDIT THIS FILE |
|
|
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, |
When the optional variable @var{r} is set to one, |
the polynomials are dehomogenized (,i.e., h is set to 1). |
the polynomials are dehomogenized (,i.e., h is set to 1). |
|
@item If you want to have a reduced basis or compute the initial form ideal exactly, |
|
execute sm1.auto_reduce(1) before executing this function. |
@end itemize |
@end itemize |
*/ |
*/ |
/*&ja |
/*&ja |
|
|
$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, |
$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). |
$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). |
|
@item Reduced $B%0%l%V%J!<4pDl$^$?$O(B in_w $B$r7W;;$7$?$$$H$-$O(B, $B$3$N4X?t$N<B9T$NA0$K(B |
|
sm1.auto_reduce(1) $B$r<B9T$7$F$*$/$3$H(B. |
@end itemize |
@end itemize |
*/ |
*/ |
/*&C |
/*&C |
Line 710 $m' = x^{a'} y^{b'} \partial_x^{c'} \partial_y^{d'}$ |
|
Line 714 $m' = x^{a'} y^{b'} \partial_x^{c'} \partial_y^{d'}$ |
|
/*&en |
/*&en |
@table @t |
@table @t |
@item Reference |
@item Reference |
@code{sm1.reduction}, @code{sm1.rat_to_p} |
@code{sm1.auto_reduce}, @code{sm1.reduction}, @code{sm1.rat_to_p} |
@end table |
@end table |
*/ |
*/ |
/*&ja |
/*&ja |
@table @t |
@table @t |
@item $B;2>H(B |
@item $B;2>H(B |
@code{sm1.reduction}, @code{sm1.rat_to_p} |
@code{sm1.auto_reduce}, @code{sm1.reduction}, @code{sm1.rat_to_p} |
@end table |
@end table |
*/ |
*/ |
|
|