Revision d2216784
Added by Leszek Koltunski about 1 year ago
src/main/java/org/distorted/objectlib/tablebases/TablebasesAbstract.java | ||
---|---|---|
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 |
} |
Also available in: Unified diff
CU_323 solver: bugfixes.