spielwiese
Last change
on this file since 09cb443 was
3de58c,
checked in by Hans Schönemann <hannes@…>, 23 years ago
|
*hannes: merge-2-0-2
git-svn-id: file:///usr/local/Singular/svn/trunk@5618 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
File size:
1.5 KB
|
Rev | Line | |
---|
[526f34] | 1 | LIB "tst.lib"; |
---|
| 2 | tst_init(); |
---|
| 3 | // |
---|
| 4 | // test script for lift/division command |
---|
| 5 | // |
---|
| 6 | ring r; |
---|
| 7 | ideal i=x2,y2,z2; |
---|
| 8 | ideal ii=maxideal(2); |
---|
| 9 | ideal j=maxideal (3); |
---|
| 10 | "i"; |
---|
| 11 | print(matrix(i)); |
---|
| 12 | "j"; |
---|
| 13 | print(matrix(j)); |
---|
| 14 | matrix U; |
---|
| 15 | "lift(i,j)"; |
---|
| 16 | print(lift(i,j)); |
---|
| 17 | "lift(i,j,U)"; |
---|
| 18 | print(lift(i,j,U)); |
---|
| 19 | "U"; |
---|
| 20 | print(U); |
---|
| 21 | "division(i,j)"; |
---|
[3de58c] | 22 | list L=division(j,i); |
---|
[526f34] | 23 | print(L[1]); |
---|
| 24 | print(L[2]); |
---|
| 25 | print(L[3]); |
---|
| 26 | "ii"; |
---|
| 27 | print(matrix(ii)); |
---|
| 28 | "j"; |
---|
| 29 | print(matrix(j)); |
---|
| 30 | matrix U; |
---|
| 31 | "lift(ii,j)"; |
---|
| 32 | print(lift(ii,j)); |
---|
| 33 | "lift(ii,j,U)"; |
---|
| 34 | print(lift(ii,j,U)); |
---|
| 35 | "U"; |
---|
| 36 | print(U); |
---|
| 37 | "division(ii,j)"; |
---|
[3de58c] | 38 | list L=division(j,ii); |
---|
[526f34] | 39 | print(L[1]); |
---|
| 40 | print(L[2]); |
---|
| 41 | print(L[3]); |
---|
[1d5ea0] | 42 | kill r; |
---|
| 43 | ring r; |
---|
| 44 | module H= |
---|
| 45 | x2*gen(1), |
---|
| 46 | x2*gen(2), |
---|
| 47 | x2*gen(3), |
---|
| 48 | x2*gen(4), |
---|
| 49 | x2*gen(5), |
---|
| 50 | x2*gen(7), |
---|
| 51 | x2*gen(8), |
---|
| 52 | x2*gen(9), |
---|
| 53 | x2*gen(10), |
---|
| 54 | x2*gen(11), |
---|
| 55 | x*gen(6); |
---|
| 56 | |
---|
| 57 | module H0= |
---|
| 58 | 11/10x2*gen(1)-175/32x3*gen(9)+625/32x3*gen(1), |
---|
| 59 | -1/4x2*gen(8)+9/10x2*gen(2)-3125/64x3*gen(8)+875/64x3*gen(2), |
---|
| 60 | 13/10x2*gen(3)+15/16x3*gen(10)+1875/32x3*gen(3), |
---|
| 61 | -25/4x2*gen(6)+x2*gen(4)+15/16x3*gen(11)-734375/512x3*gen(6)+125/8x3*gen(4), |
---|
| 62 | -75/16x2*gen(7)+7/10x2*gen(5)-234375/256x3*gen(7)+375/64x3*gen(5), |
---|
| 63 | 13/10x2*gen(7)+1875/32x3*gen(7)-3/8x3*gen(5), |
---|
| 64 | 11/10x2*gen(8)+625/32x3*gen(8)-175/32x3*gen(2), |
---|
| 65 | 9/10x2*gen(9)-1/4x2*gen(1)+875/64x3*gen(9)-3125/64x3*gen(1), |
---|
| 66 | 7/10x2*gen(10)+15/8x2*gen(3)+375/64x3*gen(10)+46875/128x3*gen(3), |
---|
| 67 | -1/2x*gen(6)+1/2x2*gen(11), |
---|
| 68 | 1/2x*gen(6)+5875/64x2*gen(6)-x2*gen(4); |
---|
| 69 | |
---|
| 70 | matrix A=matrix(lift(H,H0)); |
---|
| 71 | print(A); |
---|
| 72 | print(matrix(H)*A-matrix(H0)); |
---|
| 73 | "jetzt division"; |
---|
[3de58c] | 74 | list I=division(H0,H); |
---|
[1d5ea0] | 75 | "I[1]"; |
---|
| 76 | print(I[1]); |
---|
| 77 | "I[2]"; |
---|
| 78 | print(I[2]); |
---|
| 79 | "I[3]"; |
---|
| 80 | print(I[3]); |
---|
[526f34] | 81 | tst_status(1);$; |
---|
Note: See
TracBrowser
for help on using the repository browser.