From 3bc1873882c7b5a0b6779a09bb85129608ecab96 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 8 Sep 2025 07:32:02 -1000
Subject: [PATCH] t

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/nlsat/levelwise.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/nlsat/levelwise.cpp b/src/nlsat/levelwise.cpp
index 2453b3d87..1c66c0c53 100644
--- a/src/nlsat/levelwise.cpp
+++ b/src/nlsat/levelwise.cpp
@@ -108,7 +108,9 @@ namespace nlsat {
         }
 
         bool is_irreducible(poly* p) {
-            return true;
+            polynomial::factors factors(m_pm);
+            factor(polynomial_ref(p, m_pm), factors);
+            return factors.total_factors() == 1;            
         }
         
         /*