Hi y'all, On 2013-01-21, Volker Braun <vbraun.n...@gmail.com> wrote: > This uses Pari lllgramint(), which assumes that the matrix is positive > definite. If the matrix is not positive definite, Pari may not return. > > sage: D.is_positive_definite() > False
Then we have at least a bug in the documentation. Namely, it says: INPUT: * "M" - gram matrix of a definite quadratic form This matrix is definite, but *negative* definite. One could argue that it is a bug that positive definiteness is not tested before calling Pari - I think it would be better to raise an error, rather than letting Pari hang forever. I don't know: Does Pari's function qflllgram mentioned by Javier really do what one wants in this case? Then our LLL_gram might call that Pari function, if it is called on a negative definite matrix. Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.
