## Plain Format Finite Biquandle Switch Lists

The lists below are presented in a plain text format as two matrices one for the up action (U) and one for the down action (D). Each matrix is specified row by row. All of the lists are presented as biracks, that is with both U and D specified; for the quandles and racks, the D action is the identity.

The up and down actions contained in the lists on this page correspond to the maps sa and sa. The lists are defined up to isomorphism: permutation symmetries (conjugation), inverse (interchange of classical crossing sign), interchange of the up and down action (orientation reversal), and combinations thereof, as described in reference  on the finite biquandles page.

The essential welded pairs above may be used by the braid programme to calculate invariants of welded knots. Using this approach a list of distinct non-trivial welded knots has been produced.

The lists were calculated using the programmes:

• nquandle
• nswitch
• biquandle-search
• dominant-pairs
described on the finite biquandles page.

### Steps to calculate the above lists

The following steps were used to calculate the above lists for the cases k=2,3,4,

1. Calculate a list of all distinct biracks.

biquandle-search -n=kbS
mv biquandle.out birack-k.txt

2. Determine the set of biquandles from the list of distinct biracks.

biquandle-search -n=kRXS birack-k.txt
mv biquandle.out biquandle-k.txt

3. Remove the biquandles from the list of distinct biracks. The biquandle search that created biquandle-k.txt only added a condition to filter out biracks from birack-k.txt, so is a strict subset of that set of biracks, therefore we do not need to consider permuataions when removing them.

biquandle-search -n=kbRXexS birack-k.txt biquandle-k.txt
mv biquandle.out birack-k-not-biquandle.txt

4. Determine the set of racks from the list of biracks.

biquandle-search -n=krS birack-k.txt
mv biquandle.out rack-k.txt

5. Remove the racks from the list of biracks that are not biquandles.

biquandle-search -n=kbRXeS birack-k-not-biquandle.txt rack-k.txt
mv biquandle.out birack-k-not-biquandle-not-rack-k.txt

6. Determine the quandles from the list of distinct biracks.

biquandle-search -n=kqS birack-k.txt
mv biquandle.out quandle-k.txt

7. Remove the quandles from the list of biquandles.

biquandle-search -n=kRXeS biquandle-k.txt quandle-k.txt
mv biquandle.out biquandle-k-not-quandle.txt

8. Remove the quandles from the list of racks.

biquandle-search -n=krXeS rack-k.txt quandle-k.txt
mv biquandle.out rack-k-not-quandle.txt

9. Calculate the quandle-related biracks from the list of distinct biracks.

biquandle-search -n=kbRQDS birack-k.txt
mv biquandle.out quandle-related-birack-k.txt

10. Remove the quandles from the quandle-related biracks.

biquandle-search -n=kbRXeDS quandle-related-birack-k.txt quandle-k.txt
mv biquandle.out quandle-related-birack-k-not-quandle.txt

11. Calculate the quandle-related biquandles that are not themselves quandles.

biquandle-search -n=kXRDS quandle-related-birack-k-not-quandle.txt
mv biquandle.out quandle-related-biquandle-k-not-quandle.txt

12. calculate virtual, weld and essential welded pairs from the biquandles and quandles. The file dominant-input-k.txt is a combination of the files biquandle-k-not-quandle.txt and quandle-k.txt

dominant-pairs -n=k dominant-input-k.txt

The following steps were used to calculate the above lists for the cases k=5,6

1. Generate a list of distinct quandles of size k.

nquandle -n=kT
mv nquandle.out quandle-k.txt

2. Produce quandle related biracks from seed quandle patterns. Note: nswitch does not produce a distinct list.

nswitch -n=kR quandle-k.txt
mv nswitch.out quandle-related-birack-k-no-symmetry-check.txt

3. Reduce the quandle-related-biracks to a distinct list.

biquandle-search -n=kbRS quandle-related-birack-k-no-symmetry-check.txt
mv biquandle.out quandle-related-birack-k.txt

4. Determine the set of quandle-related biquandles from the list of distinct biracks.

biquandle-search -n=kRXS quandle-related-birack-k.txt
mv biquandle.out quandle-related-biquandle-k.txt

5. Remove the quandle-related biquandles from the list of distinct quandle-related biracks. The biquandle search that created quandle-related-biquandle-k.txt only added a condition to filter out biracks from quandle-related-birack-k.txt, so is a strict subset of that set of biracks, therefore we do not need to consider permuataions when removing them.

biquandle-search -n=kbRXexS quandle-related-birack-k.txt quandle-related-biquandle-k.txt
mv biquandle.out quandle-related-birack-k-not-biquandle.txt

6. Determine the set of racks from the list of quandle-related biracks that are not biquandles. Since the identity appears in quandle-k.txt, quandle-related-birack-k.txt includes all the racks.

biquandle-search -n=kXrS quandle-related-birack-k.txt
mv biquandle.out rack-k.txt

7. Remove the racks from the list of quandle-related biracks that are not biquandles.

biquandle-search -n=kbRXeS quandle-related-birack-k-not-biquandle.txt rack-k.txt
mv biquandle.out quandle-related-birack-k-not-biquandle-not-rack.txt

8. Remove the quandles from the list of quandle-related-biquandles.

biquandle-search -n=kRXeS quandle-related-biquandle-k.txt quandle-k.txt
mv biquandle.out quandle-related-biquandle-k-not-quandle.txt

9. Remove the quandles from the list of racks.

biquandle-search -n=krXeS rack-k.txt quandle-k.txt
mv biquandle.out rack-k-not-quandle.txt

10. Remove the quandles from the quandle-related biracks (nswitch will have found the quandles from the seed U patterns).

biquandle-search -n=kbRXeS quandle-related-birack-k.txt quandle-k.txt
mv biquandle.out quandle-related-birack-k-not-quandle.txt

11. calculate virtual, weld and essential welded pairs from the biquandles and quandles. The file dominant-input-k.txt is a combination of the files quandle-related-biquandle-k-not-quandle.txt and quandle-k.txt

dominant-pairs -n=k dominant-input-k.txt