Merge pull request #241 from oscar-system/QuotRing

Quot ring
oscar-system · Jun 10, 2020 · ea5fda6 · ea5fda6
2 parents b025c21 + 24ff6ad
commit ea5fda6
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/deps/src/rings.cpp b/deps/src/rings.cpp
@@ -101,6 +101,11 @@ void singular_define_rings(jlcxx::Module & Singular)
 
     return r->qideal != NULL;
     });
+    Singular.method("rQuotientRing", [](ideal i, ring r) {
+        ring Q = rCopy(r);
+        Q->qideal = id_Copy(i, r);
+        return Q;
+    });
     Singular.method("rBitmask",
                     [](ip_sring * r) { return (unsigned int)r->bitmask; });
     Singular.method("rPar", [](coeffs cf){

diff --git a/src/poly/poly.jl b/src/poly/poly.jl
@@ -339,7 +339,11 @@ end
 
 function show(io::IO, R::PolyRing)
    s = libSingular.rString(R.ptr)
-   print(io, "Singular Polynomial Ring ", s)
+   if libSingular.rIsQuotientRing(R.ptr)
+     print(io, "Singular Polynomial Quotient Ring ", s)
+   else
+     print(io, "Singular Polynomial Ring ", s)
+   end
 end
 
 function show(io::IO, a::spoly)