Dear Waldek,
I'm not sure whether it's really a problem, but I think we should at
least add two things to the ++ docstrings in lll.spad.
(1) The input vectors are represented as the "rows" (not columns).
(2) The input matrix should have full row rank.
Whereas (1) clearly helps users to see how to prepare the input for LLL,
(2) seems to be a must for the current implementation.
(269) -> LLL(matrix [[2,4,8],[1,3,5],[1,2,4]])$LLLReduction
>> System error:
arithmetic error DIVISION-BY-ZERO signalled
Operation was (/ 0 0).
(269) -> LLL(matrix [[3,6,12],[2,3,5],[1,2,4]])$LLLReduction
C-c C-c
>> System error:
Interactive interrupt at #x5300A846.
In fact, I'd be somewhat happier if LLL could deal with linearly
dependent rows or if there was another function that singled out
dependent rows and then called LLL on the rest.
Opinions?
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/94b47af3-7430-8e5f-1f95-1c25e57e49df%40hemmecke.org.
