libsingular_julia: id_prune_map_v

oscar-system · Dec 17, 2023 · 4cc8b96 · 4cc8b96
1 parent 2f97ab9
commit 4cc8b96
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/deps/src/ideals.cpp b/deps/src/ideals.cpp
@@ -100,6 +100,17 @@ auto id_prune_map_helper(sip_sideal * I, ring R)
  return std::make_tuple(s, TT);
 }
 
+auto id_prune_map_v_helper(sip_sideal * I, int* v, ring R)
+{
+ auto origin = currRing;
+ rChangeCurrRing(R);
+ ideal T;
+ ideal s = idMinEmbedding_with_map_v(I, NULL, T, v);
+ matrix TT = id_Module2Matrix(T, currRing);
+ rChangeCurrRing(origin);
+ return std::make_tuple(s, TT);
+}
+
 ideal id_Syzygies_internal(ideal m, ring o)
 {
  ideal id = NULL;
@@ -405,6 +416,7 @@ void singular_define_ideals(jlcxx::Module & Singular)
  Singular.method("id_res", &id_res_helper);
  Singular.method("id_mres_map", &id_mres_map_helper);
  Singular.method("id_prune_map", &id_prune_map_helper);
+ Singular.method("id_prune_map_v", &id_prune_map_v_helper);
 
  Singular.method("id_Slimgb", &id_Slimgb_helper);