spielwiese
Last change
on this file since ad3dfe was
0611df,
checked in by Wilfred Pohl <pohl@…>, 24 years ago
|
test sparsemat
git-svn-id: file:///usr/local/Singular/svn/trunk@4628 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
File size:
1.6 KB
|
Line | |
---|
1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | /* |
---|
4 | * Probleme: |
---|
5 | * 1. "minor" verwendet "det" mit Matrizen, |
---|
6 | * das sollte wegen sparse über Moduln laufen. |
---|
7 | * 2. Rechenzeit von "bareiss" >> "det", Brüche und Normalisierung? |
---|
8 | * genaue Zeitmessung erforderlich. |
---|
9 | * 3. Sparse Matrizen ohne Symbole sollten nicht nach factory. |
---|
10 | */ |
---|
11 | // 1. |
---|
12 | ring r=0,(x,y,z,w),dp; |
---|
13 | module mm; |
---|
14 | poly xd; |
---|
15 | int d=13; |
---|
16 | int b=3; |
---|
17 | int db=d-b; |
---|
18 | int i; |
---|
19 | for(i=d;i>0;i--) |
---|
20 | { |
---|
21 | mm[i]=3*x*gen(i)+w*gen(i); |
---|
22 | } |
---|
23 | for(i=db;i;i--) |
---|
24 | { |
---|
25 | mm[i]=mm[i]+7*y*gen(i+b)+w*gen(i+b); |
---|
26 | } |
---|
27 | for(i=d;i>db;i--) |
---|
28 | { |
---|
29 | mm[i]=mm[i]+7*y*gen(i-db)+w*gen(i-db); |
---|
30 | } |
---|
31 | for(i=d;i>b;i--) |
---|
32 | { |
---|
33 | mm[i]=mm[i]+11*z*gen(i-b)+w*gen(i-b); |
---|
34 | } |
---|
35 | for(i=b;i;i--) |
---|
36 | { |
---|
37 | mm[i]=mm[i]+11*z*gen(i+db)+w*gen(i+db); |
---|
38 | } |
---|
39 | matrix nn=mm; |
---|
40 | ideal dd=minor(nn,d-1); |
---|
41 | size(dd); |
---|
42 | ideal ee=minor(nn,5); |
---|
43 | size(ee); |
---|
44 | kill r; |
---|
45 | // 2. |
---|
46 | ring r=0,(x,y,z),(c,dp); |
---|
47 | module mm; |
---|
48 | poly xd; |
---|
49 | d=39; |
---|
50 | b=13; |
---|
51 | db=d-b; |
---|
52 | for(i=d;i>0;i--) |
---|
53 | { |
---|
54 | mm[i]=1/3*x*gen(i); |
---|
55 | } |
---|
56 | for(i=db;i;i--) |
---|
57 | { |
---|
58 | mm[i]=mm[i]+1/7*y*gen(i+b); |
---|
59 | } |
---|
60 | for(i=d;i>db;i--) |
---|
61 | { |
---|
62 | mm[i]=mm[i]+1/7*y*gen(i-db); |
---|
63 | } |
---|
64 | for(i=d;i>b;i--) |
---|
65 | { |
---|
66 | mm[i]=mm[i]+1/11*z*gen(i-b); |
---|
67 | } |
---|
68 | for(i=b;i;i--) |
---|
69 | { |
---|
70 | mm[i]=mm[i]+1/11*z*gen(i+db); |
---|
71 | } |
---|
72 | list ss=bareiss(mm); |
---|
73 | vector vv=ss[1][size(ss[1])]; |
---|
74 | xd=det(mm); |
---|
75 | vector ww=xd*gen(d); |
---|
76 | ww-vv; |
---|
77 | xd; |
---|
78 | kill r; |
---|
79 | // 3. |
---|
80 | ring r=0,(x,y,z),(c,dp); |
---|
81 | module mm; |
---|
82 | poly xd; |
---|
83 | d=390; |
---|
84 | b=13; |
---|
85 | db=d-b; |
---|
86 | for(i=d;i>0;i--) |
---|
87 | { |
---|
88 | mm[i]=77*gen(i); |
---|
89 | } |
---|
90 | for(i=db;i;i--) |
---|
91 | { |
---|
92 | mm[i]=mm[i]+33*gen(i+b); |
---|
93 | } |
---|
94 | for(i=d;i>db;i--) |
---|
95 | { |
---|
96 | mm[i]=mm[i]+33*gen(i-db); |
---|
97 | } |
---|
98 | for(i=d;i>b;i--) |
---|
99 | { |
---|
100 | mm[i]=mm[i]+21*gen(i-b); |
---|
101 | } |
---|
102 | for(i=b;i;i--) |
---|
103 | { |
---|
104 | mm[i]=mm[i]+21*gen(i+db); |
---|
105 | } |
---|
106 | xd=det(mm); |
---|
107 | matrix nn=mm; |
---|
108 | poly dd=det(nn); |
---|
109 | xd-dd; |
---|
110 | dd; |
---|
111 | kill r; |
---|
112 | tst_status(1); $ |
---|
113 | |
---|
Note: See
TracBrowser
for help on using the repository browser.