Ask Your Question
0

Finding short vectors kernel

asked 2012-01-13 10:39:28 -0600

fivemack gravatar image

I am looking for quadratic forms with a given point - so I want short integer vectors which are perpendicular to

v=[XX,XY,XZ,XT,YY,YZ,YT,ZZ,ZT,TT]

for (in this case) [X,Y,Z,T]=[4423,7583,8765,3459]

This sounds like a problem with LLL written all over it, so I do

L=[[Y,-X,0,0,0,0,0,0,0,0],[0,Z,-Y,0,0,0,0,0,0,0],[0,0,T,-Z,0,0,0,0,0,0],[0,0,0,YY,-XT,0,0,0,0,0],[0,0,0,0,Z,-Y,0,0,0,0],[0,0,0,0,0,T,-Z,0,0,0],[0,0,0,0,0,0,ZZ,-YT,0,0],[0,0,0,0,0,0,0,T,-Z,0],[0,0,0,0,0,0,0,0,T,-Z]]

M=matrix(L)

M.lll()

but this gives an error message AttributeError: 'sage.matrix.matrix_integer_dense.Matrix_integer_dense' object has no attribute 'lll'

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
1

answered 2012-01-13 10:48:28 -0600

Martin Maxa gravatar image

Just write M.LLL() instead of M.lll()

edit flag offensive delete link more

Comments

Ah yes, thanks!

fivemack gravatar imagefivemack ( 2012-01-17 00:03:41 -0600 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2012-01-13 10:39:28 -0600

Seen: 75 times

Last updated: Jan 13 '12