static double[] resizeDoubleArray(double[] a, int n) {
  if (n == l(a)) ret a;
  double[] b = new double[n];
  arraycopy(a, 0, b, 0, min(l(a), n));
  ret b;
}