r2_trace_exact.py -- verification run 2, KOU-15.75
[0] trace algebra vs explicit 2x2 matrices: 560 comparisons, failures 0
[1] line (0,t,t), convention K, computed u_1..u_3 in 0.0s; degrees of coordinates:
    u_1: [0, -1, 1, 1]
    u_2: [10, 10, 11, 11]
    u_3: [68, 68, 69, 69]
    tr u_1 = kappa = [-2, 0, 2]  (expect 2t^2-2 = [-2,0,2])
  g | coords of u_3 + u_2 (K): divisible [True, True, True, True] quotient integral True -> OK
  g | tr u_2 (K): divisible [True] quotient integral True -> OK
  control: g | coords of u_3 - u_2 must FAIL: divisible [True, False, False, False] quotient integral True -> OK
[2] line (0,t,t), convention O, computed u'_1..u'_4 in 0.2s; degrees:
    u'_1: [2, 2, 1, 1]
    u'_2: [14, 14, 13, 13]
    u'_3: [114, 114, 113, 113]
    u'_4: [914, 914, 913, 913]
  g | coords of u'_4 - u'_3 (O): divisible [True, True, True, True] quotient integral True -> OK
  g | tr u'_3 (O): divisible [True] quotient integral True -> OK
  g | tr u'_2 (O): divisible [True] quotient integral True -> OK
  control: g | u'_2 - (+1) u'_1 must FAIL: divisible [False, False, False, True] quotient integral True -> OK
  control: g | u'_2 - (-1) u'_1 must FAIL: divisible [False, False, True, False] quotient integral True -> OK
  control: g | u'_3 - (+1) u'_1 must FAIL: divisible [False, False, True, False] quotient integral True -> OK
  control: g | u'_3 - (-1) u'_1 must FAIL: divisible [False, False, False, True] quotient integral True -> OK
  control: g | u'_3 - (+1) u'_2 must FAIL: divisible [False, True, False, False] quotient integral True -> OK
  control: g | u'_3 - (-1) u'_2 must FAIL: divisible [True, False, True, True] quotient integral True -> OK
[3] line (1,t,t), convention K, computed u_1..u_4 in 0.0s; degrees:
    u_1: [-1, 0, -1, 1]
    u_2: [0, 8, -1, 9]
    u_3: [50, 52, 51, 53]
    u_4: [312, 314, 313, 315]
    tr u_1 = kappa = [-1, 0, 1]  (expect t^2-1 = [-1,0,1])
  h | coords of u_4 - u_2 (K): divisible [True, True, True, True] quotient integral True -> OK
  h | tr u_2 - 1 (K): divisible [True] quotient integral True -> OK
  control: h | u_4 + u_2 must FAIL: divisible [False, False, True, False] quotient integral True -> OK
  control: h | u_3 - u_2 must FAIL: divisible [False, False, False, False] quotient integral True -> OK
  h^- | coords of u_4 - u_2 (K): divisible [True, True, True, True] quotient integral True -> OK
  h^- | tr u_2 - 1 (K): divisible [True] quotient integral True -> OK
  control: h^- | u_4 + u_2 must FAIL: divisible [False, False, True, False] quotient integral True -> OK
  control: h^- | u_3 - u_2 must FAIL: divisible [False, False, False, False] quotient integral True -> OK
[4] line (1,t,t), convention O, u'_1..u'_4 in 0.1s: relations u'_i = +-u'_j (i<j<=4) modulo h and h^-:
    modulo h: relations found [] (expect none)
    modulo h^-: relations found [] (expect none)
TOTAL failures: 0   (time 0.4s)
