1.48.5 Βραχεία (σχεδόν ορθόγωνη) βάση πλέγματος : lll
lll παίρνει ως όρισμα έναν αντιστρέψιμο πίνακα M με
ακέραιους συντελεστές.
lll επιστρέφει (S,A,L,O) έτσι ώστε:
-
οι γραμμές του S είναι η βραχεία βάση του ℤ-προτύπου, η
παραγόμενη από τις γραμμές του M,
- A είναι ο πίνακας-αλλαγής-βάσης από την βραχεία βάση στην βάση
που ορίζεται από τις γραμμές του M (A*M=S),
- L είναι ένας κάτω τριγωνικός πίνακας, στον οποίο το μέτρο των μη διαγώνιων
συντελεστών του είναι μικρότερο από 1/2,
- O είναι ένας πίνακας με ορθογώνιες γραμμές έτσι ώστε L*O=S.
Είσοδος :
[S,A,L,O]:=lll(M:=[[2,1],[1,2]])
Έξοδος :
[[-1,1],[2,1]], [[-1,1],[1,0]], [[1,0],[1/-2,1]], [[-1,1],[3/2,3/2]]
Επομένως :
S=[[-1,1],[2,1]]
A=[[-1,1],[1,0]]
L=[[1,0],[1/-2,1]]
O=[[-1,1],[3/2,3/2]]
Επομένως, η αρχική βάση είναι η
v1=[2,1], v2=[1,2]
και η βραχεία βάση είναι η
w1=[-1,1], w2=[2,1].
Αφού
w1=-v1+v2 και
w2=v1 τότε :
A:=[[-1,1],[1,0]],
A*M==S και
L*O==S.
Είσοδος :
(S,A,L,O):=lll([[3,2,1],[1,2,3],[2,3,1]])
Έξοδος :
S=[[-1,1,0],[-1,-1,2],[3,2,1]]
A= [[-1,0,1],[0,1,-1],[1,0,0]]
L= [[1,0,0],[0,1,0],[(-1)/2,(-1)/2,1]]
O= [[-1,1,0],[-1,-1,2],[2,2,2]]
Είσοδος :
M:=[[3,2,1],[1,2,3],[2,3,1]]
Ιδιότητες :
A*M==S και
L*O==S