Studies of Euler diagrams/dukeli NP/valneg
< Studies of Euler diagrams < dukeli NP
In each row the same values are negated. I.e. circles with spikes on the outside have the same color.
E.g. in row 3 the negator is always before 0 and 1. I.e. the red and green circles have spikes on the outside.
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
 |
.svg.png) (0, 1, 2, 3) |
.svg.png) (1, 0, 2, 3) |
.svg.png) (0, 2, 1, 3) |
.svg.png) (2, 0, 1, 3) |
.svg.png) (1, 2, 0, 3) |
.svg.png) (2, 1, 0, 3) |
.svg.png) (0, 1, 3, 2) |
.svg.png) (1, 0, 3, 2) |
.svg.png) (0, 3, 1, 2) |
.svg.png) (3, 0, 1, 2) |
.svg.png) (1, 3, 0, 2) |
.svg.png) (3, 1, 0, 2) |
.svg.png) (0, 2, 3, 1) |
.svg.png) (2, 0, 3, 1) |
.svg.png) (0, 3, 2, 1) |
.svg.png) (3, 0, 2, 1) |
.svg.png) (2, 3, 0, 1) |
.svg.png) (3, 2, 0, 1) |
.svg.png) (1, 2, 3, 0) |
.svg.png) (2, 1, 3, 0) |
.svg.png) (1, 3, 2, 0) |
.svg.png) (3, 1, 2, 0) |
.svg.png) (2, 3, 1, 0) |
.svg.png) (3, 2, 1, 0) |
 |
.svg.png) (~0, 1, 2, 3) |
.svg.png) (1, ~0, 2, 3) |
.svg.png) (~0, 2, 1, 3) |
.svg.png) (2, ~0, 1, 3) |
.svg.png) (1, 2, ~0, 3) |
.svg.png) (2, 1, ~0, 3) |
.svg.png) (~0, 1, 3, 2) |
.svg.png) (1, ~0, 3, 2) |
.svg.png) (~0, 3, 1, 2) |
.svg.png) (3, ~0, 1, 2) |
.svg.png) (1, 3, ~0, 2) |
.svg.png) (3, 1, ~0, 2) |
.svg.png) (~0, 2, 3, 1) |
.svg.png) (2, ~0, 3, 1) |
.svg.png) (~0, 3, 2, 1) |
.svg.png) (3, ~0, 2, 1) |
.svg.png) (2, 3, ~0, 1) |
.svg.png) (3, 2, ~0, 1) |
.svg.png) (1, 2, 3, ~0) |
.svg.png) (2, 1, 3, ~0) |
.svg.png) (1, 3, 2, ~0) |
.svg.png) (3, 1, 2, ~0) |
.svg.png) (2, 3, 1, ~0) |
.svg.png) (3, 2, 1, ~0) |
 |
.svg.png) (0, ~1, 2, 3) |
.svg.png) (~1, 0, 2, 3) |
.svg.png) (0, 2, ~1, 3) |
.svg.png) (2, 0, ~1, 3) |
.svg.png) (~1, 2, 0, 3) |
.svg.png) (2, ~1, 0, 3) |
.svg.png) (0, ~1, 3, 2) |
.svg.png) (~1, 0, 3, 2) |
.svg.png) (0, 3, ~1, 2) |
.svg.png) (3, 0, ~1, 2) |
.svg.png) (~1, 3, 0, 2) |
.svg.png) (3, ~1, 0, 2) |
.svg.png) (0, 2, 3, ~1) |
.svg.png) (2, 0, 3, ~1) |
.svg.png) (0, 3, 2, ~1) |
.svg.png) (3, 0, 2, ~1) |
.svg.png) (2, 3, 0, ~1) |
.svg.png) (3, 2, 0, ~1) |
.svg.png) (~1, 2, 3, 0) |
.svg.png) (2, ~1, 3, 0) |
.svg.png) (~1, 3, 2, 0) |
.svg.png) (3, ~1, 2, 0) |
.svg.png) (2, 3, ~1, 0) |
.svg.png) (3, 2, ~1, 0) |
 |
