From 878d90b20ea1b8151ff1b089bf506ef5c0d04d4d Mon Sep 17 00:00:00 2001
From: Andreas Fabri <andreas.fabri@geometryfactory.com>
Date: Thu, 25 Jan 2024 17:46:41 +0000
Subject: [PATCH] Core: Use Expr::is_zero() of AST

---
 Number_types/include/CGAL/CORE_Expr.h | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Number_types/include/CGAL/CORE_Expr.h b/Number_types/include/CGAL/CORE_Expr.h
index ae0b603b1ed..efeb5ad9363 100644
--- a/Number_types/include/CGAL/CORE_Expr.h
+++ b/Number_types/include/CGAL/CORE_Expr.h
@@ -115,6 +115,14 @@ template <> class Algebraic_structure_traits< CORE::Expr >
         };  */
     };
 
+    class Is_zero
+      : public CGAL::cpp98::unary_function< Type, bool > {
+      public:
+        bool operator()( const Type& x ) const {
+          return x.isZero();
+        }
+    };
+
 };
 
 template <> class Real_embeddable_traits< CORE::Expr >