该软件包实现了解决积分线性系统的通用方法,涉及内核、图像及特定解决方案的计算。它依赖于符号工具箱和名为LLattice的类,后者实现了分层点阵,包括LLL缩减基的计算、交集的计算以及直接和的方法。所有计算均采用精确的有理数进行。