.svg.png) (~0, ~1, 2, 3) |
.svg.png) (~1, ~0, 2, 3) |
.svg.png) (~0, 2, ~1, 3) |
.svg.png) (2, ~0, ~1, 3) |
.svg.png) (~1, 2, ~0, 3) |
.svg.png) (2, ~1, ~0, 3) |
.svg.png) (~0, ~1, 3, 2) |
.svg.png) (~1, ~0, 3, 2) |
.svg.png) (~0, 3, ~1, 2) |
.svg.png) (3, ~0, ~1, 2) |
.svg.png) (~1, 3, ~0, 2) |
.svg.png) (3, ~1, ~0, 2) |
.svg.png) (~0, 2, 3, ~1) |
.svg.png) (2, ~0, 3, ~1) |
.svg.png) (~0, 3, 2, ~1) |
.svg.png) (3, ~0, 2, ~1) |
.svg.png) (2, 3, ~0, ~1) |
.svg.png) (3, 2, ~0, ~1) |
.svg.png) (~1, 2, 3, ~0) |
.svg.png) (2, ~1, 3, ~0) |
.svg.png) (~1, 3, 2, ~0) |
.svg.png) (3, ~1, 2, ~0) |
.svg.png) (2, 3, ~1, ~0) |
.svg.png) (3, 2, ~1, ~0) |
 |
.svg.png) (0, 1, ~2, 3) |
.svg.png) (1, 0, ~2, 3) |
.svg.png) (0, ~2, 1, 3) |
.svg.png) (~2, 0, 1, 3) |
.svg.png) (1, ~2, 0, 3) |
.svg.png) (~2, 1, 0, 3) |
.svg.png) (0, 1, 3, ~2) |
.svg.png) (1, 0, 3, ~2) |
.svg.png) (0, 3, 1, ~2) |
.svg.png) (3, 0, 1, ~2) |
.svg.png) (1, 3, 0, ~2) |
.svg.png) (3, 1, 0, ~2) |
.svg.png) (0, ~2, 3, 1) |
.svg.png) (~2, 0, 3, 1) |
.svg.png) (0, 3, ~2, 1) |
.svg.png) (3, 0, ~2, 1) |
.svg.png) (~2, 3, 0, 1) |
.svg.png) (3, ~2, 0, 1) |
.svg.png) (1, ~2, 3, 0) |
.svg.png) (~2, 1, 3, 0) |
.svg.png) (1, 3, ~2, 0) |
.svg.png) (3, 1, ~2, 0) |
.svg.png) (~2, 3, 1, 0) |
.svg.png) (3, ~2, 1, 0) |
 |
.svg.png) (~0, 1, ~2, 3) |
.svg.png) (1, ~0, ~2, 3) |
.svg.png) (~0, ~2, 1, 3) |
.svg.png) (~2, ~0, 1, 3) |
.svg.png) (1, ~2, ~0, 3) |
.svg.png) (~2, 1, ~0, 3) |
.svg.png) (~0, 1, 3, ~2) |
.svg.png) (1, ~0, 3, ~2) |
.svg.png) (~0, 3, 1, ~2) |
.svg.png) (3, ~0, 1, ~2) |
.svg.png) (1, 3, ~0, ~2) |
.svg.png) (3, 1, ~0, ~2) |
.svg.png) (~0, ~2, 3, 1) |
.svg.png) (~2, ~0, 3, 1) |
.svg.png) (~0, 3, ~2, 1) |
.svg.png) (3, ~0, ~2, 1) |
.svg.png) (~2, 3, ~0, 1) |
.svg.png) (3, ~2, ~0, 1) |
.svg.png) (1, ~2, 3, ~0) |
.svg.png) (~2, 1, 3, ~0) |
.svg.png) (1, 3, ~2, ~0) |
.svg.png) (3, 1, ~2, ~0) |
.svg.png) (~2, 3, 1, ~0) |
.svg.png) (3, ~2, 1, ~0) |
 |
.svg.png) (0, ~1, ~2, 3) |
.svg.png) (~1, 0, ~2, 3) |
.svg.png) (0, ~2, ~1, 3) |
.svg.png) (~2, 0, ~1, 3) |
.svg.png) (~1, ~2, 0, 3) |
.svg.png) (~2, ~1, 0, 3) |
.svg.png) (0, ~1, 3, ~2) |
.svg.png) (~1, 0, 3, ~2) |
.svg.png) (0, 3, ~1, ~2) |
.svg.png) (3, 0, ~1, ~2) |
.svg.png) (~1, 3, 0, ~2) |
.svg.png) (3, ~1, 0, ~2) |
.svg.png) (0, ~2, 3, ~1) |
.svg.png) (~2, 0, 3, ~1) |
.svg.png) (0, 3, ~2, ~1) |
.svg.png) (3, 0, ~2, ~1) |
.svg.png) (~2, 3, 0, ~1) |
.svg.png) (3, ~2, 0, ~1) |
.svg.png) (~1, ~2, 3, 0) |
.svg.png) (~2, ~1, 3, 0) |
.svg.png) (~1, 3, ~2, 0) |
.svg.png) (3, ~1, ~2, 0) |
.svg.png) (~2, 3, ~1, 0) |
.svg.png) (3, ~2, ~1, 0) |
 |
