convert objects of type DEF_CMD to nothing (#905)

* convert objects of type DEF_CMD to nothing

* format

Author: hannes14

deps/src/caller.cpp

@@ -38,7 +38,8 @@ static jl_value_t * get_type_mapper()
                      {RESOLUTION_CMD, "RESOLUTION_CMD"},
                      {MODUL_CMD, "MODUL_CMD"},
                      {VECTOR_CMD, "VECTOR_CMD"},
-                     {INTVEC_CMD, "INTVEC_CMD"}};
+                     {INTVEC_CMD, "INTVEC_CMD"},
+                     {DEF_CMD,"DEF_CMD"}};
 
   jl_array_t * return_array =
       jl_alloc_array_1d(jl_array_any_type, sizeof(types) / sizeof(types[0]));
@@ -458,6 +459,9 @@ void singular_define_caller(jlcxx::Module & Singular)
   Singular.method("RESOLUTION_CMD_CASTER", [](void * obj) {
     return reinterpret_cast<syStrategy>(obj);
   });
+  Singular.method("DEF_CMD_CASTER", [](void * obj) {
+    return jl_box_int64(reinterpret_cast<long>(obj));
+  });
   Singular.method("LIST_CMD_TRAVERSAL", &convert_nested_list);
   Singular.method("get_ring_content", &get_ring_content);
   Singular.method("get_ring_ref", &get_ring_ref);

src/caller.jl

@@ -132,6 +132,11 @@ function create_casting_functions()
                 cast = libSingular.RESOLUTION_CMD_CASTER(vptr)
                 return R(cast, Val(:resolution))  # eh
             end
+        ,
+        mapping_types_reversed[:DEF_CMD] =>
+            function (vptr, R)
+                return nothing
+            end
         )
 end
 

test/libsingular-test.jl

@@ -1 +1,2 @@
 include("libsingular/nemo-test.jl")
+include("libsingular/Puiseuxexpansions-test.jl")

test/libsingular/Puiseuxexpansions-test.jl

@@ -0,0 +1,11 @@
+@testset "Singular.LibPuiseuxexpansions" begin
+   R, (x, y) = polynomial_ring(QQ, ["x", "y"])
+
+   f = y^3 + x^2 + x^8
+
+   L = Singular.LibPuiseuxexpansions.puiseux(f,8,1)
+
+   @test L[1][1] == 1//9*x^38 - 1//3*x^20 - x^2
+   @test L[1][2] == 3
+   @test L[1][3] == nothing
+end