Searched refs:summaxtotaldeg (Results 1 – 1 of 1) sorted by relevance
7308 int maxtotaldeg=0,summaxtotaldeg=0; in mrref() local7326 summaxtotaldeg += maxtotaldeg; in mrref()7329 maxtotaldeg=std::min(summaxtotaldeg,int(total_degree(col_totaldeg))); in mrref()