Why BKZ can't run for rational matrix?

asked 2 years ago

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?

Preview: (hide)

Comments

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

HTH,

Emmanuel Charpentier gravatar imageEmmanuel Charpentier ( 2 years ago )