TwistyPuzzleLib

///////////////////////////////////////////////////////////////////////////////////////////////////

// Copyright 2023 Leszek Koltunski                                                               //

//                                                                                               //

// This file is part of Magic Cube.                                                              //

//                                                                                               //

// Magic Cube is proprietary software licensed under an EULA which you should have received      //

// along with the code. If not, check https://distorted.org/magic/License-Magic-Cube.html        //

///////////////////////////////////////////////////////////////////////////////////////////////////

package org.distorted.objectlib.tablebases;

import static org.distorted.objectlib.main.TwistyObject.SQ2;

import static org.distorted.objectlib.main.TwistyObject.SQ6;

import android.content.res.Resources;

import org.distorted.library.type.Static3D;

import org.distorted.objectlib.objects.TwistyPyraminx;

///////////////////////////////////////////////////////////////////////////////////////////////////

public class TablebasesPyraminx extends TablebasesAbstract

{

  public static final int[][] EDGE_QUATS = new int[][]

      {

          { 0,10},  // even-odd quat (i.e. even-odd twist of the relevant edge piece)

          { 1, 7},

          { 4, 8},

          { 2, 6},

          { 3, 5},

          { 9,11}

      };

///////////////////////////////////////////////////////////////////////////////////////////////////

  public TablebasesPyraminx()

    {

    super();

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  public TablebasesPyraminx(Resources res)

    {

    super(res,org.distorted.objectlib.R.raw.pduo_2_tablebase);

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  int[][] getBasicAngles()

    {

    int[] tmp = {3,3};

    return new int[][] { tmp,tmp,tmp,tmp };

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  Static3D[] getRotationAxis()

    {

    return TwistyPyraminx.ROT_AXIS;

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  float[][] getPosition()

    {

    return new float[][]

         {

             { 0.0f,-SQ2/4, 0.5f},

             { 0.0f,-SQ2/4,-0.5f},

             {-0.5f, SQ2/4, 0.0f},

             { 0.5f, SQ2/4, 0.0f},

             { 0.0f,-SQ2/2, 0.0f},

             { 0.0f,-SQ2/2, 0.0f},

             { 0.0f,-SQ2/2, 0.0f},

             { 0.0f,-SQ2/2, 0.0f},

             { 0.0f,-SQ2/2, 0.0f},

             { 0.0f,-SQ2/2, 0.0f},

             /*

             { 0.5f,  0.0f,-0.5f},

             { 0.5f,  0.0f, 0.5f},

             {-0.5f,  0.0f,-0.5f},

             {-0.5f,  0.0f, 0.5f},

             { 0.0f, SQ2/2, 0.0f},

              */

         };

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  float[][] getCuts()

    {

    float[] cut = { 0.25f*(SQ6/3) };

    return new float[][] { cut,cut,cut,cut };

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  boolean[][] getRotatable()

    {

    boolean[] tmp = new boolean[] {false,true};

    return new boolean[][] { tmp,tmp,tmp,tmp };

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

// specifically for the tablebase

///////////////////////////////////////////////////////////////////////////////////////////////////

  int getSize()

    {

    return 933120;  // see https://www.jaapsch.net/puzzles/pyraminx.htm

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  public static void getEdgePermutation(int[] output, int[] quats, int index)

    {

    for(int i=0; i<6; i++ )

      {

      int quat = quats[i+index];

      for(int j=0; j<6; j++)

        {

        int[] edge = EDGE_QUATS[j];

        if( quat==edge[0] || quat==edge[1] ) { output[i]=j; break; }

        }

      }

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  public static void getEdgeTwist(int[] output, int[] quats, int index)

    {

    for(int i=0; i<6; i++)

      {

      int quat = quats[i+index];

      for(int j=0; j<6; j++)

        {

        int[] edge = EDGE_QUATS[j];

        if( quat==edge[0] ) { output[i]=0; break; }

        if( quat==edge[1] ) { output[i]=1; break; }

        }

      }

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  private void getEdgeQuats(int twist, int[] perm, int[] output)

    {

    for(int i=0; i<6; i++)

      {

      int p = perm[i];

      int t = twist%2;

      twist/=2;

      output[i+4] = EDGE_QUATS[p][t];

      }

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  private int getVertexTwist(int[] quats)

    {

    int twist = 0;

    if( quats[3]==5 ) twist += 1;

    if( quats[3]==6 ) twist += 2;

    twist *= 3;

    if( quats[2]==7 ) twist += 1;

    if( quats[2]==8 ) twist += 2;

    twist *= 3;

    if( quats[1]==1 ) twist += 1;

    if( quats[1]==2 ) twist += 2;

    twist *= 3;

    if( quats[0]==3 ) twist += 1;

    if( quats[0]==4 ) twist += 2;

    return twist;

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  private void getVertexQuats(int twist, int[] output)

    {

    switch(twist%3)

      {

      case 0: output[0]=0; break;

      case 1: output[0]=3; break;

      case 2: output[0]=4; break;

      }

    twist /= 3;

    switch(twist%3)

      {

      case 0: output[1]=0; break;

      case 1: output[1]=1; break;

      case 2: output[1]=2; break;

      }

    twist /= 3;

    switch(twist%3)

      {

      case 0: output[2]=0; break;

      case 1: output[2]=7; break;

      case 2: output[2]=8; break;

      }

    twist /= 3;

    switch(twist%3)

      {

      case 0: output[3]=0; break;

      case 1: output[3]=5; break;

      case 2: output[3]=6; break;

      }

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  int[] getQuats(int index)

    {

    int vertexTwist = (index%81);

    index /= 81;

    int edgeTwist = (index%32);

    int perm_num = index/32;

    int[] quats = new int[10];

    getVertexQuats(vertexTwist,quats);

    int[] permutation = new int[6];

    TablebaseHelpers.getPermutationFromNum(permutation,6,perm_num);

    getEdgeQuats(edgeTwist,permutation,quats);

    return quats;

    }

///////////////////////////////////////////////////////////////////////////////////////////////////

  int getIndex(int[] quats)

    {

    int vertexTwist = getVertexTwist(quats);

    int[] permutation = new int[6];

    getEdgePermutation(permutation,quats,4);

    int[] twist = new int[6];

    getEdgeTwist(twist,quats,4);

    int edgeTwist = twist[0]+ 2*(twist[1]+ 2*(twist[2]+ 2*(twist[3]+ 2*twist[4])));

    int perm_num = TablebaseHelpers.computeEvenPermutationNum(permutation);

int ret = vertexTwist + 81*(edgeTwist + 32*perm_num);

if( ret<0 || ret>=933120 )

  {

  android.util.Log.e("D", "vertexTwist="+vertexTwist+" edgeTwist="+edgeTwist+" perm_num="+perm_num);

  android.util.Log.e("D", "perm: "+permutation[0]+" "+permutation[1]+" "+permutation[2]+" "+permutation[3]+" "+permutation[4]+" "+permutation[5]);

  android.util.Log.e("D", "quat: "+quats[4]+" "+quats[5]+" "+quats[6]+" "+quats[7]+" "+quats[8]+" "+quats[9]);

  }

    return vertexTwist + 81*(edgeTwist + 32*perm_num);

    }

}