Changeset 7eaf72 in git for Singular/LIB/schreyer.lib

Timestamp:

Nov 22, 2012, 8:33:22 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

4ca3e3c15a08dab1cfe6bed017b0254dc13734b3

Parents:

da9d522d025bd8d8edf9686d84441705b53f89bd

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-11-22 20:33:22+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-05-07 04:41:48+02:00

Message:

Added profiler usage during SSres for testAGR(&hard)

add: use attrib(SSinit, "PROFILE", 1); to turn on the profiler during SSres

File:

• Singular/LIB/schreyer.lib (modified) (5 diffs)

Singular/LIB/schreyer.lib

@@ -2420 +2420 @@
     ",HYBRIDNF:"  +string(attrib(SSinit,"HYBRIDNF"));
 
+  int @PROFILE = attrib(SSinit, "PROFILE");
+  if(@PROFILE){ string @prof = "SSres_" + @save_res_desc + "_" + name + ".prof"; }
 
   StartAddResTest(
@@ -2427 +2429 @@
   
   option(redSB); option(redTail);
+  if(@PROFILE){ProfilerStart(@prof);}
   timer=0;rtimer=0;def R=SSres(I,0);@m=rtimer;
+  if(@PROFILE){ProfilerStop();}
   setring R;module M;list @l=list();@l[size(RES)-1]=list();r=nrows(RES[1]);for(i=2;i<=size(RES);i++){M=RES[i];rr=nrows(M);if((r>0)&&(size(M)>0)&&(r<rr)){M=transpose(M);M=M[(r+1)..ncols(M)];M=transpose(M);RES[i]=M;};r=rr;@l[i-1] = M;};resolution RR=@l;RR=minres(RR);def S=betti(RR,1);@t=rtimer;
   SCheck(R);
@@ -2556 +2560 @@
   attrib(SSinit, "SYZCHECK", (DEBUG > 0)); 
   attrib(SSinit, "KERCHECK", 1); 
+  attrib(SSinit, "PROFILE", 0);
 
   ring r; r; ideal M = maxideal(1); 
@@ -2602 +2607 @@
   attrib(SSinit, "SYZCHECK", (DEBUG > 0)); 
   attrib(SSinit, "KERCHECK", 0); 
+  attrib(SSinit, "PROFILE", 1); 
  
 //  option(prot);
@@ -2793 +2799 @@
   attrib(SSinit, "SYZCHECK", (DEBUG > 0)); 
   attrib(SSinit, "KERCHECK", 0); 
+  attrib(SSinit, "PROFILE", 1); 
  
 //  option(prot);