170171172173174175176177178179180
if (r == null) r = new Range( 0, v.getDimension(count).getLength()); if (count>0) sb.append(", "); sb.append(r.first()); sb.append(':'); sb.append(r.last()); sb.append(':'); sb.append(r.stride()); } sb.append(')'); }