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.SQ3;

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

import android.content.res.Resources;

import org.distorted.library.type.Static3D;

import org.distorted.objectlib.R;

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

public class TablebasesSkewbDiamond extends TablebasesAbstract

{

  public TablebasesSkewbDiamond()

    {

    super();

    }

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

  public TablebasesSkewbDiamond(Resources res)

    {

    super(res, R.raw.pyra_3_tablebase);

    }

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

  int[][] getBasicAngles()

    {

    int[] tmp = {3,3};

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

    }

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

  Static3D[] getRotationAxis()

    {

    return new Static3D[]

         {

           new Static3D( SQ6/3, SQ3/3,     0),

           new Static3D(-SQ6/3, SQ3/3,     0),

           new Static3D(     0,-SQ3/3,-SQ6/3),

           new Static3D(     0,-SQ3/3, SQ6/3)

         };

    }

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

  float[][] getPosition()

    {

    return new float[][]

         {

             { 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},

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

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

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

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

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

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

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

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

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

         };

    }

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

  float[][] getCuts()

    {

    float[] cut = { 0.0f };

    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 138240;  // see https://www.jaapsch.net/puzzles/diamond.htm

    }

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

  private int computeCenterQuat(int originalLocation, int newLocation)

    {

    return 0;

    }

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

  private int computeCornerQuat(int originalLocation, int newLocation, int twist)

    {

    return 0;

    }

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

  private int[] computeCenterPerm(int q0, int q1, int q2, int q3)

    {

    return null;

    }

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

  private int computeCornerPerm(int[] output, int[] quats)

    {

    return 0;

    }

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

  public int[] getQuats(int index)

    {

    int centers_perm_num = (index%12);

    index /= 12;

    int totalTwist = (index%128);

    int corners_perm_num = (index/128);

    int[] centers_perm = new int[4];

    TablebaseHelpers.getEvenPermutationFromNum(centers_perm,centers_perm_num);

    int[] corners_perm = new int[6];

    TablebaseHelpers.getEvenPermutationFromNum(corners_perm,corners_perm_num);

    int[] quats = new int[14];

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

      {

      int twist = (totalTwist%2);

      totalTwist /= 2;

      quats[i] = computeCornerQuat(i,corners_perm[i],twist);

      }

    quats[ 6] = computeCenterQuat(0,centers_perm[0]);

    quats[ 8] = computeCenterQuat(1,centers_perm[1]);

    quats[11] = computeCenterQuat(2,centers_perm[2]);

    quats[13] = computeCenterQuat(3,centers_perm[3]);

    return quats;

    }

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

  public int getIndex(int[] quats)

    {

    int[] center_perm = computeCenterPerm(quats[6],quats[8],quats[11],quats[13]);

    int centers_perm_num = TablebaseHelpers.computeEvenPermutationNum(center_perm);

    int[] corners_perm = new int[6];

    int totalTwist = computeCornerPerm(corners_perm,quats);

    int corners_perm_num = TablebaseHelpers.computeEvenPermutationNum(corners_perm);

    return centers_perm_num + 12*(totalTwist + 128*corners_perm_num);

    }

}