// 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; }