  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.
