From 1abbedbb318b29bda1768d5d8f474827f5c401f6 Mon Sep 17 00:00:00 2001
From: GDeLaurentis <g.dl@hotmail.it>
Date: Mon, 26 Feb 2024 15:27:45 +0000
Subject: [PATCH] Added is_unit_ideal property to Ideal.

---
 syngular/ideal.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/syngular/ideal.py b/syngular/ideal.py
index fd8af91..e1a4a89 100644
--- a/syngular/ideal.py
+++ b/syngular/ideal.py
@@ -340,6 +340,10 @@ def delete_cached_properties(self):
     def generators_eval(self, **kwargs):
         return [eval(generator.replace("^", "**"), kwargs) for generator in self.generators]
 
+    @property
+    def is_unit_ideal(self):
+        return self == Ideal(self.ring, ('1', ))
+
 
 def reduce(poly, ideal):
     return ideal.reduce(poly)