Searched refs:standard_idx (Results 1 – 2 of 2) sorted by relevance
512 int standard_idx; in rowVectorIsLinearCombinationOfRows() local513 if ((standard_idx=rowIsStandardMonomialToWithIndex[row_idx])>=0){ in rowVectorIsLinearCombinationOfRows()515 const int standard_idx_with_offset=varietySize+standard_idx; in rowVectorIsLinearCombinationOfRows()