Skip to content

Commit 56c3f7e

Browse files
committed
remove usage of Libdl
1 parent fc6a21e commit 56c3f7e

File tree

1 file changed

+1
-6
lines changed

1 file changed

+1
-6
lines changed

src/algorithms/groebner-bases.jl

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,6 @@ import msolve_jll: libneogb, libmsolve
22

33
export groebner_basis, eliminate
44

5-
using Libdl
6-
75
@doc Markdown.doc"""
86
eliminate(I::Ideal{T} where T <: MPolyRingElem, eliminate::Int, <keyword arguments>)
97
@@ -182,12 +180,9 @@ function _core_groebner_basis(
182180
gb_len = Ref(Ptr{Cint}(0))
183181
gb_exp = Ref(Ptr{Cint}(0))
184182
gb_cf = Ref(Ptr{Cvoid}(0))
185-
ngb = Libdl.dlopen("/Users/ederc/repos/master-msolve/src/neogb/.libs/libneogb")
186183

187-
msv = Libdl.dlopen("/Users/ederc/repos/master-msolve/src/msolve/.libs/libmsolve")
188-
rr = Libdl.dlsym(msv, :export_groebner_qq)
189184
if field_char == 0
190-
nr_terms = ccall(rr, Int,
185+
nr_terms = ccall((:export_groebner_qq, libmsolve), Int,
191186
(Ptr{Nothing}, Ptr{Cint}, Ptr{Ptr{Cint}}, Ptr{Ptr{Cint}}, Ptr{Ptr{Cvoid}},
192187
Ptr{Cint}, Ptr{Cint}, Ptr{Cvoid}, Cint, Cint, Cint, Cint, Cint, Cint,
193188
Cint, Cint, Cint, Cint, Cint, Cint, Cint, Cint),

0 commit comments

Comments
 (0)