Template:Studies of Euler diagrams/transformations/dakota tinora/dh
Jump to navigation
Jump to search
This code is part of a Python library called discrete helpers, which is not yet published. from discretehelpers.sig_perm import SigPerm
from discretehelpers.boolf.examples import dakota, tinora
dakota_clan = dakota.ec_clan()
dakota_clan.get_block_from_label(tinora) == [(6, 3)]
sigperm = SigPerm(pair=(6, 3))
assert sigperm.sequence_string(4) == '(~2, 0, ~1, 3)'
assert sigperm.inverse.sequence_string(4) == '(1, ~2, ~0, 3)'
assert dakota.apply_sigperm([~2, 0, ~1, 3]) == dakota.apply(~2, 0, ~1, 3) == tinora
assert tinora.apply_sigperm([1, ~2, ~0, 3]) == tinora.apply(1, ~2, ~0, 3) == dakota
|