find-eq-classes: split now also uses the updated notion of equality.

tools/find-eqivalence-classes

@@ -557,14 +557,12 @@ def split_equivalence_classes(EQ,
     # reps = EQ._select_representatives(eq)
     reps = eq.random_sample(EQ.num_representatives)
 
-    pairs = [(a, b) for a in reps for b in reps if a.name < b.name]
-
     EQ.make_measurements(((i,) for i in reps), measurements, measure_ports=measure_ports)
-    EQ.make_measurements(pairs, measurements, measure_ports=False)
+    EQ.make_measurements(combination_kernels(reps, repeat=2), measurements, measure_ports=False)
 
     errors = set()
 
-    for i1, i2 in pairs:
+    for i1, i2 in itertools.combinations(reps, 2):
       i1n = i1.name
       i2n = i2.name