cs.DM math.CO
Deciding whether a Lattice has an Orthonormal Basis is in co NP. We show that the problem of deciding whether a given Euclidean lattice L has an orthonormal basis is in NP and co NP. Since this is equivalent to saying that L is isomorphic to the standard integer lattice, this problem is a special form of the Lattice Isomorphism Problem, which is known to be in the complexity class SZK.