Added abstract of LLL algorithm and an example