.svg.png) (~0, ~1, ~2, 3) |
.svg.png) (~1, ~0, ~2, 3) |
.svg.png) (~0, ~2, ~1, 3) |
.svg.png) (~2, ~0, ~1, 3) |
.svg.png) (~1, ~2, ~0, 3) |
.svg.png) (~2, ~1, ~0, 3) |
.svg.png) (~0, ~1, 3, ~2) |
.svg.png) (~1, ~0, 3, ~2) |
.svg.png) (~0, 3, ~1, ~2) |
.svg.png) (3, ~0, ~1, ~2) |
.svg.png) (~1, 3, ~0, ~2) |
.svg.png) (3, ~1, ~0, ~2) |
.svg.png) (~0, ~2, 3, ~1) |
.svg.png) (~2, ~0, 3, ~1) |
.svg.png) (~0, 3, ~2, ~1) |
.svg.png) (3, ~0, ~2, ~1) |
.svg.png) (~2, 3, ~0, ~1) |
.svg.png) (3, ~2, ~0, ~1) |
.svg.png) (~1, ~2, 3, ~0) |
.svg.png) (~2, ~1, 3, ~0) |
.svg.png) (~1, 3, ~2, ~0) |
.svg.png) (3, ~1, ~2, ~0) |
.svg.png) (~2, 3, ~1, ~0) |
.svg.png) (3, ~2, ~1, ~0) |
 |
.svg.png) (0, 1, 2, ~3) |
.svg.png) (1, 0, 2, ~3) |
.svg.png) (0, 2, 1, ~3) |
.svg.png) (2, 0, 1, ~3) |
.svg.png) (1, 2, 0, ~3) |
.svg.png) (2, 1, 0, ~3) |
.svg.png) (0, 1, ~3, 2) |
.svg.png) (1, 0, ~3, 2) |
.svg.png) (0, ~3, 1, 2) |
.svg.png) (~3, 0, 1, 2) |
.svg.png) (1, ~3, 0, 2) |
.svg.png) (~3, 1, 0, 2) |
.svg.png) (0, 2, ~3, 1) |
.svg.png) (2, 0, ~3, 1) |
.svg.png) (0, ~3, 2, 1) |
.svg.png) (~3, 0, 2, 1) |
.svg.png) (2, ~3, 0, 1) |
.svg.png) (~3, 2, 0, 1) |
.svg.png) (1, 2, ~3, 0) |
.svg.png) (2, 1, ~3, 0) |
.svg.png) (1, ~3, 2, 0) |
.svg.png) (~3, 1, 2, 0) |
.svg.png) (2, ~3, 1, 0) |
.svg.png) (~3, 2, 1, 0) |
 |
.svg.png) (~0, 1, 2, ~3) |
.svg.png) (1, ~0, 2, ~3) |
.svg.png) (~0, 2, 1, ~3) |
.svg.png) (2, ~0, 1, ~3) |
.svg.png) (1, 2, ~0, ~3) |
.svg.png) (2, 1, ~0, ~3) |
.svg.png) (~0, 1, ~3, 2) |
.svg.png) (1, ~0, ~3, 2) |
.svg.png) (~0, ~3, 1, 2) |
.svg.png) (~3, ~0, 1, 2) |
.svg.png) (1, ~3, ~0, 2) |
.svg.png) (~3, 1, ~0, 2) |
.svg.png) (~0, 2, ~3, 1) |
.svg.png) (2, ~0, ~3, 1) |
.svg.png) (~0, ~3, 2, 1) |
.svg.png) (~3, ~0, 2, 1) |
.svg.png) (2, ~3, ~0, 1) |
.svg.png) (~3, 2, ~0, 1) |
.svg.png) (1, 2, ~3, ~0) |
.svg.png) (2, 1, ~3, ~0) |
.svg.png) (1, ~3, 2, ~0) |
.svg.png) (~3, 1, 2, ~0) |
.svg.png) (2, ~3, 1, ~0) |
.svg.png) (~3, 2, 1, ~0) |
 |
