From 7be6758d66f83d00b8fdadcf6ff55c85d5b36ee7 Mon Sep 17 00:00:00 2001
From: Kaushik Kulkarni <kaushikcfd@gmail.com>
Date: Mon, 2 May 2022 16:11:13 -0500
Subject: [PATCH] fixes a bug in _is_non_negative

---
 pytato/utils.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pytato/utils.py b/pytato/utils.py
index f5d7845..2c51515 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:
-- 
GitLab