Changeset 852347 in git


Ignore:
Timestamp:
Jan 26, 2018, 4:14:29 PM (6 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
b8660809c80fae74881c9e03201aaec04b2c7f3c
Parents:
ba47d42dd620a0c6b46d8803c677e0b144f86c73
Message:
removed some debug/profiling from schreyer.lib
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/schreyer.lib

    rba47d4 r852347  
    9595  }
    9696
    97 //   Syzextra::DetailedPrint(I);
    98 
    9997  return(I);
    10098}
    … …  
    160158    "Sinit::Input";
    161159    type(M);
    162 //      Syzextra::DetailedPrint(M);
    163160    attrib(M);
    164161  }
    … …  
    181178    "Sinit::StartingISRing";
    182179    basering;
    183 //      Syzextra::DetailedPrint(basering);
    184180  }
    185181
    … …  
    206202    attrib(M);
    207203    attrib(M, "isHomog");
    208 //      Syzextra::DetailedPrint(M);
    209204  }
    210205
    … …  
    216211      transpose( transpose(M) * transpose(MRES) );
    217212      "ERROR: transpose( transpose(M) * transpose(MRES) ) != 0!!!";
    218         Syzextra::m2_end(666);
    219213    }
    220214  }
    … …  
    231225  {
    232226    "Sinit::MRES";
    233       Syzextra::DetailedPrint(MRES);
    234227    attrib(MRES, "isHomog");
    235228    attrib(S);
    … …  
    248241  {
    249242    "Sstep::NextInducedRing";
    250       Syzextra::DetailedPrint(basering);
    251243
    252244    attrib(basering, "InducionLeads");
    … …  
    303295    deg(M[1..ncols(M)]); // no use of @W :(?
    304296    @RANK;
    305       Syzextra::DetailedPrint(MRES);
    306297    attrib(MRES, "isHomog"); @W;
    307298    deg(MRES[1..ncols(MRES)]);
    … …  
    315306//  K;
    316307
    317 //   attrib(K, "isHomog", @V);     Syzextra::DetailedPrint(K, 1000);
    318 
    319308//  pause();
    320309
    … …  
    325314
    326315  module N = separateSyzGB(K, @RANK)[2]; // 1^st syz. module: vectors which start in lower part (comp >= @RANK)
    327 
    328 // "N_0: "; N;   Syzextra::DetailedPrint(N, 10);
    329316
    330317//  basering; print(@V); type(N);
    … …  
    344331        MRES;
    345332
    346         "N: "; N;   Syzextra::DetailedPrint(N, 10);
    347 
    348         "K:"; K;   Syzextra::DetailedPrint(K, 10);
    349 
    350333        "RANKS: ", @RANK;
    351334
    … …  
    355338        "transpose(N) * transpose(MRES): ";
    356339        transpose(N) * transpose(MRES);
    357           Syzextra::DetailedPrint(module(_), 2);
    358           Syzextra::m2_end(666);
    359340      }
    360341    }
    … …  
    373354  {
    374355    "Sstep::NextSyzOutput: ";
    375       Syzextra::DetailedPrint(N);
    376356    attrib(N, "isHomog");
    377357  }
    … …  
    543523
    544524          "ERROR: MySort: wrong sorting in 'MySort': @N != @M!!!";
    545             Syzextra::m2_end(666);
    546525        }
    547526      }
    … …  
    659638
    660639      "ERROR: wrong sorting (in SSnit): @N != M!!!";
    661         Syzextra::m2_end(666);
    662640    }
    663641
    … …  
    671649
    672650      "ERROR: wrong sorting (in SSnit): @LEAD != LEAD!!!";
    673         Syzextra::m2_end(666);
    674651    }
    675652
    … …  
    700677      "SSinit::NewRing(C,lex)?";
    701678      basering;
    702         Syzextra::DetailedPrint(basering);
    703679    }
    704680  } else
    … …  
    761737      transpose( transpose(M) * transpose(MRES) );
    762738      "ERROR: transpose( transpose(M) * transpose(MRES) ) != 0!!!";
    763         Syzextra::m2_end(666);
    764739    }
    765740  }
    … …  
    821796    "SSinit::MRES";
    822797    MRES;
    823 //      Syzextra::DetailedPrint(MRES);
    824798    attrib(MRES, "isHomog");
    825799    attrib(S);
    … …  
    951925
    952926        "basering: "; basering;
    953 //          Syzextra::DetailedPrint(basering);
    954 
    955927        "S: ";  S;
    956 //          Syzextra::DetailedPrint(_, 1);
    957928        "SS: "; SS;
    958 //          Syzextra::DetailedPrint(_, 1);
    959929
    960930        "DIFF: ";
    961931        module(matrix(S) - matrix(SS));
    962 //          Syzextra::DetailedPrint(_, 2);
    963932        print(matrix(S) - matrix(SS));
    964           Syzextra::m2_end(666);
    965933      }
    966934    }
    … …  
    1030998        transpose( transpose(SS) * transpose(L) );
    1031999        "ERROR: transpose( transpose(SS) * transpose(L) ) != 0!!!";
    1032           Syzextra::m2_end(666);
    10331000      }
    10341001    }
    … …  
    11141081          transpose( transpose(S) * transpose(L) );
    11151082          "ERROR: transpose( transpose(S) * transpose(L) ) != 0!!!";
    1116             Syzextra::m2_end(666);
    11171083        }
    11181084      }
    … …  
    11231089      "ERROR: SSCompute2LeadingSyzygyTerms: size(S) != size(SS)";
    11241090
    1125       "basering: "; basering; //        Syzextra::DetailedPrint(basering);
     1091      "basering: "; basering;
    11261092
    11271093      "S: ";  S;
    1128 //        Syzextra::DetailedPrint(S, 2);
    11291094      "SS: "; SS;
    1130 //        Syzextra::DetailedPrint(SS, 2);
    1131         Syzextra::m2_end(666);
    11321095    }
    11331096
    … …  
    11391102
    11401103        "basering: ";  basering;
    1141 //          Syzextra::DetailedPrint(basering);
    11421104
    11431105        "lead(S ): "; lead(S );
    1144 //          Syzextra::DetailedPrint(_, 2);
    11451106        "lead(SS): "; lead(SS);
    1146 //          Syzextra::DetailedPrint(_, 2);
    11471107
    11481108        "DIFF: ";
    11491109        print( matrix(lead(S)) - matrix(lead(SS))  );
    11501110        module(matrix(lead(S)) - matrix(lead(SS)));
    1151 //          Syzextra::DetailedPrint(_ , 4);
    1152           Syzextra::m2_end(666);
    11531111      }
    11541112
    … …  
    11611119
    11621120        "basering: ";  basering;
    1163 //          Syzextra::DetailedPrint(basering);
    11641121
    11651122        "Tail(S ): ";   Syzextra::Tail(S );
    1166 //          Syzextra::DetailedPrint(_, 2);
    11671123        "Tail(SS): ";   Syzextra::Tail(SS);
    1168 //          Syzextra::DetailedPrint(_, 2);
    11691124
    11701125        "DIFF: ";
    11711126        module( matrix(  Syzextra::Tail(S)) - matrix(  Syzextra::Tail(SS)) );
    1172 //          Syzextra::DetailedPrint(_, 4);
    11731127        print( matrix(  Syzextra::Tail(S)) - matrix(  Syzextra::Tail(SS)) );
    1174           Syzextra::m2_end(666);
    11751128      }
    11761129      }
    … …  
    11891142      type(S2);
    11901143      L;
    1191         Syzextra::m2_end(666);
    11921144    }
    11931145  }
    … …  
    12571209      "product: ", product, ", @@product: ", @@product;
    12581210      "ERROR: 'syzterm' results in wrong product !!!???";
    1259         Syzextra::m2_end(666);
    12601211    }
    12611212  }
    … …  
    13241275    {
    13251276      "ERROR in   Syzextra::FindReducer => ", my, " != nf: ", nf;
    1326         Syzextra::m2_end(666);
    13271277    }
    13281278  }
    … …  
    13901340      "@@m: ", @@m, ", @@t: ", @@t;
    13911341      "ERROR: 'syzterm' results in wrong m * t !!!";
    1392         Syzextra::m2_end(666);
    13931342    }
    13941343  }
    … …  
    14331382      "syzterm: ", syzterm;
    14341383       L; T; #;
    1435         Syzextra::m2_end(666);
    14361384    }
    14371385  }
    … …  
    15081456      "@tail: ", @tail;
    15091457      L; T; #;
    1510         Syzextra::m2_end(666);
    15111458    }
    15121459  }
    … …  
    15991546
    16001547      L; T; #;
    1601         Syzextra::m2_end(666);
    16021548    }
    16031549  }
    … …  
    16281574    "SSComputeSyzygy::Input";
    16291575    "basering: ", basering; attrib(basering);
    1630 //      Syzextra::DetailedPrint(basering);
    16311576
    16321577//    "iCompShift: ", iCompShift;
    … …  
    16811626      type(LL);
    16821627      type(@LL);
    1683         Syzextra::m2_end(666);
    16841628    }
    16851629
    … …  
    16921636      type(LL);
    16931637      type(@LL);
    1694         Syzextra::m2_end(666);
    16951638    }
    16961639
    … …  
    17571700              {
    17581701                "ERROR in SSComputeSyzygy: could not find the 2nd syzygy term during the hybrid NF!!!";
    1759                   Syzextra::m2_end(666);
    17601702              }
    17611703            }
    … …  
    17891731//              transpose( transpose(N) * transpose(MRES) );
    17901732
    1791             Syzextra::m2_end(666);
    17921733        }
    17931734
    … …  
    18061747      type(TT);
    18071748      type(@TT);
    1808         Syzextra::m2_end(666);
    18091749    }
    18101750
    … …  
    18191759      type(LL);
    18201760      type(@LL);
    1821         Syzextra::m2_end(666);
    18221761    }
    18231762
    … …  
    19051844    @V;
    19061845    @RANK;
    1907 //      Syzextra::DetailedPrint(MRES);
    19081846    attrib(MRES, "isHomog");
    19091847  }
    … …  
    19291867        "MRES", MRES;
    19301868
    1931         "N: "; N; //   Syzextra::DetailedPrint(N, 2);
    1932 
    1933         "LL:"; LL; //   Syzextra::DetailedPrint(LL, 1);
    1934         "TT:"; TT; //   Syzextra::DetailedPrint(TT, 10);
     1869        "N: "; N;
     1870
     1871        "LL:"; LL;
     1872        "TT:"; TT;
    19351873
    19361874        "RANKS: ", @RANK;
    … …  
    19411879        "transpose(N) * transpose(MRES): ";
    19421880        transpose(N) * transpose(MRES);
    1943         //   Syzextra::DetailedPrint(module(_), 2);
    1944           Syzextra::m2_end(666);
    19451881      }
    19461882    }
    … …  
    19691905    "SSstep::NextSyzOutput: ";
    19701906    N;
    1971 //      Syzextra::DetailedPrint(N);
    19721907    attrib(N);
    19731908  }
    … …  
    23372272
    23382273    "ERROR: There were some wrong betti numbers... ";
    2339 //      Syzextra::m2_end(666);
    23402274  } else
    23412275  {
    … …  
    24362370  {
    24372371    "ERROR: non-square M!!!";
    2438       Syzextra::m2_end(666);
    24392372  }
    24402373
    … …  
    24462379    "MRES': "; M; print(M);
    24472380
    2448       Syzextra::m2_end(666);
    24492381  }
    24502382//  "MRES': "; M; print(M);
    … …  
    24532385  {
    24542386    "ERROR: wrong starting zero module!!!";
    2455       Syzextra::m2_end(666);
    24562387  }
    24572388
    … …  
    24862417
    24872418  option(redSB); option(redTail);
    2488   if(@PROFILE){  Syzextra::ProfilerStart(@prof);}
    24892419  timer=0;rtimer=0;def R=SSres(I,0);@m=rtimer;
    2490   if(@PROFILE){  Syzextra::ProfilerStop();}
    24912420  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;
    2492 //    Syzextra::DetailedPrint(RR,0);
    24932421  SCheck(R);
    24942422  StopAddResTest(RR, S, @t,@m);
    … …  
    26352563
    26362564  option(redSB); option(redTail);
    2637   if(@PROFILE){  Syzextra::ProfilerStart(@prof);}
    26382565  timer=0;rtimer=0;def R=SSinit(I);setring R;def RR=  Syzextra::ComputeResolution(RES[2], LRES[2], TRES[2], 0);
    26392566@m=rtimer;
    2640   if(@PROFILE){  Syzextra::ProfilerStop();}
    26412567RR=minres(RR); def S=betti(RR,1);@t=rtimer;
    2642 //    Syzextra::DetailedPrint(RR,0);  print(RR);  print(S, "betti");
    26432568  SCheck(R);
    26442569  StopAddResTest(RR, S, @t,@m);
Note: See TracChangeset for help on using the changeset viewer.