p magic: True ; commutes with A: True ; commutes with R: True ; non-commutative: 0.507
a,b,c,d recovered from p: True
self-adjoint partial isometries: True ; a^2 = d^2: True ; b^2 = c^2 = 1-a^2: True ; max ||[x^2, p_ij]|| = 3.925231146709438e-17
w: entries partial isometries: True ; P', Q' magic: True ; A P' = Q' A: True ; P' u = u (u constant): True
max partial-isometry defect of w_{alpha,beta}, admissible words of length <= 6: 9.422515830283964e-16
canonical p: max defect by level 1..3: [0.0, 0.33, 0.33] (fails at level 2, Theorem 2)
Delta(a) = a(x)a + b(x)c : True ; Delta(b) = a(x)b + b(x)d : True
DONE s5
