Added is_unit_ideal property to Ideal.

GDeLaurentis · Feb 26, 2024 · 1abbedb · 1abbedb
1 parent d2f13b8
commit 1abbedb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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)