public Vector(int nrows) { EnsureNumberPositive(nrows, "Number of rows"); NRows = nrows; Elements = new double[NRows]; }