Project

General

Profile

« Previous | Next » 

Revision d2216784

Added by Leszek Koltunski about 1 year ago

CU_323 solver: bugfixes.

View differences:

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