feat: bump to flint3

oscar-system · May 4, 2024 · 988db70 · 988db70
1 parent be15258
commit 988db70
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/src/LibSingular.jl b/src/LibSingular.jl
@@ -2,7 +2,7 @@ module libSingular
 
 using CxxWrap
 
-import ..Singular: libflint, libantic, libsingular_julia, AbstractAlgebra
+import ..Singular: libflint, libsingular_julia, AbstractAlgebra
 
 @wrapmodule(libsingular_julia)
 

diff --git a/src/Singular.jl b/src/Singular.jl
@@ -86,7 +86,6 @@ const _libsingular_julia = Ref(Setup.locate_libsingular())
 libsingular_julia() = _libsingular_julia[]
 
 const libflint = Nemo.libflint
-const libantic = Nemo.libantic
 
 const mapping_types_reversed = Dict{Symbol, Int64}()
 

diff --git a/src/libsingular/antic/nf_elem.jl b/src/libsingular/antic/nf_elem.jl
@@ -58,7 +58,7 @@ end
 
 function nf_elemInpNeg(a::Ptr{Cvoid}, cf::Ptr{Cvoid})
  cf_ptr = get_coeff_data_void(cf)
- ccall((:nf_elem_neg, libantic), Cvoid,
+ ccall((:nf_elem_neg, libflint), Cvoid,
  (Ptr{Nemo.AbsSimpleNumFieldElem}, Ptr{Nemo.AbsSimpleNumFieldElem}, Ptr{Nemo.AbsSimpleNumField}),
  a, a, cf_ptr)
  return a