625 |
625 |
}
|
626 |
626 |
}
|
627 |
627 |
|
628 |
|
///////////////////////////////////////////////////////////////////////////////////////////////////
|
629 |
|
|
630 |
|
private void printQuats(int[] quats)
|
631 |
|
{
|
632 |
|
StringBuilder sb = new StringBuilder();
|
633 |
|
for(int q : quats )
|
634 |
|
{
|
635 |
|
sb.append(' ');
|
636 |
|
sb.append(q);
|
637 |
|
}
|
638 |
|
android.util.Log.e("D", "quats: "+sb);
|
639 |
|
}
|
640 |
|
|
641 |
628 |
///////////////////////////////////////////////////////////////////////////////////////////////////
|
642 |
629 |
|
643 |
630 |
public void test()
|
644 |
631 |
{
|
645 |
|
int[] p0 = {0,5,6,10, 2,3,11,9, 1,4,7,8};
|
646 |
|
int[] q0 = TBDino6.getQuatsFromPerm(p0);
|
647 |
|
int index0 = getIndex(q0);
|
648 |
|
android.util.Log.e("D", "index0: "+index0);
|
649 |
|
|
650 |
|
int[] p1 = {0,3,11,6, 7,8,10,2, 1,4,9,5};
|
651 |
|
int[] q1 = TBDino6.getQuatsFromPerm(p1);
|
652 |
|
int index1 = getIndex(q1);
|
653 |
|
android.util.Log.e("D", "index1: "+index1);
|
654 |
|
|
655 |
|
int[] p2 = {0,3,2,1, 7,6,5,4, 8,11,10,9};
|
656 |
|
int[] q2 = TBDino6.getQuatsFromPerm(p2);
|
657 |
|
int index2 = getIndex(q2);
|
658 |
|
android.util.Log.e("D", "index2: "+index2);
|
659 |
|
}
|
660 |
|
|
661 |
|
///////////////////////////////////////////////////////////////////////////////////////////////////
|
662 |
|
|
663 |
|
private void printPerm(int index)
|
664 |
|
{
|
665 |
|
int[] perm11 = new int[11];
|
666 |
|
TablebaseHelpers.getEvenPermutationFromNum(perm11,index);
|
667 |
|
int[] perm = new int[12];
|
668 |
|
for(int i=1; i<12; i++) perm[i] = perm11[i-1]+1;
|
|
632 |
int[] q1= {0,0,0,0,1,1,1,1, 0,0,0,0,1,1,1,1, 0,0};
|
|
633 |
int index = getIndex(q1);
|
|
634 |
int[] q2= getQuats(index);
|
669 |
635 |
|
670 |
|
StringBuilder sb = new StringBuilder();
|
671 |
|
sb.append(index);
|
672 |
|
sb.append(" : ");
|
673 |
|
|
674 |
|
for(int i=0; i<12; i++)
|
675 |
|
{
|
676 |
|
sb.append(' ');
|
677 |
|
sb.append(perm[i]);
|
678 |
|
}
|
679 |
|
android.util.Log.e("D", "PERM: "+sb);
|
680 |
|
}
|
681 |
|
|
682 |
|
///////////////////////////////////////////////////////////////////////////////////////////////////
|
683 |
|
|
684 |
|
private void printQuat(int index)
|
685 |
|
{
|
686 |
|
int[] perm11 = new int[11];
|
687 |
|
TablebaseHelpers.getEvenPermutationFromNum(perm11,index);
|
688 |
|
int[] perm = new int[12];
|
689 |
|
for(int i=1; i<12; i++) perm[i] = perm11[i-1]+1;
|
690 |
|
int[] quats = TBDino6.getQuatsFromPerm(perm);
|
691 |
|
|
692 |
|
StringBuilder sb = new StringBuilder();
|
693 |
|
sb.append(index);
|
694 |
|
sb.append(" : ");
|
695 |
|
|
696 |
|
for(int i=0; i<12; i++)
|
697 |
|
{
|
698 |
|
sb.append(' ');
|
699 |
|
sb.append(quats[i]);
|
700 |
|
}
|
701 |
|
android.util.Log.e("D", "QUATS: "+sb);
|
|
636 |
TablebaseHelpers.displayTable(q1, "QUATS1");
|
|
637 |
TablebaseHelpers.displayTable(q2, "QUATS2");
|
|
638 |
android.util.Log.e("D", "index="+index);
|
702 |
639 |
}
|
703 |
640 |
}
|
CU_323 solver: bugfixes.