Cannot specify a generating set when multiplying two-sided ideals.

sagemath · Aug 12, 2022 · c41575e · c41575e
1 parent 66c079b
commit c41575e
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/sage/rings/noncommutative_ideals.pyx b/src/sage/rings/noncommutative_ideals.pyx
@@ -398,8 +398,7 @@ class Ideal_nc(Ideal_generic):
             NotImplementedError: cannot multiply non-commutative ideals
         """
         if isinstance(other, Ideal_nc) and self.ring() == other.ring():
-            if (self.side() == "left" and other.side() == "right"
-                or self.side() == other.side() == "twosided"):
+            if self.side() == "left" and other.side() == "right":
                 gens = [z for z in (x * y for x in self.gens() for y in other.gens()) if z]
                 return self.ring().ideal(gens, side='twosided')
             raise NotImplementedError("cannot multiply non-commutative ideals")