Ticket #214: b1

File b1, 1008 bytes (added by hannes, 13 years ago)

example 1

Line 
1ring r = 0,(x(1),x(2),t(1),dx(1),dx(2),dt(1),u(1)),Dp;
2matrix C[7][7] = 0,1,1,1,1,1,1,0,0,1,1,1,1,1,0,0,0,1,1,1,1,0,0,0,0,1,1,1,0,0,0,0,0,1,1,0,0,0,0,0,0,1,0,0,0,0,0,0,0;
3matrix D[7][7] = 0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0;
4def S = nc_algebra(C,D);
5setring S;
6basering;
7ideal I = x(1)^5*u(1)-5*x(1)^4*x(2)*u(1)+10*x(1)^3*x(2)^2*u(1)-10*x(1)^2*x(2)^3*u(1)+5*x(1)*x(2)^4*u(1)-x(2)^5*u(1)-x(1)^2*u(1)-2*x(1)*x(2)*u(1)-x(2)^2*u(1)+t(1)*u(1),
8-5*x(1)^4*dt(1)*u(1)+20*x(1)^3*x(2)*dt(1)*u(1)-30*x(1)^2*x(2)^2*dt(1)*u(1)+20*x(1)*x(2)^3*dt(1)*u(1)-5*x(2)^4*dt(1)*u(1)+2*x(1)*dt(1)*u(1)+2*x(2)*dt(1)*u(1)+dx(1)*u(1),
95*x(1)^4*dt(1)*u(1)-20*x(1)^3*x(2)*dt(1)*u(1)+30*x(1)^2*x(2)^2*dt(1)*u(1)-20*x(1)*x(2)^3*dt(1)*u(1)+5*x(2)^4*dt(1)*u(1)+2*x(1)*dt(1)*u(1)+2*x(2)*dt(1)*u(1)+dx(2)*u(1);
10memory(0);memory(1);memory(2);
11ideal J = eliminate(I,u(1));
12J;
13memory(0);memory(1);memory(2);
14listvar(all);
15kill S,r;
16listvar(all);
17memory(0);memory(1);memory(2);
18quit;
19