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:
517 bytes
|
Line | |
---|
1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | |
---|
4 | proc fitting(matrix M, int n) |
---|
5 | { |
---|
6 | n=nrows(M)-n; |
---|
7 | if(n<=0){return(ideal(1));} |
---|
8 | if((n>nrows(M))||(n>ncols(M))){return(ideal(0));} |
---|
9 | return(std(minor(M,n))); |
---|
10 | } |
---|
11 | |
---|
12 | proc isLocallyFree(matrix M, int n) |
---|
13 | { |
---|
14 | ideal F=fitting(M,n); |
---|
15 | ideal G=fitting(M,n-1); |
---|
16 | if((deg(F[1])==0)&&(size(G)==0)){return(1);} |
---|
17 | return(0); |
---|
18 | } |
---|
19 | |
---|
20 | ring R=0,(x,y,z),dp; |
---|
21 | matrix S[2][3]; |
---|
22 | S=x-1,y-1,z,y-1,x-2,x; |
---|
23 | ideal I=fitting(S,0); |
---|
24 | qring Q=I; |
---|
25 | matrix S=fetch(R,S); |
---|
26 | isLocallyFree(S,1); |
---|
27 | |
---|
28 | isLocallyFree(S,0); |
---|
29 | |
---|
30 | tst_status(1);$ |
---|
Note: See
TracBrowser
for help on using the repository browser.