## Hamming code [7,4,3]

from PyECC import *

# Hamming [4,7]
R1 = [1,1,1]
R2 = [0,1,1]
R3 = [1,0,1]
R4 = [1,1,0]
R = matrix(Zn(2), [R1,R2,R3,R4])
show(R)


R
# Generating matrix
G = splice(I_(4),R)
show(G)


# Control matrix
H = stack(R,I_(3)) 
show(H)