== orientation: east = +'\\' direction, north = +'/' direction
   n=1: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = 1, sum c = 1, sum K_H^-1 = 1
   n=2: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = 5/2, sum c = 1/2, sum K_H^-1 = 5/2
   n=3: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = 4, sum c = 4, sum K_H^-1 = 4
   n=4: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = 9/2, sum c = 11/2, sum K_H^-1 = 9/2
   n=5: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = 2, sum c = 16, sum K_H^-1 = 2
   n=6: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = -15/2, sum c = 57/2, sum K_H^-1 = -15/2
   n=7: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = -32, sum c = 64, sum K_H^-1 = -32
   orientation summary: Prop. 9 / Cor. 10 with the sign = K_H^-1 for all n <= 7: True
== orientation: east = +'\\' direction, north = -'/' direction
   n=1: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = 1, sum c = 1, sum K_H^-1 = 1
   n=2: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = 5/2, sum c = 1/2, sum K_H^-1 = 5/2
   n=3: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = 4, sum c = 4, sum K_H^-1 = 4
   n=4: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = 9/2, sum c = 11/2, sum K_H^-1 = 9/2
   n=5: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = 2, sum c = 16, sum K_H^-1 = 2
   n=6: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = -15/2, sum c = 57/2, sum K_H^-1 = -15/2
   n=7: E == K_H^-1 entrywise: True; |c| multiset == |K_H^-1| multiset: True; sum E = -32, sum c = 64, sum K_H^-1 = -32
   orientation summary: Prop. 9 / Cor. 10 with the sign = K_H^-1 for all n <= 7: True
== orientation: east = -'\\' direction, north = +'/' direction
   n=1: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = 1, sum c = 1, sum K_H^-1 = 1; E/K_H^-1 is a gauge: True
   n=2: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = 5/2, sum c = 1/2, sum K_H^-1 = 5/2; E/K_H^-1 is a gauge: True
   n=3: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = 4, sum c = 4, sum K_H^-1 = 4; E/K_H^-1 is a gauge: True
   n=4: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = 9/2, sum c = 11/2, sum K_H^-1 = 9/2; E/K_H^-1 is a gauge: True
   n=5: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = 2, sum c = 16, sum K_H^-1 = 2; E/K_H^-1 is a gauge: True
   n=6: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = -15/2, sum c = 57/2, sum K_H^-1 = -15/2; E/K_H^-1 is a gauge: True
   n=7: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = -32, sum c = 64, sum K_H^-1 = -32; E/K_H^-1 is a gauge: True
   orientation summary: Prop. 9 / Cor. 10 with the sign = K_H^-1 for all n <= 7: False
== orientation: east = -'\\' direction, north = -'/' direction
   n=1: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = 1, sum c = 1, sum K_H^-1 = 1; E/K_H^-1 is a gauge: True
   n=2: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = 5/2, sum c = 1/2, sum K_H^-1 = 5/2; E/K_H^-1 is a gauge: True
   n=3: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = 4, sum c = 4, sum K_H^-1 = 4; E/K_H^-1 is a gauge: True
   n=4: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = 9/2, sum c = 11/2, sum K_H^-1 = 9/2; E/K_H^-1 is a gauge: True
   n=5: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = 2, sum c = 16, sum K_H^-1 = 2; E/K_H^-1 is a gauge: True
   n=6: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = -15/2, sum c = 57/2, sum K_H^-1 = -15/2; E/K_H^-1 is a gauge: True
   n=7: E == K_H^-1 entrywise: False; |c| multiset == |K_H^-1| multiset: True; sum E = -32, sum c = 64, sum K_H^-1 = -32; E/K_H^-1 is a gauge: True
   orientation summary: Prop. 9 / Cor. 10 with the sign = K_H^-1 for all n <= 7: False
(0.7 s)
