Why BKZ can't run for rational matrix?

asked 2023-04-13 04:10:43 +0100

levi gravatar image

Hi, I am trying to use BKZ to run basis reduction algorithm in sagemath. Like new_A = A.BKZ().

But if the matrix has rational entries it will return an error.

AttributeError: 'sage.matrix.matrix_rational_dense.Matrix_rational_dense' object has no attribute 'BKZ'

If I use LLL method new_A = A.LLL()., it can run without error.

By my limit knowledge to BKZ, it's a special case of LLL? Why LLL can run but BKZ not?

Also, BKZ's input should be any basis of a Lattice. Why limit it to integer matrix in sage?

edit retag flag offensive close merge delete


Since it involves an (alleged) design deficiency of Sage, this question may be better aimed at sage-support, even maybe at sage-devel.


Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 2023-04-13 09:57:24 +0100 )edit