/**
  * Build a resized vector, for use with append.
  *
  * @param v The original vector
  * @param resize The amount to resize it
  */
 protected OpenMapRealVector(OpenMapRealVector v, int resize) {
   virtualSize = v.getDimension() + resize;
   entries = new OpenIntToDoubleHashMap(v.entries);
   epsilon = v.getEpsilon();
 }
 /**
  * Copy constructor.
  *
  * @param v The instance to copy from
  */
 public OpenMapRealVector(OpenMapRealVector v) {
   virtualSize = v.getDimension();
   entries = new OpenIntToDoubleHashMap(v.getEntries());
   epsilon = v.getEpsilon();
 }