Changeset 227571 in git
- Timestamp:
- Jan 7, 2015, 11:15:06 PM (9 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- d06a2a3a284d4be425120293660f30b8662c479b
- Parents:
- 66182970e6ba621bc4427553bd7c6ad083309382
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/schreyer.lib
r6618297 r227571 3430 3430 intvec d; module N; 3431 3431 3432 if( size(#) > 0 ) { (N,d) = reorder(M, 1, #[1]); }3433 else { (N,d) = reorder(M, 1); } // TODO: unnecessary!?3432 if( size(#) > 0 ) { (N,d) = reorder(M, -1, #[1]); } 3433 else { (N,d) = reorder(M, -1); } 3434 3434 3435 3435 kill M; module M = transpose(N); … … 3440 3440 kill N,d; module N; intvec d; 3441 3441 // reverse order: 3442 (N,d) = reorder(M, -1); kill M; 3442 (N,d) = reorder(M, 1); kill M; 3443 3444 /* 3443 3445 module M = transpose(N); 3444 3446 attrib( M, "isHomog", -d ); // set the grading … … 3459 3461 3460 3462 kill M; 3463 */ 3461 3464 3462 3465 // "e"; view( N ); 3463 3466 3464 ASSUME( 2, issorted(attrib(N, "isHomog"), 1) );3465 ASSUME( 2, issorted(grdeg(N), 1) );3467 ASSUME(1, issorted(attrib(N, "isHomog"), 1) ); 3468 ASSUME(1, issorted(grdeg(N), 1) ); 3466 3469 3467 3470 … … 3523 3526 // reverse order: 3524 3527 (N,d) = reorder(M, -1); kill M; 3525 // int i = ncols(N); N = N[i..1]; d = d[i..1]; kill i;3528 3526 3529 module M = transpose(N); 3527 3530 attrib( M, "isHomog", -d ); // set the grading … … 3529 3532 // "c"; view(M); 3530 3533 3531 ASSUME( 2, issorted(-d, 1) );3532 ASSUME( 2, issorted(grdeg(M), 1) );3534 ASSUME(1, issorted(attrib(M, "isHomog"), 1) ); 3535 ASSUME(1, issorted(grdeg(M), 1) ); 3533 3536 3534 3537 return (M); … … 3570 3573 } 3571 3574 example 3572 { "EXAMPLE:"; echo = 2; int assumeLevel = 2;3575 { "EXAMPLE:"; echo = 2; int assumeLevel = 5; 3573 3576 3574 3577 string Name = "castelnuovo"; int @p=31991; ring R = (@p),(x,y,z,u,v), dp;ideal I = 5153xy2-98/23y3-101/51xyz+33/41y2z+99/79xz2+7136yz2-106/111z3+119/53xyu+34/57y2u-77/92xzu+84/73yzu-109/78z2u-27/56xu2+10023yu2+82/103zu2-34/25u3+3/2xyv-68/25y2v+12721xzv+4/63yzv-73/21z2v-7291xuv-91/53yuv-4/79zuv-34/91u2v-122/53xv2+123/70yv2-64/73zv2+44/65uv2+14/31v3,xy2-15202y3+10613xyz+13640y2z-107/103xz2+5292yz2+19/119z3-10042xyu+2770y2u+7957xzu+14008yzu+92/121z2u-92/51xu2+1178yu2+1/117zu2-12726u3+82/101xyv-92/17y2v-107/56xzv+14233yzv+79/28z2v+51/50xuv-31/5yuv+95/91zuv+19/108u2v+12151xv2-69/110yv2+37/89zv2-63/116uv2-88/23v3,-5153x2+37/23xy+8706y2-13160xz+68/115yz+5548z2-22/61xu-113/98yu+11818zu+2114u2-101/97xv+89/22yv-3355zv-113/5uv-5521v2;TestGRRes(Name, 2, I); kill R, Name, @p; "";
Note: See TracChangeset
for help on using the changeset viewer.