fieker-DuValspielwiese
|
Last change
on this file since 3e5e7a was
75f460,
checked in by Hans Schoenemann <hannes@…>, 9 years ago
|
|
format
|
-
Property mode set to
100644
|
|
File size:
515 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.
