1 | ring r = 0,(x(1),x(2),t(1),dx(1),dx(2),dt(1),u(1)),Dp; |
---|

2 | matrix 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; |
---|

3 | matrix 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; |
---|

4 | def S = nc_algebra(C,D); |
---|

5 | setring S; |
---|

6 | basering; |
---|

7 | ideal 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), |
---|

9 | 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(2)*u(1); |
---|

10 | memory(0);memory(1);memory(2); |
---|

11 | ideal J = eliminate(I,u(1)); |
---|

12 | J; |
---|

13 | memory(0);memory(1);memory(2); |
---|

14 | listvar(all); |
---|

15 | kill S,r; |
---|

16 | listvar(all); |
---|

17 | memory(0);memory(1);memory(2); |
---|

18 | quit; |
---|

19 | |
---|