Changeset 227571 in git


Ignore:
Timestamp:
Jan 7, 2015, 11:15:06 PM (9 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
d06a2a3a284d4be425120293660f30b8662c479b
Parents:
66182970e6ba621bc4427553bd7c6ad083309382
Message:
Simplified/corrected grtranspose + distinct assume levels
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/schreyer.lib

    r6618297 r227571  
    34303430 intvec d; module N; 
    34313431
    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); }
    34343434
    34353435 kill M; module M = transpose(N);
     
    34403440 kill N,d; module N; intvec d;
    34413441 // reverse order:
    3442  (N,d) = reorder(M, -1); kill M;
     3442 (N,d) = reorder(M, 1); kill M;
     3443
     3444/*
    34433445 module M = transpose(N);
    34443446 attrib( M, "isHomog", -d ); // set the grading
     
    34593461 
    34603462 kill M;
     3463*/
    34613464
    34623465// "e"; view( N );
    34633466 
    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) );
    34663469
    34673470
     
    35233526  // reverse order:
    35243527  (N,d) = reorder(M, -1); kill M;
    3525   // int i = ncols(N); N = N[i..1]; d = d[i..1]; kill i;
     3528 
    35263529  module M = transpose(N);
    35273530  attrib( M, "isHomog", -d ); // set the grading
     
    35293532// "c";  view(M);
    35303533
    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) );
    35333536 
    35343537  return (M);
     
    35703573}
    35713574example
    3572 { "EXAMPLE:"; echo = 2; int assumeLevel = 2;
     3575{ "EXAMPLE:"; echo = 2; int assumeLevel = 5;
    35733576
    35743577  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.