optimization: product of ideals

[Numero7]

many ideals are cartesian products of smaller ideal

this naturally suggests a heuristic

example:
( _ , _ , _ , _ , 14 , 10 , _ , _ , _ , _ , _ , _ , 21 )
( _ , _ , _ , _ , 15 , 9 , _ , _ , _ , _ , _ , _ , 21 )
( _ , _ , _ , _ , 16 , 8 , _ , _ , _ , _ , _ , _ , 21 )
( _ , _ , _ , _ , 17 , 7 , _ , _ , _ , _ , _ , _ , 21 )
( _ , _ , _ , _ , 18 , 6 , _ , _ , _ , _ , _ , _ , 21 )
( _ , _ , _ , _ , 19 , 5 , _ , _ , _ , _ , _ , _ , 21 )
( _ , _ , _ , _ , 20 , 4 , _ , _ , _ , _ , _ , _ , 21 )
( _ , _ , _ , _ , 21 , 3 , _ , _ , _ , _ , _ , _ , 21 )
( _ , _ , _ , _ , 22 , 2 , _ , _ , _ , _ , _ , _ , 21 )
( _ , _ , _ , _ , 23 , 1 , _ , _ , _ , _ , _ , _ , 21 )
( _ , _ , _ , _ , 24 , _ , _ , _ , _ , _ , _ , _ , 21 )