extend rQuotientRing to non-commutative quotient rings (#809)

oscar-system · Jun 26, 2024 · 31a9b23 · 31a9b23
1 parent b57cb8e
commit 31a9b23
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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);