Searched refs:old_gs_rows (Results 1 – 1 of 1) sorted by relevance
1364 const dimension_type old_gs_rows = gs.num_rows(); in strongly_minimize_generators() local1365 dimension_type gs_rows = old_gs_rows; in strongly_minimize_generators()1413 if (gs_rows < old_gs_rows) { in strongly_minimize_generators()