diff --git a/pytato/utils.py b/pytato/utils.py index f5d784517fc1be6aee2725c9cb0ef9024cf13c26..2c51515a888c40c6a8da8f0c533f89910709f96e 100644 --- a/pytato/utils.py +++ b/pytato/utils.py @@ -369,7 +369,7 @@ def _is_non_negative(expr: ShapeComponent) -> BoolT: aff = ShapeToISLExpressionMapper(space)(expr) # type-ignore reason: mypy doesn't know comparing isl.Sets returns bool return (aff.ge_set(aff * 0) # type: ignore[no-any-return] - <= _get_size_params_assumptions_bset(space)) + >= _get_size_params_assumptions_bset(space)) def _is_non_positive(expr: ShapeComponent) -> BoolT: