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
|
Line | |
---|
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)"; |
---|
22 | list L=division(j,i); |
---|
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)"; |
---|
38 | list L=division(j,ii); |
---|
39 | print(L[1]); |
---|
40 | print(L[2]); |
---|
41 | print(L[3]); |
---|
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"; |
---|
74 | list I=division(H0,H); |
---|
75 | "I[1]"; |
---|
76 | print(I[1]); |
---|
77 | "I[2]"; |
---|
78 | print(I[2]); |
---|
79 | "I[3]"; |
---|
80 | print(I[3]); |
---|
81 | tst_status(1);$; |
---|
Note: See
TracBrowser
for help on using the repository browser.