OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw - diff

Return to sm1.oxw CVS log

Up to [local] / OpenXM / src / asir-contrib / packages / doc / sm1

Diff for /OpenXM/src/asir-contrib/packages/doc/sm1/sm1.oxw between version 1.6 and 1.7

version 1.6, 2019/08/31 06:36:28

version 1.7, 2019/09/09 23:39:52

Line 1

/*$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 DO NOT EDIT THIS FILE

Line 561 List

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.

@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

/*&ja

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

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

[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)

@end itemize

Line 717 $m' = x^{a'} y^{b'} \partial_x^{c'} \partial_y^{d'}$

/*&C

@example

[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

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>