Methods

• CPHFIPO
• Product

  Strength-2 CA×CA product: CA(N1; 2, k1, v) × CA(N2; 2, k2, v) -> CA(N1+N2; 2, k1*k2, v)

• SIPO
• Sperner

  Optimal binary strength-2 CA(n; 2, C(n-1, ceil(n/2)), 2) in closed form

• Trivial

  Full factorial CA(v^t; t, t, v) on exactly k = t columns

• Truncate

  Arity-1 k-reduction: CA(N; t, k_in, v) -> CA(N; t, k, v) on the first k <= k_in columns, N unchanged