Plain Format Finite Biquandle 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 essential 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:

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=kb
    mv biquandle.out birack-k.txt

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

    biquandle-search -n=kR 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=kbRXex 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=kr 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=kbRXe 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=kq birack-k.txt
    mv biquandle.out quandle-k.txt

  7. Remove the quandles from the list of biquandles.

    biquandle-search -n=kRXe 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=krXe 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=kbRQ birack-k.txt
    mv biquandle.out quandle-related-birack-k.txt

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

    biquandle-search -n=kbRXe 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=kXR quandle-related-birack-k-not-quandle.txt
    mv biquandle.out quandle-related-biquandle-k-not-quandle.txt

  12. calculate virtual, weld and essential 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=kbR 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=kRX 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=kbRXex 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=kXr 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=kbRXe 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=kRXe 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=krXe 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=kbRXe quandle-related-birack-k.txt quandle-k.txt
    mv biquandle.out quandle-related-birack-k-not-quandle.txt

  11. calculate virtual, weld and essential 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

back to finite biquandles back to maths homepage