Describes an algorithm for determining whether a lattice is of Voronoi's first kind and returns the obtuse superbase