One Color Theory

----------------

Theory makeOneColorTheory(cell) {

  var color = cell.averageColor();

  var theory = postAssumption("Color of every pixel in $cell is $color.", +cell, +color,

    validity := "unknown");

  testOneColorTheory(cell, theory);

  return theory;

}

void noteCellColor(cell, theory) {

  var desc = "Pixel check at " + cell;

  if theory.hasExampleNamed(desc) return;

  var strength = cell.area/theory.cell.area; // how much do we have to say about the cell in the theory?

  var p = derivationToProbability(derivation);

  addExampleToTheory(theory, desc, +p, +strength);

}

void testOneColorTheory(cell, theory) {  

  noteCellColor(cell, theory);

  at shouldSplitCell(cell) do:

    for split, splitProbability in usefulSplits(cell):

      at splitProbability do:

        for cell in split:

          testOneColorTheory(cell, theory/*.branch(description := "recursion to " + cell)*/);

    /* I think the following is actually BS:

    for dimension in x/y:          

      var split = cell.equalSplit(dimension);

      var op = outlierProbabilities(split.colors());

      for idx, p in op:

        at p do:

          var sub = likelyNonOutlyingContingent(split, op);

          testOneColorTheory(sub, theory);*/

}