def test_ordinal(G, H, J):
"""
Test that the ordinal sum matches known results.
"""
assert canonicalize(ordinal(G, H)) == J
def test_shortened_selective(G, H, J):
"""
Test that the shortened selective sum matches known results.
"""
assert canonicalize(shortened_selective(G, H)) == J
def test_continued_conjunctive(G, H, J):
"""
Test that the continued conjunctive sum matches known results.
"""
assert canonicalize(continued_conjunctive(G, H)) == J
def test_diminished_disjunctive(G, H, J):
"""
Test that the diminished disjunctive sum matches known results.
"""
assert canonicalize(diminished_disjunctive(G, H)) == J
def test_sequential(G, H, J):
"""
Test that the sequential sum matches known results.
"""
assert canonicalize(sequential(G, H)) == J
def test_side(G, H, J):
"""
Test that the side sum matches known results.
"""
assert canonicalize(side(G, H)) == J