// requires valid arguments
  static long minWS(int Kprime, int T, int Al, int n) {

    // must cast to long because product may exceed Integer.MAX_VALUE
    return (long) SystematicIndices.ceil(Kprime) * subSymbolSize(T, Al, n);
  }