def test_tikz_bialgebra_law():
from discopy.quantum.zx import Z, X, Id, SWAP
source = X(2, 1) >> Z(1, 2)
target = Z(1, 2) @ Z(1, 2) >> Id(1) @ SWAP @ Id(1) >> X(2, 1) @ X(2, 1)
return source, target
def test_draw_bialgebra():
from discopy.quantum.zx import Z, X, Id, SWAP
bialgebra = Z(1, 2) @ Z(1, 2) >> Id(1) @ SWAP @ Id(1) >> X(2, 1) @ X(2, 1)
return bialgebra + bialgebra