[GAP Forum] bug in LLLReducedGramMat? II

Dima Pasechnik dmitrii.pasechnik at cs.ox.ac.uk
Fri Oct 30 23:33:06 GMT 2015


On Fri, Oct 30, 2015 at 11:23:40PM +0100, Bill Allombert wrote:
> On Fri, Oct 30, 2015 at 09:11:15PM +0100, Benjamin Sambale wrote:
> > Meanwhile, I figured that M in my last email is not positive
> > semidefinite, and so it is not a Gram matrix as required in the
> > manual. But since many other non-semidefinite matrices do work, one
> > should at least change the error message.
> 
> I am curious, how do you define 'work' ?

check this out:

gap> M:=[[0,1],[1,0]];
[ [ 0, 1 ], [ 1, 0 ] ]
gap> LLLReducedGramMat(M);
rec( B := [  ], mue := [  ], relations := [ [ 1, 0 ], [ 0, 1 ] ], remainder := [  ], transformation := [  ] )
gap> 

I suppose "works" means "returns stuff", or "gives up silently" 
rather than "throws an error"

Dima



More information about the Forum mailing list