source: git/Tst/Short/div_lift_s.tst @ 09cb443

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 
1LIB "tst.lib";
2tst_init();
3//
4// test script for lift/division command
5//
6ring r;
7ideal i=x2,y2,z2;
8ideal ii=maxideal(2);
9ideal j=maxideal (3);
10"i";
11print(matrix(i));
12"j";
13print(matrix(j));
14matrix U;
15"lift(i,j)";
16print(lift(i,j));
17"lift(i,j,U)";
18print(lift(i,j,U));
19"U";
20print(U);
21"division(i,j)";
22list L=division(j,i);
23print(L[1]);
24print(L[2]);
25print(L[3]);
26"ii";
27print(matrix(ii));
28"j";
29print(matrix(j));
30matrix U;
31"lift(ii,j)";
32print(lift(ii,j));
33"lift(ii,j,U)";
34print(lift(ii,j,U));
35"U";
36print(U);
37"division(ii,j)";
38list L=division(j,ii);
39print(L[1]);
40print(L[2]);
41print(L[3]);
42kill r;
43ring r;
44module H=
45x2*gen(1),
46x2*gen(2),
47x2*gen(3),
48x2*gen(4),
49x2*gen(5),
50x2*gen(7),
51x2*gen(8),
52x2*gen(9),
53x2*gen(10),
54x2*gen(11),
55x*gen(6);
56
57module H0=
5811/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),
6013/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),
6313/10x2*gen(7)+1875/32x3*gen(7)-3/8x3*gen(5),
6411/10x2*gen(8)+625/32x3*gen(8)-175/32x3*gen(2),
659/10x2*gen(9)-1/4x2*gen(1)+875/64x3*gen(9)-3125/64x3*gen(1),
667/10x2*gen(10)+15/8x2*gen(3)+375/64x3*gen(10)+46875/128x3*gen(3),
67-1/2x*gen(6)+1/2x2*gen(11),
681/2x*gen(6)+5875/64x2*gen(6)-x2*gen(4);
69
70matrix A=matrix(lift(H,H0));
71print(A);
72print(matrix(H)*A-matrix(H0));
73"jetzt division";
74list I=division(H0,H);
75"I[1]";
76print(I[1]);
77"I[2]";
78print(I[2]);
79"I[3]";
80print(I[3]);
81tst_status(1);$;
Note: See TracBrowser for help on using the repository browser.