From 0bf85003ba9a8cf77a1eea31645a9a5e3eb2a818 Mon Sep 17 00:00:00 2001
From: Hans Schoenemann <hannes@mathematik.uni-kl.de>
Date: Fri, 7 Jun 2024 09:32:46 +0200
Subject: [PATCH] extend rQuotientRing to non-commutative quotient rings

---
 deps/src/rings.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/deps/src/rings.cpp b/deps/src/rings.cpp
index 83e91d6b4..a1c57d9c1 100644
--- a/deps/src/rings.cpp
+++ b/deps/src/rings.cpp
@@ -355,6 +355,10 @@ void singular_define_rings(jlcxx::Module & Singular)
     // This looks too simple, try make_qring if it doesn't work.
     ring Q = rCopy(r);
     Q->qideal = id_Copy(i, r);
+    if((i!=NULL) && rIsPluralRing(r))
+    {
+      nc_SetupQuotient(Q, r);
+    }
     return Q;
   });
   Singular.method("make_qring", &make_qring);