spielwiese
Last change
on this file since 1ebec3 was
891438c,
checked in by Gerhard Pfister <pfister@…>, 23 years ago
|
*GP: initial release
git-svn-id: file:///usr/local/Singular/svn/trunk@5579 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
File size:
893 bytes
|
Line | |
---|
1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | option(redSB); |
---|
5 | ring R=0,(x),(C,dp); |
---|
6 | |
---|
7 | proc normalForm(matrix M) |
---|
8 | { |
---|
9 | int n=nrows(M); |
---|
10 | int m=ncols(M); |
---|
11 | matrix N[n][m]; |
---|
12 | M=transpose(interred(transpose(interred(M)))); |
---|
13 | N[1..nrows(M),1..ncols(M)]=M; |
---|
14 | return(N); |
---|
15 | } |
---|
16 | |
---|
17 | matrix M[2][3]=(x2+1)^2,0, 0, |
---|
18 | 0, x3-x-1,0; |
---|
19 | matrix N1[2][2]=1, 1, |
---|
20 | 2,-2; |
---|
21 | matrix N2[3][3]=1,2, 3, |
---|
22 | 4,5, 6, |
---|
23 | 7,8,-1; |
---|
24 | M=N1*M*N2; |
---|
25 | print(M); |
---|
26 | |
---|
27 | normalForm(M); |
---|
28 | |
---|
29 | matrix M0[5][5]=1, 1,0, 0,0, |
---|
30 | 3,-1,0, 0,0, |
---|
31 | 0, 0,1, 1,0, |
---|
32 | 0, 0,3,-1,0, |
---|
33 | 0, 0,0, 0,2; |
---|
34 | matrix N[5][5]=1, 1, -1, 1,-1, |
---|
35 | 2, 2, 1, 1, 0, |
---|
36 | -1, 2, 2, 1, 1, |
---|
37 | -2, 1, 1, -1, 0, |
---|
38 | 1, 2, -2, 1, 1; |
---|
39 | |
---|
40 | M=lift(N,freemodule(nrows(N)))*M0*N-x*freemodule(5); |
---|
41 | print(M); |
---|
42 | |
---|
43 | print(normalForm(M)); |
---|
44 | option(noredSB); |
---|
45 | |
---|
46 | tst_status(1);$ |
---|
Note: See
TracBrowser
for help on using the repository browser.