=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v retrieving revision 1.6 retrieving revision 1.7 diff -u -p -r1.6 -r1.7 --- OpenXM/src/asir-doc/exp/exp-ja.texi 2004/04/16 01:57:51 1.6 +++ OpenXM/src/asir-doc/exp/exp-ja.texi 2004/04/16 02:28:40 1.7 @@ -1,4 +1,4 @@ -%% $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 @@ -726,13 +726,8 @@ Sugar strategy を適用するときの 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]]); - -[ 0 0 0 0 1 1 1 1 ] -[ R R R R R R R R ] -internal error (SEGV) -return to toplevel - +[1222] dp_weyl_gr_main(F[0] | v=V, order=[[dx1,1,dx2,1,dx3,1,dx4,1]]); +... [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] @@ -741,11 +736,10 @@ 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