version 1.6, 2019/08/31 06:36:28 |
version 1.7, 2019/09/09 23:39:52 |
|
|
/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.5 2012/11/28 05:07:31 takayama Exp $ */ |
/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw,v 1.6 2019/08/31 06:36:28 takayama Exp $ */ |
|
|
/*&C |
/*&C |
@c DO NOT EDIT THIS FILE |
@c DO NOT EDIT THIS FILE |
|
|
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, |
@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. |
execute sm1.auto_reduce(1) before executing this function. |
@item When the needBack option @var{n} is 1, it returns the answer is a different format as [groebner basis,[gb,1,all,[groebner basis, backward transformation]]] |
@item When the needBack option @var{n} is 1, it returns the answer is a different format as [groebner basis,initial, gb,1,all,[groebner basis, backward transformation]] |
@end itemize |
@end itemize |
*/ |
*/ |
/*&ja |
/*&ja |
Line 615 execute sm1.auto_reduce(1) before executing this funct |
|
Line 615 execute sm1.auto_reduce(1) before executing this funct |
|
@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 |
@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. |
sm1.auto_reduce(1) $B$r<B9T$7$F$*$/$3$H(B. |
@item needBack $B%*%W%7%g%s$,(B 1 $B$N;~$O(B, $BB>$N>l9g$H$O0[$J$k7A<0(B |
@item needBack $B%*%W%7%g%s$,(B 1 $B$N;~$O(B, $BB>$N>l9g$H$O0[$J$k7A<0(B |
[groebner basis, [gb,1,all, [groebner basis, backward transformation]]] |
[groebner basis, initial, gb,1,all, [groebner basis, backward transformation]] |
$B$GEz$($rLa$9(B. (sm1 $B$N(B getAttribute $B$r;2>H(B) |
$B$GEz$($rLa$9(B. (sm1 $B$N(B getAttribute $B$r;2>H(B) |
@end itemize |
@end itemize |
*/ |
*/ |
Line 717 $m' = x^{a'} y^{b'} \partial_x^{c'} \partial_y^{d'}$ |
|
Line 717 $m' = x^{a'} y^{b'} \partial_x^{c'} \partial_y^{d'}$ |
|
/*&C |
/*&C |
@example |
@example |
[1834] sm1.gb([[dx^2-x,dx],[x]] | needBack=1); |
[1834] sm1.gb([[dx^2-x,dx],[x]] | needBack=1); |
[[[dx,dx^2-x,1],[dx,dx^2,1]],[gb,1,all,[[dx,dx^2-x,1],[[0,1],[1,0],[-dx,dx^2-x]]]]] |
[[dx,dx^2-x,1],[dx,dx^2,1],gb,1,all,[[dx,dx^2-x,1],[[0,1],[1,0],[-dx,dx^2-x]]]] |
@end example |
@end example |
*/ |
*/ |
|
|