.svg.png) (0, ~1, 2, ~3) |
.svg.png) (~1, 0, 2, ~3) |
.svg.png) (0, 2, ~1, ~3) |
.svg.png) (2, 0, ~1, ~3) |
.svg.png) (~1, 2, 0, ~3) |
.svg.png) (2, ~1, 0, ~3) |
.svg.png) (0, ~1, ~3, 2) |
.svg.png) (~1, 0, ~3, 2) |
.svg.png) (0, ~3, ~1, 2) |
.svg.png) (~3, 0, ~1, 2) |
.svg.png) (~1, ~3, 0, 2) |
.svg.png) (~3, ~1, 0, 2) |
.svg.png) (0, 2, ~3, ~1) |
.svg.png) (2, 0, ~3, ~1) |
.svg.png) (0, ~3, 2, ~1) |
.svg.png) (~3, 0, 2, ~1) |
.svg.png) (2, ~3, 0, ~1) |
.svg.png) (~3, 2, 0, ~1) |
.svg.png) (~1, 2, ~3, 0) |
.svg.png) (2, ~1, ~3, 0) |
.svg.png) (~1, ~3, 2, 0) |
.svg.png) (~3, ~1, 2, 0) |
.svg.png) (2, ~3, ~1, 0) |
.svg.png) (~3, 2, ~1, 0) |
 |
.svg.png) (~0, ~1, 2, ~3) |
.svg.png) (~1, ~0, 2, ~3) |
.svg.png) (~0, 2, ~1, ~3) |
.svg.png) (2, ~0, ~1, ~3) |
.svg.png) (~1, 2, ~0, ~3) |
.svg.png) (2, ~1, ~0, ~3) |
.svg.png) (~0, ~1, ~3, 2) |
.svg.png) (~1, ~0, ~3, 2) |
.svg.png) (~0, ~3, ~1, 2) |
.svg.png) (~3, ~0, ~1, 2) |
.svg.png) (~1, ~3, ~0, 2) |
.svg.png) (~3, ~1, ~0, 2) |
.svg.png) (~0, 2, ~3, ~1) |
.svg.png) (2, ~0, ~3, ~1) |
.svg.png) (~0, ~3, 2, ~1) |
.svg.png) (~3, ~0, 2, ~1) |
.svg.png) (2, ~3, ~0, ~1) |
.svg.png) (~3, 2, ~0, ~1) |
.svg.png) (~1, 2, ~3, ~0) |
.svg.png) (2, ~1, ~3, ~0) |
.svg.png) (~1, ~3, 2, ~0) |
.svg.png) (~3, ~1, 2, ~0) |
.svg.png) (2, ~3, ~1, ~0) |
.svg.png) (~3, 2, ~1, ~0) |
 |
.svg.png) (0, 1, ~2, ~3) |
.svg.png) (1, 0, ~2, ~3) |
.svg.png) (0, ~2, 1, ~3) |
.svg.png) (~2, 0, 1, ~3) |
.svg.png) (1, ~2, 0, ~3) |
.svg.png) (~2, 1, 0, ~3) |
.svg.png) (0, 1, ~3, ~2) |
.svg.png) (1, 0, ~3, ~2) |
.svg.png) (0, ~3, 1, ~2) |
.svg.png) (~3, 0, 1, ~2) |
.svg.png) (1, ~3, 0, ~2) |
.svg.png) (~3, 1, 0, ~2) |
.svg.png) (0, ~2, ~3, 1) |
.svg.png) (~2, 0, ~3, 1) |
.svg.png) (0, ~3, ~2, 1) |
.svg.png) (~3, 0, ~2, 1) |
.svg.png) (~2, ~3, 0, 1) |
.svg.png) (~3, ~2, 0, 1) |
.svg.png) (1, ~2, ~3, 0) |
.svg.png) (~2, 1, ~3, 0) |
.svg.png) (1, ~3, ~2, 0) |
.svg.png) (~3, 1, ~2, 0) |
.svg.png) (~2, ~3, 1, 0) |
.svg.png) (~3, ~2, 1, 0) |
 |
.svg.png) (~0, 1, ~2, ~3) |
.svg.png) (1, ~0, ~2, ~3) |
.svg.png) (~0, ~2, 1, ~3) |
.svg.png) (~2, ~0, 1, ~3) |
.svg.png) (1, ~2, ~0, ~3) |
.svg.png) (~2, 1, ~0, ~3) |
.svg.png) (~0, 1, ~3, ~2) |
.svg.png) (1, ~0, ~3, ~2) |
.svg.png) (~0, ~3, 1, ~2) |
.svg.png) (~3, ~0, 1, ~2) |
.svg.png) (1, ~3, ~0, ~2) |
.svg.png) (~3, 1, ~0, ~2) |
.svg.png) (~0, ~2, ~3, 1) |
.svg.png) (~2, ~0, ~3, 1) |
.svg.png) (~0, ~3, ~2, 1) |
.svg.png) (~3, ~0, ~2, 1) |
.svg.png) (~2, ~3, ~0, 1) |
.svg.png) (~3, ~2, ~0, 1) |
.svg.png) (1, ~2, ~3, ~0) |
.svg.png) (~2, 1, ~3, ~0) |
.svg.png) (1, ~3, ~2, ~0) |
.svg.png) (~3, 1, ~2, ~0) |
.svg.png) (~2, ~3, 1, ~0) |
.svg.png) (~3, ~2, 1, ~0) |
 |
