Merge pull request oscar-system#69 from hannes14/hs/divrem

add id_DivRem, id_DivRem_Unit
fingolfin · Jun 6, 2023 · e6396d5 · e6396d5
2 parents 7138c27 + a12204a
commit e6396d5
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/deps/src/ideals.cpp b/deps/src/ideals.cpp
@@ -334,6 +334,25 @@ void singular_define_ideals(jlcxx::Module & Singular)
         return res;
     });
 
+    Singular.method("id_DivRem", [](ideal m, ideal sm, ring o) {
+        const ring origin = currRing;
+        rChangeCurrRing(o);
+        ideal factors;
+        ideal res = idDivRem(sm, m, factors, NULL);
+        rChangeCurrRing(origin);
+        return std::make_tuple(res, factors);
+    });
+
+    Singular.method("id_DivRem_Unit", [](ideal m, ideal sm, ring o) {
+        const ring origin = currRing;
+        rChangeCurrRing(o);
+        ideal factors;
+        ideal unit;
+        ideal res = idDivRem(sm, m, factors, &unit);
+        rChangeCurrRing(origin);
+        return std::make_tuple(res, factors, unit);
+    });
+
     Singular.method("id_Lift", [](ideal m, ideal sm, ring o) {
         const ring origin = currRing;
         rChangeCurrRing(o);