commit e43fd3063a2e3d82837438bbe9960255acf3f8af
Author: Leszek Koltunski <leszek@koltunski.pl>
Date:   Tue Feb 28 01:09:05 2023 +0100

    Pyraminx solver: tablebase working now (tipless, tips to be added in the SolverPyraminx class)

diff --git a/src/main/java/org/distorted/solvers/SolverPyraminx.java b/src/main/java/org/distorted/solvers/SolverPyraminx.java
index c4812596..03e5dd7e 100644
--- a/src/main/java/org/distorted/solvers/SolverPyraminx.java
+++ b/src/main/java/org/distorted/solvers/SolverPyraminx.java
@@ -347,16 +347,10 @@ public class SolverPyraminx extends SolverTablebase
 
     int result4 = checkAgreement(faces1,faces2);
     if( result4<0 ) return result4;
-/*
-for(int i=0; i<4; i++)
-  android.util.Log.e("D", "face "+i+" : "+faces1[i]);
-*/
+
     for(int i=0; i<4; i++)
       {
       corner_twist[i] = computePieceTwist(i,corners[i],faces1);
-
-      //android.util.Log.e("D", "corner twist "+i+" : "+corner_twist[i]);
-
       if( corner_twist[i]<0 ) return ERROR_CORNERS_CANNOT;
       }
 
@@ -365,10 +359,6 @@ for(int i=0; i<4; i++)
       vertex_twist[i] = computePieceTwist(i,vertices[i],faces1);
       if( vertex_twist[i]<0 ) return ERROR_VERTICES_CANNOT;
       }
-/*
-for(int i=0; i<6; i++)
-  android.util.Log.e("D", "edge "+i+" : "+edges[i][0]+" "+edges[i][1]);
-*/
 
     int[] quats = computeEdgeQuats(edges);
     int[] permutation = new int[6];
@@ -377,18 +367,7 @@ for(int i=0; i<6; i++)
     if( !even ) return ERROR_TWO_EDGES;
     int[] edge_twist = new int[6];
     TablebasesPyraminx.getEdgeTwist(edge_twist,quats,0);
-/*
-for(int i=0; i<6; i++)
-  android.util.Log.e("D", "q edge "+i+" : "+quats[i]);
-
-for(int i=0; i<6; i++)
-  android.util.Log.e("D", "p edge "+i+" : "+permutation[i]);
-*/
-
-/*
-for(int i=0; i<6; i++)
-  android.util.Log.e("D", "edge twist "+i+" : "+edge_twist[i]);
-*/
+
     int totalEdgeTwist=0;
     for(int i=0; i<6; i++) totalEdgeTwist += edge_twist[i];
     if( (totalEdgeTwist%2)!=0 ) return ERROR_EDGE_TWISTED;
@@ -397,8 +376,6 @@ for(int i=0; i<6; i++)
     int edgeTwist = edge_twist[0]+ 2*(edge_twist[1]+ 2*(edge_twist[2]+ 2*(edge_twist[3]+ 2*edge_twist[4])));
     int perm_num = TablebaseHelpers.computeEvenPermutationNum(permutation);
 
-//android.util.Log.e("D", "vertexTwist: : "+vertexTwist+" edgeTwist: "+edgeTwist+" perm_num: "+perm_num );
-
     return vertexTwist + 81*(edgeTwist + 32*perm_num);
     }