diff --git a/islpy/__init__.py b/islpy/__init__.py index ead93f2be4b223c7b1977ff58b7272af05c3ae14..47f80370eb31d64bd748a0084fc495fb3d7891fb 100644 --- a/islpy/__init__.py +++ b/islpy/__init__.py @@ -1241,22 +1241,22 @@ def _find_noninteracting_dims(obj, dt, idx, other_dt): return candidate_dims -def _project_out_noninteracting(obj, dt, idx, other_dt): +def _eliminate_noninteracting(obj, dt, idx, other_dt): nonint = _find_noninteracting_dims(obj, dt, idx, other_dt) - for first, n in reversed(list(_runs_in_integer_set(nonint))): - obj = obj.project_out(other_dt, first, n) + for first, n in _runs_in_integer_set(nonint): + obj = obj.eliminate(other_dt, first, n) return obj -def dim_min_projected(obj, idx): - obj = _project_out_noninteracting(obj, dim_type.out, idx, dim_type.param) +def dim_min_with_elimination(obj, idx): + obj = _eliminate_noninteracting(obj, dim_type.out, idx, dim_type.param) return obj.dim_min(idx) -def dim_max_projected(obj, idx): - obj = _project_out_noninteracting(obj, dim_type.out, idx, dim_type.param) +def dim_max_with_elimination(obj, idx): + obj = _eliminate_noninteracting(obj, dim_type.out, idx, dim_type.param) return obj.dim_max(idx) # }}}