# Devon Hjelm Notes/070827

First take 2 classical linear codes C1 and C2, which encode k1 and k2 bits into n1 and n2 bits respectively. Define a set of stabilizers $\mathcal{S}_1$ from P1 as
$\mathcal{S}_1 = \langle S_1,S_2,\dots,S_{n-k} \rangle$ with Si = Z