# test_matrices.py

import pytest

from concepts.matrices import Relation


@pytest.fixture(scope='module')
def relation():
    xname = 'Condition'
    yname = 'Symbol'
    xmembers = 'TT', 'TF', 'FT', 'FF'
    ymembers = '->', '<-'
    xbools = [(True, False, True, True), (True, True, False, True)]
    return Relation(xname, yname, xmembers, ymembers, xbools)


def test_pair_with(relation):
    vx, vy = relation
    with pytest.raises(RuntimeError, match=r'attempt _pair_with'):
        vx._pair_with(relation, 1, vy)

@@ -516,8 +516,157 @@
  1, vy)%0A
+%0A%0Adef test_prime_infimum(relation):%0A    vx, vy = relation%0A%0A    assert vx.prime(0) == vy.BitSet.supremum%0A    assert vy.prime(0) == vx.BitSet.supremum%0A

add relation test