// Override
 public int hashCode() {
   if (hashcode == 0) {
     // TODO: is this an efficient hash code?
     hashcode = center.hashCode() + (int) (33 * (radius + min_z + max_z));
   }
   return hashcode;
 }