This is an implementation for the lattice BGN. I will occasionally write implementation notes in this file.