fieker-DuValspielwiese
Last change
on this file since f4a33e 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
|
Rev | Line | |
---|
[0611df] | 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.