def test_to_spiked_some_forbidden(n, seed):
rng = Random(seed)
g, eqs = create_rnd_bipartite(n, n, seed, rng)
edges = g.edges(eqs)
log('Edges:', edges)
forbidden = set( rng.choice(edges) for _ in range(len(edges)//2) )
log('Forbidden:', list(forbidden))
to_spiked_form(g, eqs, forbidden)
def test_nonsingular_spiked(n, seed):
rng = Random(seed)
g, eqs = create_rnd_bipartite(n, n, seed, rng, nonsing=True)
edges = g.edges(eqs)
log('Edges:', edges)
forbidden = set( rng.choice(edges) for _ in range(len(edges)//2) )
log('Forbidden:', list(forbidden))
singular = to_spiked_form(g, eqs, forbidden)[0]
assert not singular
def test_to_spiked_all_forbidden_diagonal(n, seed):
rng = Random(seed)
g, eqs = create_diagonal_matrix(n, rng)
singular, rowp = to_spiked_form(g, eqs, set(g.edges_iter(eqs)))[:2]
assert not singular
assert rowp == sorted(rowp)
def test_to_spiked_none_forbidden_diagonal(n, seed):
rng = Random(seed)
g, eqs = create_diagonal_matrix(n, rng)
singular, rowp = to_spiked_form(g, eqs)[:2]
assert not singular
assert rowp == sorted(rowp)
def test_to_spiked_all_forbidden(n, seed):
rng = Random(seed)
g, eqs = create_rnd_bipartite(n, n, seed, rng)
to_spiked_form(g, eqs, set(g.edges_iter(eqs)))
def test_to_spiked_none_forbidden(n, seed):
rng = Random(seed)
g, eqs = create_rnd_bipartite(n, n, seed, rng)
to_spiked_form(g, eqs)