lll a comme argument une matrice inversible M à coefficients entiers.
lll renvoie (S,A,L,O) :
Si en dimension 2, un vecteur du réseau a comme coordonnées [a,b] dans
la base définie par M et a comme coordonnées [a1,b1] dans la base
courte définie par S c’est à dire si [a,b]*M=[a1,b1]*S, alors :
[a,b]=[a1,b1]*A
[a1,b1]*S=[a1,b1]*A*M=[a,b]*M et
[a,b]*M=[a,b]*A−1*S=[a1,b1]*S
On tape :
On obtient :
Donc :
S=[[-1,1],[2,1]]
A=[[-1,1],[1,0]]
L=[[1,0],[1/-2,1]]
O=[[-1,1],[3/2,3/2]]
On a comme ancienne base : v1=[2,1], v2=[1,2] et
comme base courte : w1=[-1,1], w2=[2,1].
Puisque w1=-v1+v2 et w2=v1 on a
A:=[[-1,1],[1,0]], A*M==S et L*O==S.
On tape :
On obtient :
si on tape :
M:=[[3,2,1],[1,2,3],[2,3,1]]
On a :
A*M==S et L*O==S