OpenXM/src/asir-doc/exp/exp-ja.texi - diff

Return to exp-ja.texi CVS log

Up to [local] / OpenXM / src / asir-doc / exp

Diff for /OpenXM/src/asir-doc/exp/exp-ja.texi between version 1.6 and 1.7

version 1.6, 2004/04/16 01:57:51

version 1.7, 2004/04/16 02:28:40

Line 1

%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.5 2004/03/27 05:58:50 takayama Exp $

%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.6 2004/04/16 01:57:51 takayama Exp $

\input texinfo

@iftex

@catcode`@#=6

Line 726 Sugar strategy $B$rE,MQ$9$k$H$-$N(B weight vector.

[1220] F=sm1.gkz([ [[1,1,1,1],[0,1,3,4]], [0,0]]); /* Command in asir-contrib*/

[[x4*dx4+x3*dx3+x2*dx2+x1*dx1,4*x4*dx4+3*x3*dx3+x2*dx2,-dx1*dx4+dx2*dx3,-dx2^2*dx4+dx1*dx3^2,dx1^2*dx3-dx2^3,-dx2*dx4^2+dx3^3],[x1,x2,x3,x4]]

[1221] V=[x1,x2,x3,x4,dx1,dx2,dx3,dx4]$

[1222] dp_weyl_gr_main(F | v=V, order=[[dx1,1,dx2,1,dx3,1,dx4,1]]);

[1222] dp_weyl_gr_main(F[0] | v=V, order=[[dx1,1,dx2,1,dx3,1,dx4,1]]);

...

[ 0 0 0 0 1 1 1 1 ]

[ R R R R R R R R ]

internal error (SEGV)

return to toplevel

[1238] FF=map(dp_ptod,F[0],V);

[(1)*<<1,0,0,0,1,0,0,0>>+(1)*<<0,1,0,0,0,1,0,0>>+(1)*<<0,0,1,0,0,0,1,0>>+(1)*<<0,0,0,1,0,0,0,1>>,(1)*<<0,1,0,0,0,1,0,0>>+(3)*<<0,0,1,0,0,0,1,0>>+(4)*<<0,0,0,1,0,0,0,1>>,0,0,0,0]

Line 741 return to toplevel

Line 736 return to toplevel

dp_weyl_gr_main(FF | v=V, order=[[0,0,0,0,1,1,1,1]]);

[1246] dp_weyl_gr_main(F | v=V, order=[[dx1,1,dx2,1,dx3,1,dx4,1]]);

[1246] dp_weyl_gr_main(FF | v=V, order=[[dx1,1,dx2,1,dx3,1,dx4,1]]);

[ 0 0 0 0 1 1 1 1 ]

[ R R R R R R R R ]

internal error (SEGV)

...

return to toplevel

@end example

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