i1 : A = matrix randomMutableMatrix(10,10,.5,100000) o1 = 0 10 10 o1 : Matrix ZZ <--- ZZ
i2 : (B,U) = LLL(A, ChangeMatrix=>true) o2 = (0, 0) o2 : Sequence
i3 : B == A*U o3 = true