.svg.png) (0, ~1, ~2, ~3) |
.svg.png) (~1, 0, ~2, ~3) |
.svg.png) (0, ~2, ~1, ~3) |
.svg.png) (~2, 0, ~1, ~3) |
.svg.png) (~1, ~2, 0, ~3) |
.svg.png) (~2, ~1, 0, ~3) |
.svg.png) (0, ~1, ~3, ~2) |
.svg.png) (~1, 0, ~3, ~2) |
.svg.png) (0, ~3, ~1, ~2) |
.svg.png) (~3, 0, ~1, ~2) |
.svg.png) (~1, ~3, 0, ~2) |
.svg.png) (~3, ~1, 0, ~2) |
.svg.png) (0, ~2, ~3, ~1) |
.svg.png) (~2, 0, ~3, ~1) |
.svg.png) (0, ~3, ~2, ~1) |
.svg.png) (~3, 0, ~2, ~1) |
.svg.png) (~2, ~3, 0, ~1) |
.svg.png) (~3, ~2, 0, ~1) |
.svg.png) (~1, ~2, ~3, 0) |
.svg.png) (~2, ~1, ~3, 0) |
.svg.png) (~1, ~3, ~2, 0) |
.svg.png) (~3, ~1, ~2, 0) |
.svg.png) (~2, ~3, ~1, 0) |
.svg.png) (~3, ~2, ~1, 0) |
 |
.svg.png) (~0, ~1, ~2, ~3) |
.svg.png) (~1, ~0, ~2, ~3) |
.svg.png) (~0, ~2, ~1, ~3) |
.svg.png) (~2, ~0, ~1, ~3) |
.svg.png) (~1, ~2, ~0, ~3) |
.svg.png) (~2, ~1, ~0, ~3) |
.svg.png) (~0, ~1, ~3, ~2) |
.svg.png) (~1, ~0, ~3, ~2) |
.svg.png) (~0, ~3, ~1, ~2) |
.svg.png) (~3, ~0, ~1, ~2) |
.svg.png) (~1, ~3, ~0, ~2) |
.svg.png) (~3, ~1, ~0, ~2) |
.svg.png) (~0, ~2, ~3, ~1) |
.svg.png) (~2, ~0, ~3, ~1) |
.svg.png) (~0, ~3, ~2, ~1) |
.svg.png) (~3, ~0, ~2, ~1) |
.svg.png) (~2, ~3, ~0, ~1) |
.svg.png) (~3, ~2, ~0, ~1) |
.svg.png) (~1, ~2, ~3, ~0) |
.svg.png) (~2, ~1, ~3, ~0) |
.svg.png) (~1, ~3, ~2, ~0) |
.svg.png) (~3, ~1, ~2, ~0) |
.svg.png) (~2, ~3, ~1, ~0) |
.svg.png) (~3, ~2, ~1, ~0) |
| Python fragment |
|---|
from discretehelpers.boolf.examples import dukeli
from discretehelpers.sig_perm import SigPerm
for n in range(24):
style = 'style="border-left: 3px solid #a2a9b1;"|' if n in [6, 12, 18] else ''
print(f'!{style} [[File:Finite permutation number {n}.svg|30px]]')
for m in range(16):
style = ' style="border-top: 3px solid #a2a9b1;"' if m in [4, 8, 12] else ''
print(f'|-{style}')
print(f'! [[File:Cube vertex number {m}.svg|30px]]')
for n in range(24):
sigperm = SigPerm(valneg_index=m, perm_index=n)
sequence_str = sigperm.sequence_string(4)
mn_str = str(m).zfill(2) + ' ' + str(n).zfill(2)
file_euler = f'[[File:EuDi; dukeli NP {mn_str} {sequence_str}.svg|175px]]'
file_m = f'[[File:Cube vertex number {m}.svg|18px]]'
file_n = f'[[File:Finite permutation number {n}.svg|18px]]'
style = 'style="border-left: 3px solid #a2a9b1;"|' if n in [6, 12, 18] else ''
print(f'|{style} {file_euler}<br><span class="valneg_perm">{file_m}{file_n}</span> <small class="sequence">{sequence_str}</small>')
|