Βραχεία (σχεδόν ορθόγωνη) βάση πλέγματος : lll

### 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`