Dear GAP forum,
does LLL-algorithm (or some of modifications) offer possibility to
decide memebship (of some element in Z^n in the given lattice?
I need some bibliography on this topic, if possible.
(I would like to avoid excursions to Preburger arithmetic).
P.S.: The answers (if any) should go to my own address, I think.