From c41575e223d8481e172f1a9ec0a59f247cdc429b Mon Sep 17 00:00:00 2001 From: Travis Scrimshaw Date: Fri, 12 Aug 2022 14:47:25 +0900 Subject: [PATCH] Cannot specify a generating set when multiplying two-sided ideals. --- src/sage/rings/noncommutative_ideals.pyx | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/sage/rings/noncommutative_ideals.pyx b/src/sage/rings/noncommutative_ideals.pyx index 70039b238c9..29599c2ac0f 100644 --- 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")