### From OpenWetWare

### Subsystem construction from 2 classical linear codes

First take 2 classical linear codes *C*_{1} and *C*_{2}, which encode *k*_{1} and *k*_{2} bits into *n*_{1} and *n*_{2} bits respectively. Define a set of stabilizers from *P*_{1} as

with *S*_{i} = *Z*