public String toString(){
  StringBuffer result=new StringBuffer();
  result.append("[");
  for (int i=0; i < size; ++i) {
    result.append(vector[i]);
    if (i + 1 < size)     result.append(", ");
  }
  result.append("]");
  return result.toString();
}

public String toString ( ) { StringBuffer result = new StringBuffer ( ) ; result . append ( "[" ) ; for ( int i = 0 ; i < size ; ++ i ) { result . append ( vector [ i ] ) ; if ( i + 1 < size ) result . append ( ", " ) ; } result . append ( "]" ) ; return result . toString ( ) ; }
returns a text representation of this vector .
