Ticket #214: bugReport.txt

File bugReport.txt, 4.0 KB (added by seelisch, 14 years ago)

SINGULAR session dumps

Line 
1computed on Murrumesh (almost idle);
2First computation is much faster than second with memory consumption 10 times compared to before;
3Second comp. takes 1:30 h, mem consumption is almost factored by 1000.
4Additionally, below SINGULAR says "//used time: 4.14 sec". This takes actually about 10 min to determine.
5
6First computation:
7************************************************************
8> ring r = 0,(x(1),x(2),t(1),dx(1),dx(2),dt(1),u(1)),Dp;
9> 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;
10> 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;
11> def S = nc_algebra(C,D);
12> setring S;
13> basering;
14//   characteristic : 0
15//   number of vars : 7
16//        block   1 : ordering Dp
17//                  : names    x(1) x(2) t(1) dx(1) dx(2) dt(1) u(1)
18//        block   2 : ordering C
19//   noncommutative relations:
20//    dx(1)x(1)=x(1)*dx(1)+1
21//    dx(2)x(2)=x(2)*dx(2)+1
22//    dt(1)t(1)=t(1)*dt(1)+1
23> 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),-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),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);
24> memory(0);memory(1);memory(2);
25170344
26659456
27659456
28> ideal J = eliminate(I,u(1));
29> J;
30J[1]=0
31> memory(0);memory(1);memory(2);
321621176
332242496
342242496
35> listvar(all);
36// S                    [0]  *ring
37//      J                    [0]  ideal, 1 generator(s)
38//      I                    [0]  ideal, 3 generator(s)
39// r                    [0]  ring
40//      D                    [0]  matrix 7 x 7
41//      C                    [0]  matrix 7 x 7
42> kill S,r;
43> listvar(all);
44> memory(0);memory(1);memory(2);
451618856
462242496
472242496
48>
49************************************************************
50
51Second computation:
52************************************************************
53> timer = 1;
54> ring r = 0,(x(1),x(2),t(1),dx(1),dx(2),dt(1),u(1)),Dp;
55> 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;
56> 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;
57> def S = nc_algebra(C,D);
58> setring S;
59> basering;
60//   characteristic : 0
61//   number of vars : 7
62//        block   1 : ordering Dp
63//                  : names    x(1) x(2) t(1) dx(1) dx(2) dt(1) u(1)
64//        block   2 : ordering C
65//   noncommutative relations:
66//    dx(1)x(1)=x(1)*dx(1)+1
67//    dx(2)x(2)=x(2)*dx(2)+1
68//    dt(1)t(1)=t(1)*dt(1)+1
69> 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),-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),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),-x(1)*x(2)*u(1)+x(1)*x(2);
70> ideal J = eliminate(I,u(1));
71//used time: 4717.84 sec
72> memory(0);memory(1);memory(2);
731308915904
74//used time: 4.14 sec
751329631232
761329631232
77> listvar(all);
78// S                    [0]  *ring
79//      J                    [0]  ideal, 60 generator(s)
80//      I                    [0]  ideal, 4 generator(s)
81// r                    [0]  ring
82//      D                    [0]  matrix 7 x 7
83//      C                    [0]  matrix 7 x 7
84> kill J;
85> memory(0);memory(1);memory(2);
861307702232
871329631232
881329631232
89> kill S,r;
90> listvar(all);
91> memory(0);memory(1);memory(2);
921307699920
931329631232
941329631232
95>
96************************************************************