Added BKZ() and is_LLL_reduced() for matrices over QQ

Author: TheBlupper

src/sage/matrix/matrix_rational_dense.pyx

@@ -2927,6 +2927,24 @@ cdef class Matrix_rational_dense(Matrix_dense):
     # LLL
     # ###############################################
 
+    def BKZ(self, *args, **kwargs):
+        """
+        Block Korkin-Zolotarev reduction.
+
+        For details on input parameters, see
+        :meth:`sage.matrix.matrix_integer_dense.Matrix_integer_dense.BKZ`.
+
+        EXAMPLES::
+
+            sage: A = Matrix(QQ, 3, 3, [1/n for n in range(1, 10)])
+            sage: A.BKZ()
+            [ 1/28 -1/40 -1/18]
+            [ 1/28 -1/40  1/18]
+            [-1/14 -1/40     0]
+        """
+        A, d = self._clear_denom()
+        return A.BKZ(*args, **kwargs) / d
+
     def LLL(self, *args, **kwargs):
         """
         Return an LLL reduced or approximated LLL reduced lattice for
@@ -2946,6 +2964,23 @@ cdef class Matrix_rational_dense(Matrix_dense):
         A, d = self._clear_denom()
         return A.LLL(*args, **kwargs) / d
 
+    def is_LLL_reduced(self, delta=None, eta=None):
+        """
+        Return ``True`` if this lattice is `(\delta, \eta)`-LLL reduced.
+        For a definition of LLL reduction, see
+        :meth:`sage.matrix.matrix_integer_dense.Matrix_integer_dense.LLL`.
+
+        EXAMPLES:
+            sage: A = random_matrix(QQ, 10, 10)
+            sage: L = A.LLL()
+            sage: A.is_LLL_reduced()
+            False
+            sage: L.is_LLL_reduced()
+            True
+        """
+        A, _ = self._clear_denom()
+        return A.is_LLL_reduced(delta, eta)
+
 
 cdef new_matrix_from_pari_GEN(parent, GEN d) noexcept:
     """