Move QQMatrix(::ZZMatrix) constructor (#1868)

Nemocas · Sep 27, 2024 · 8b486cc · 8b486cc
1 parent 7894c21
commit 8b486cc
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/src/HeckeMoreStuff.jl b/src/HeckeMoreStuff.jl
@@ -1,9 +1,3 @@
-function QQMatrix(x::ZZMatrix)
-  z = zero_matrix(QQ, nrows(x), ncols(x))
-  ccall((:fmpq_mat_set_fmpz_mat, libflint), Nothing, (Ref{QQMatrix}, Ref{ZZMatrix}), z, x)
-  return z
-end
-
 function round(::Type{Int}, a::QQFieldElem)
   return round(Int, Rational{BigInt}(a))
 end

diff --git a/src/flint/fmpq_mat.jl b/src/flint/fmpq_mat.jl
@@ -969,6 +969,12 @@ function matrix(R::QQField, r::Int, c::Int, arr::AbstractVector{Rational{T}}) wh
   return z
 end
 
+function QQMatrix(x::ZZMatrix)
+  z = QQMatrix(nrows(x), ncols(x))
+  @ccall libflint.fmpq_mat_set_fmpz_mat(z::Ref{QQMatrix}, x::Ref{ZZMatrix})::Nothing
+  return z
+end
+
 ###############################################################################
 #
 #  Zero matrix