Documentation

LeanPool.MacMahon.Data

Geometric tables for the thirty cube varieties #

source
def MacMahon.cornerAt :
Label → Label → Slot → Corner

The oriented corner exposed at a position of a target variety.

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def MacMahon.cornerList :
    Label → Label → List Corner

    The eight oriented corners of each valid variety; diagonal entries are empty.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def MacMahon.faceColours :
      Label → Label → Fin 6 → Fin 7

      Face colours of the tableau representatives, with zero placeholders on the diagonal.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def MacMahon.exposedFaces :
        Slot → Fin 3 → Fin 6

        The three outward coordinate faces at each assembly position.

        Equations
        Instances For
          source
          def MacMahon.rotations :
          Fin 24 → Fin 6 → Fin 6

          The twenty-four proper rotations as permutations of the six coordinate face directions.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def MacMahon.partitionCorner :
            Fin 10 → Corner

            A distinguished corner used in the covering obstruction for a triple partition.

            Equations
            Instances For