Template:Studies of Euler diagrams/transformations/dagoro darimi/dh

This code is part of a Python library called discrete helpers, which is not yet published. Darimi is spread to arity 5, and thus not among the 4-ary functions in dagoro.ec_clan(). dagoro.ec_clan(5) is created without duplicates by default. from discretehelpers.a import logic_str_vector from discretehelpers.sig_perm import SigPerm from discretehelpers.boolf.examples import dagoro, darimi dagoro_clan_triples = dagoro.ec_clan(5) triples = dagoro_clan_triples.get_block_from_label(darimi) # [(1, 5, 4)] m, n, c = triples[0] sigperm = SigPerm(pair=(m, n)) # <SigPerm (2, 1, ~0)> atomvals = dagoro_clan_triples.glove_compartment[c] # (1, 2, 3, 4) sigvar = sigperm.apply_on_vector(atomvals) # signed variation assert sigvar == [-4, 2, 1, 4] assert logic_str_vector(sigvar) == '[~3, 2, 1, 4]' assert dagoro.apply(*sigvar) == darimi ########################################################################################### dagoro_clan_pairs = dagoro.ec_clan(5, suppress_abbreviation=True) dagoro_clan_pairs.get_block_from_label(darimi) == [(8, 101), (9, 101)] a = SigPerm(pair=(8, 101)) b = SigPerm(pair=(9, 101)) assert a.sequence_string() == '(~3, 2, 1, 4, 0)' assert b.sequence_string() == '(~3, 2, 1, 4, ~0)' assert dagoro.apply_sigperm(a) == dagoro.apply_sigperm(b) == darimi