== Part A: normal forms rebuilt from (v, u)
[OK] A So k=1 {} c=['1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A So k=1 {} c=['0']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=1 {'eps': 1} c=['0']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=1 {'eps': 1} c=['3/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=1 {'eps': -1} c=['5/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=1 {'eps': -1} c=['-5/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=1 {'eps': -1} c=['6/5']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=1 {'eps': -1} c=['0']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 2, 'eps': 1} c=['1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 2, 'eps': 1} c=['-3/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 3, 'eps': 1} c=['1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 3, 'eps': 1} c=['-3/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 4, 'eps': 1} c=['1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 4, 'eps': 1} c=['-3/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 2, 'eps': -1} c=['1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 2, 'eps': -1} c=['-3/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 3, 'eps': -1} c=['1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 3, 'eps': -1} c=['-3/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 4, 'eps': -1} c=['1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=1 {'s': 4, 'eps': -1} c=['-3/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=1 {'d': 3, 'eps': 1} c=['1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=1 {'d': 3, 'eps': 1} c=['-2/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=1 {'d': 4, 'eps': 1} c=['1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=1 {'d': 4, 'eps': 1} c=['-2/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=1 {'d': 4, 'eps': -1} c=['1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=1 {'d': 4, 'eps': -1} c=['-2/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=1 {'d': 5, 'eps': 1} c=['1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=1 {'d': 5, 'eps': 1} c=['-2/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A So k=2 {} c=['1', '1/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A So k=2 {} c=['0', '2/5']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=2 {'eps': 1} c=['0', '1/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=2 {'eps': 1} c=['3/2', '1/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=2 {'eps': -1} c=['5/2', '1/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=2 {'eps': -1} c=['-5/2', '1/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=2 {'eps': -1} c=['6/5', '1/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=2 {'eps': -1} c=['0', '1/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 4, 'eps': 1} c=['1', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 4, 'eps': 1} c=['-3/2', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 5, 'eps': 1} c=['1', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 5, 'eps': 1} c=['-3/2', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 6, 'eps': 1} c=['1', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 6, 'eps': 1} c=['-3/2', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 4, 'eps': -1} c=['1', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 4, 'eps': -1} c=['-3/2', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 5, 'eps': -1} c=['1', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 5, 'eps': -1} c=['-3/2', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 6, 'eps': -1} c=['1', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=2 {'s': 6, 'eps': -1} c=['-3/2', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=2 {'d': 5, 'eps': 1} c=['1', '1/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=2 {'d': 5, 'eps': 1} c=['-2/3', '1/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=2 {'d': 6, 'eps': 1} c=['1', '1/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=2 {'d': 6, 'eps': 1} c=['-2/3', '1/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=2 {'d': 6, 'eps': -1} c=['1', '1/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=2 {'d': 6, 'eps': -1} c=['-2/3', '1/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=2 {'d': 7, 'eps': 1} c=['1', '1/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=2 {'d': 7, 'eps': 1} c=['-2/3', '1/2']: polynomial, L(0)=J0, tr, det, torsion
[OK] A So k=3 {} c=['1', '1/3', '2/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A So k=3 {} c=['0', '2/5', '-3/5']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=3 {'eps': 1} c=['0', '1/7', '2/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=3 {'eps': 1} c=['3/2', '1/7', '2/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=3 {'eps': -1} c=['5/2', '1/7', '2/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=3 {'eps': -1} c=['-5/2', '1/7', '2/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=3 {'eps': -1} c=['6/5', '1/7', '2/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=3 {'eps': -1} c=['0', '1/7', '2/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 6, 'eps': 1} c=['1', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 6, 'eps': 1} c=['-3/2', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 7, 'eps': 1} c=['1', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 7, 'eps': 1} c=['-3/2', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 8, 'eps': 1} c=['1', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 8, 'eps': 1} c=['-3/2', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 6, 'eps': -1} c=['1', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 6, 'eps': -1} c=['-3/2', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 7, 'eps': -1} c=['1', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 7, 'eps': -1} c=['-3/2', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 8, 'eps': -1} c=['1', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=3 {'s': 8, 'eps': -1} c=['-3/2', '1/4', '3/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=3 {'d': 7, 'eps': 1} c=['1', '1/2', '1/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=3 {'d': 7, 'eps': 1} c=['-2/3', '1/2', '1/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=3 {'d': 8, 'eps': 1} c=['1', '1/2', '1/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=3 {'d': 8, 'eps': 1} c=['-2/3', '1/2', '1/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=3 {'d': 8, 'eps': -1} c=['1', '1/2', '1/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=3 {'d': 8, 'eps': -1} c=['-2/3', '1/2', '1/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=3 {'d': 9, 'eps': 1} c=['1', '1/2', '1/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=3 {'d': 9, 'eps': 1} c=['-2/3', '1/2', '1/3']: polynomial, L(0)=J0, tr, det, torsion
[OK] A So k=4 {} c=['1', '1/3', '2/3', '1']: polynomial, L(0)=J0, tr, det, torsion
[OK] A So k=4 {} c=['0', '2/5', '-3/5', '4/5']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=4 {'eps': 1} c=['0', '1/7', '2/7', '3/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=4 {'eps': 1} c=['3/2', '1/7', '2/7', '3/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=4 {'eps': -1} c=['5/2', '1/7', '2/7', '3/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=4 {'eps': -1} c=['-5/2', '1/7', '2/7', '3/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=4 {'eps': -1} c=['6/5', '1/7', '2/7', '3/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A Se k=4 {'eps': -1} c=['0', '1/7', '2/7', '3/7']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 8, 'eps': 1} c=['1', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 8, 'eps': 1} c=['-3/2', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 9, 'eps': 1} c=['1', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 9, 'eps': 1} c=['-3/2', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 10, 'eps': 1} c=['1', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 10, 'eps': 1} c=['-3/2', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 8, 'eps': -1} c=['1', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 8, 'eps': -1} c=['-3/2', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 9, 'eps': -1} c=['1', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 9, 'eps': -1} c=['-3/2', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 10, 'eps': -1} c=['1', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A P k=4 {'s': 10, 'eps': -1} c=['-3/2', '1/4', '3/4', '5/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=4 {'d': 9, 'eps': 1} c=['1', '1/2', '1/3', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=4 {'d': 9, 'eps': 1} c=['-2/3', '1/2', '1/3', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=4 {'d': 10, 'eps': 1} c=['1', '1/2', '1/3', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=4 {'d': 10, 'eps': 1} c=['-2/3', '1/2', '1/3', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=4 {'d': 10, 'eps': -1} c=['1', '1/2', '1/3', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=4 {'d': 10, 'eps': -1} c=['-2/3', '1/2', '1/3', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=4 {'d': 11, 'eps': 1} c=['1', '1/2', '1/3', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A O k=4 {'d': 11, 'eps': 1} c=['-2/3', '1/2', '1/3', '1/4']: polynomial, L(0)=J0, tr, det, torsion
[OK] A L_nil: Nijenhuis, L(0)=J0
[OK] A L_nd: Nijenhuis, L(0)=J0
[OK] A M_1^1: Nijenhuis, L(0)=J0
[OK] A N_1^1: Nijenhuis, L(0)=J0
[OK] A M_2^1: Nijenhuis, L(0)=J0
[OK] A N_2^1: Nijenhuis, L(0)=J0
[OK] A M_2^-1: Nijenhuis, L(0)=J0
[OK] A N_2^-1: Nijenhuis, L(0)=J0
[OK] A M_3^1: Nijenhuis, L(0)=J0
[OK] A N_3^1: Nijenhuis, L(0)=J0
[OK] A M_4^1: Nijenhuis, L(0)=J0
[OK] A N_4^1: Nijenhuis, L(0)=J0
[OK] A M_4^-1: Nijenhuis, L(0)=J0
[OK] A N_4^-1: Nijenhuis, L(0)=J0
== Part B: Theorem 1.1 for the series O, P, S (exact series, box x^6 y^9)
[OK] B So k=1 {} c=['1']: no poles, E(F)=0, F_x(0,0)=-1  (b={})
[OK] B So k=1 {} c=['0']: no poles, E(F)=0, F_x(0,0)=-1  (b={})
[OK] B Se k=1 {'eps': 1} c=['0']: no poles, E(F)=0, F_x(0,0)=2  (b={})
[OK] B Se k=1 {'eps': 1} c=['3/2']: no poles, E(F)=0, F_x(0,0)=5/2  (b={})
[OK] B Se k=1 {'eps': -1} c=['5/2']: no poles, E(F)=0, F_x(0,0)=3/2  (b={})
[OK] B Se k=1 {'eps': -1} c=['-5/2']: no poles, E(F)=0, F_x(0,0)=3/2  (b={})
[OK] B Se k=1 {'eps': -1} c=['6/5']: no poles, E(F)=0, F_x(0,0)=4/5  (b={})
[OK] B Se k=1 {'eps': -1} c=['0']: no poles, E(F)=0, F_x(0,0)=1  (b={})
[OK] B P k=1 {'s': 2, 'eps': 1} c=['1']: no poles, E(F)=0, F_x(0,0)=-1  (b={})
[OK] B P k=1 {'s': 2, 'eps': 1} c=['-3/2']: no poles, E(F)=0, F_x(0,0)=-1  (b={})
[OK] B P k=1 {'s': 3, 'eps': 1} c=['1']: no poles, E(F)=0, F_x(0,0)=-2  (b={})
[OK] B P k=1 {'s': 3, 'eps': 1} c=['-3/2']: no poles, E(F)=0, F_x(0,0)=-2  (b={})
[OK] B P k=1 {'s': 4, 'eps': 1} c=['1']: no poles, E(F)=0, F_x(0,0)=-3  (b={})
[OK] B P k=1 {'s': 4, 'eps': 1} c=['-3/2']: no poles, E(F)=0, F_x(0,0)=-3  (b={})
[OK] B P k=1 {'s': 2, 'eps': -1} c=['1']: no poles, E(F)=0, F_x(0,0)=1  (b={})
[OK] B P k=1 {'s': 2, 'eps': -1} c=['-3/2']: no poles, E(F)=0, F_x(0,0)=1  (b={})
[OK] B P k=1 {'s': 3, 'eps': -1} c=['1']: no poles, E(F)=0, F_x(0,0)=2  (b={})
[OK] B P k=1 {'s': 3, 'eps': -1} c=['-3/2']: no poles, E(F)=0, F_x(0,0)=2  (b={})
[OK] B P k=1 {'s': 4, 'eps': -1} c=['1']: no poles, E(F)=0, F_x(0,0)=3  (b={})
[OK] B P k=1 {'s': 4, 'eps': -1} c=['-3/2']: no poles, E(F)=0, F_x(0,0)=3  (b={})
[OK] B O k=1 {'d': 3, 'eps': 1} c=['1']: no poles, E(F)=0, F_x(0,0)=2/3  (b={})
[OK] B O k=1 {'d': 3, 'eps': 1} c=['-2/3']: no poles, E(F)=0, F_x(0,0)=-4/9  (b={})
[OK] B O k=1 {'d': 4, 'eps': 1} c=['1']: no poles, E(F)=0, F_x(0,0)=3/4  (b={})
[OK] B O k=1 {'d': 4, 'eps': 1} c=['-2/3']: no poles, E(F)=0, F_x(0,0)=-1/2  (b={})
[OK] B O k=1 {'d': 4, 'eps': -1} c=['1']: no poles, E(F)=0, F_x(0,0)=3/4  (b={})
[OK] B O k=1 {'d': 4, 'eps': -1} c=['-2/3']: no poles, E(F)=0, F_x(0,0)=-1/2  (b={})
[OK] B O k=1 {'d': 5, 'eps': 1} c=['1']: no poles, E(F)=0, F_x(0,0)=4/5  (b={})
[OK] B O k=1 {'d': 5, 'eps': 1} c=['-2/3']: no poles, E(F)=0, F_x(0,0)=-8/15  (b={})
[OK] B So k=2 {} c=['1', '1/3']: no poles, E(F)=0, F_x(0,0)=-3  (b={1: '3/5'})
[OK] B So k=2 {} c=['0', '2/5']: no poles, E(F)=0, F_x(0,0)=-3  (b={1: '0'})
[OK] B Se k=2 {'eps': 1} c=['0', '1/7']: no poles, E(F)=0, F_x(0,0)=-2  (b={1: '0'})
[OK] B Se k=2 {'eps': 1} c=['3/2', '1/7']: no poles, E(F)=0, F_x(0,0)=-5/2  (b={1: '0'})
[OK] B Se k=2 {'eps': -1} c=['5/2', '1/7']: no poles, E(F)=0, F_x(0,0)=-3/2  (b={1: '0'})
[OK] B Se k=2 {'eps': -1} c=['-5/2', '1/7']: no poles, E(F)=0, F_x(0,0)=-3/2  (b={1: '0'})
[OK] B Se k=2 {'eps': -1} c=['6/5', '1/7']: no poles, E(F)=0, F_x(0,0)=-4/5  (b={1: '0'})
[OK] B Se k=2 {'eps': -1} c=['0', '1/7']: no poles, E(F)=0, F_x(0,0)=-1  (b={1: '0'})
[OK] B P k=2 {'s': 4, 'eps': 1} c=['1', '1/4']: no poles, E(F)=0, F_x(0,0)=-3  (b={1: '3/2'})
[OK] B P k=2 {'s': 4, 'eps': 1} c=['-3/2', '1/4']: no poles, E(F)=0, F_x(0,0)=-3  (b={1: '3/2'})
[OK] B P k=2 {'s': 5, 'eps': 1} c=['1', '1/4']: no poles, E(F)=0, F_x(0,0)=-4  (b={1: '2'})
[OK] B P k=2 {'s': 5, 'eps': 1} c=['-3/2', '1/4']: no poles, E(F)=0, F_x(0,0)=-4  (b={1: '2'})
[OK] B P k=2 {'s': 6, 'eps': 1} c=['1', '1/4']: no poles, E(F)=0, F_x(0,0)=-5  (b={1: '5/2'})
[OK] B P k=2 {'s': 6, 'eps': 1} c=['-3/2', '1/4']: no poles, E(F)=0, F_x(0,0)=-5  (b={1: '5/2'})
[OK] B P k=2 {'s': 4, 'eps': -1} c=['1', '1/4']: no poles, E(F)=0, F_x(0,0)=3  (b={1: '3/2'})
[OK] B P k=2 {'s': 4, 'eps': -1} c=['-3/2', '1/4']: no poles, E(F)=0, F_x(0,0)=3  (b={1: '3/2'})
[OK] B P k=2 {'s': 5, 'eps': -1} c=['1', '1/4']: no poles, E(F)=0, F_x(0,0)=4  (b={1: '2'})
[OK] B P k=2 {'s': 5, 'eps': -1} c=['-3/2', '1/4']: no poles, E(F)=0, F_x(0,0)=4  (b={1: '2'})
[OK] B P k=2 {'s': 6, 'eps': -1} c=['1', '1/4']: no poles, E(F)=0, F_x(0,0)=5  (b={1: '5/2'})
[OK] B P k=2 {'s': 6, 'eps': -1} c=['-3/2', '1/4']: no poles, E(F)=0, F_x(0,0)=5  (b={1: '5/2'})
[OK] B O k=2 {'d': 5, 'eps': 1} c=['1', '1/2']: no poles, E(F)=0, F_x(0,0)=-1  (b={1: '0'})
[OK] B O k=2 {'d': 5, 'eps': 1} c=['-2/3', '1/2']: no poles, E(F)=0, F_x(0,0)=2/3  (b={1: '0'})
[OK] B O k=2 {'d': 6, 'eps': 1} c=['1', '1/2']: no poles, E(F)=0, F_x(0,0)=-1  (b={1: '0'})
[OK] B O k=2 {'d': 6, 'eps': 1} c=['-2/3', '1/2']: no poles, E(F)=0, F_x(0,0)=2/3  (b={1: '0'})
[OK] B O k=2 {'d': 6, 'eps': -1} c=['1', '1/2']: no poles, E(F)=0, F_x(0,0)=-1  (b={1: '0'})
[OK] B O k=2 {'d': 6, 'eps': -1} c=['-2/3', '1/2']: no poles, E(F)=0, F_x(0,0)=2/3  (b={1: '0'})
[OK] B O k=2 {'d': 7, 'eps': 1} c=['1', '1/2']: no poles, E(F)=0, F_x(0,0)=-1  (b={1: '0'})
[OK] B O k=2 {'d': 7, 'eps': 1} c=['-2/3', '1/2']: no poles, E(F)=0, F_x(0,0)=2/3  (b={1: '0'})
[OK] B So k=3 {} c=['1', '1/3', '2/3']: no poles, E(F)=0, F_x(0,0)=-5  (b={1: '200/1029', 2: '5/7'})
[OK] B So k=3 {} c=['0', '2/5', '-3/5']: no poles, E(F)=0, F_x(0,0)=-5  (b={1: '2/7', 2: '0'})
[OK] B Se k=3 {'eps': 1} c=['0', '1/7', '2/7']: no poles, E(F)=0, F_x(0,0)=-4  (b={1: '2/21', 2: '0'})
[OK] B Se k=3 {'eps': 1} c=['3/2', '1/7', '2/7']: no poles, E(F)=0, F_x(0,0)=-5  (b={1: '8/105', 2: '0'})
[OK] B Se k=3 {'eps': -1} c=['5/2', '1/7', '2/7']: no poles, E(F)=0, F_x(0,0)=-3  (b={1: '8/63', 2: '0'})
[OK] B Se k=3 {'eps': -1} c=['-5/2', '1/7', '2/7']: no poles, E(F)=0, F_x(0,0)=-3  (b={1: '8/63', 2: '0'})
[OK] B Se k=3 {'eps': -1} c=['6/5', '1/7', '2/7']: no poles, E(F)=0, F_x(0,0)=-8/5  (b={1: '-5/84', 2: '0'})
[OK] B Se k=3 {'eps': -1} c=['0', '1/7', '2/7']: no poles, E(F)=0, F_x(0,0)=-2  (b={1: '-1/21', 2: '0'})
[OK] B P k=3 {'s': 6, 'eps': 1} c=['1', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=-5  (b={1: '-25/648', 2: '5/3'})
[OK] B P k=3 {'s': 6, 'eps': 1} c=['-3/2', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=-5  (b={1: '25/108', 2: '5/3'})
[OK] B P k=3 {'s': 7, 'eps': 1} c=['1', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=-6  (b={1: '1/4', 2: '2'})
[OK] B P k=3 {'s': 7, 'eps': 1} c=['-3/2', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=-6  (b={1: '-1/6', 2: '2'})
[OK] B P k=3 {'s': 8, 'eps': 1} c=['1', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=-7  (b={1: '7/24', 2: '7/3'})
[OK] B P k=3 {'s': 8, 'eps': 1} c=['-3/2', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=-7  (b={1: '-7/36', 2: '7/3'})
[OK] B P k=3 {'s': 6, 'eps': -1} c=['1', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=5  (b={1: '295/648', 2: '5/3'})
[OK] B P k=3 {'s': 6, 'eps': -1} c=['-3/2', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=5  (b={1: '-55/108', 2: '5/3'})
[OK] B P k=3 {'s': 7, 'eps': -1} c=['1', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=6  (b={1: '1/4', 2: '2'})
[OK] B P k=3 {'s': 7, 'eps': -1} c=['-3/2', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=6  (b={1: '-1/6', 2: '2'})
[OK] B P k=3 {'s': 8, 'eps': -1} c=['1', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=7  (b={1: '7/24', 2: '7/3'})
[OK] B P k=3 {'s': 8, 'eps': -1} c=['-3/2', '1/4', '3/4']: no poles, E(F)=0, F_x(0,0)=7  (b={1: '-7/36', 2: '7/3'})
[OK] B O k=3 {'d': 7, 'eps': 1} c=['1', '1/2', '1/3']: no poles, E(F)=0, F_x(0,0)=-2  (b={1: '7/4', 2: '0'})
[OK] B O k=3 {'d': 7, 'eps': 1} c=['-2/3', '1/2', '1/3']: no poles, E(F)=0, F_x(0,0)=4/3  (b={1: '7/4', 2: '0'})
[OK] B O k=3 {'d': 8, 'eps': 1} c=['1', '1/2', '1/3']: no poles, E(F)=0, F_x(0,0)=-2  (b={1: '8/15', 2: '0'})
[OK] B O k=3 {'d': 8, 'eps': 1} c=['-2/3', '1/2', '1/3']: no poles, E(F)=0, F_x(0,0)=4/3  (b={1: '-4/5', 2: '0'})
[OK] B O k=3 {'d': 8, 'eps': -1} c=['1', '1/2', '1/3']: no poles, E(F)=0, F_x(0,0)=-2  (b={1: '8/15', 2: '0'})
[OK] B O k=3 {'d': 8, 'eps': -1} c=['-2/3', '1/2', '1/3']: no poles, E(F)=0, F_x(0,0)=4/3  (b={1: '-4/5', 2: '0'})
[OK] B O k=3 {'d': 9, 'eps': 1} c=['1', '1/2', '1/3']: no poles, E(F)=0, F_x(0,0)=-2  (b={1: '1/2', 2: '0'})
[OK] B O k=3 {'d': 9, 'eps': 1} c=['-2/3', '1/2', '1/3']: no poles, E(F)=0, F_x(0,0)=4/3  (b={1: '-3/4', 2: '0'})
[OK] B So k=4 {} c=['1', '1/3', '2/3', '1']: no poles, E(F)=0, F_x(0,0)=-7  (b={1: '28133/59049', 2: '889/4374', 3: '7/9'})
[OK] B So k=4 {} c=['0', '2/5', '-3/5', '4/5']: no poles, E(F)=0, F_x(0,0)=-7  (b={1: '-7/15', 2: '14/45', 3: '0'})
[OK] B Se k=4 {'eps': 1} c=['0', '1/7', '2/7', '3/7']: no poles, E(F)=0, F_x(0,0)=-6  (b={1: '171/784', 2: '3/28', 3: '0'})
[OK] B Se k=4 {'eps': 1} c=['3/2', '1/7', '2/7', '3/7']: no poles, E(F)=0, F_x(0,0)=-15/2  (b={1: '1056/6125', 2: '3/35', 3: '0'})
[OK] B Se k=4 {'eps': -1} c=['5/2', '1/7', '2/7', '3/7']: no poles, E(F)=0, F_x(0,0)=-9/2  (b={1: '124/441', 2: '1/7', 3: '0'})
[OK] B Se k=4 {'eps': -1} c=['-5/2', '1/7', '2/7', '3/7']: no poles, E(F)=0, F_x(0,0)=-9/2  (b={1: '134/441', 2: '1/7', 3: '0'})
[OK] B Se k=4 {'eps': -1} c=['6/5', '1/7', '2/7', '3/7']: no poles, E(F)=0, F_x(0,0)=-12/5  (b={1: '-13665/100352', 2: '-15/224', 3: '0'})
[OK] B Se k=4 {'eps': -1} c=['0', '1/7', '2/7', '3/7']: no poles, E(F)=0, F_x(0,0)=-3  (b={1: '-3/28', 2: '-3/56', 3: '0'})
[OK] B P k=4 {'s': 8, 'eps': 1} c=['1', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=-7  (b={1: '78393/131072', 2: '-63/512', 3: '7/4'})
[OK] B P k=4 {'s': 8, 'eps': 1} c=['-3/2', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=-7  (b={1: '-2010967/4718592', 2: '1127/3072', 3: '7/4'})
[OK] B P k=4 {'s': 9, 'eps': 1} c=['1', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=-8  (b={1: '27/64', 2: '1/4', 3: '2'})
[OK] B P k=4 {'s': 9, 'eps': 1} c=['-3/2', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=-8  (b={1: '-11/288', 2: '-1/6', 3: '2'})
[OK] B P k=4 {'s': 10, 'eps': 1} c=['1', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=-9  (b={1: '423/512', 2: '9/32', 3: '9/4'})
[OK] B P k=4 {'s': 10, 'eps': 1} c=['-3/2', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=-9  (b={1: '-73/128', 2: '-3/16', 3: '9/4'})
[OK] B P k=4 {'s': 8, 'eps': -1} c=['1', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=7  (b={1: '103033/131072', 2: '287/512', 3: '7/4'})
[OK] B P k=4 {'s': 8, 'eps': -1} c=['-3/2', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=7  (b={1: '-1123927/4718592', 2: '-2023/3072', 3: '7/4'})
[OK] B P k=4 {'s': 9, 'eps': -1} c=['1', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=8  (b={1: '67/64', 2: '1/4', 3: '2'})
[OK] B P k=4 {'s': 9, 'eps': -1} c=['-3/2', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=8  (b={1: '-281/288', 2: '-1/6', 3: '2'})
[OK] B P k=4 {'s': 10, 'eps': -1} c=['1', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=9  (b={1: '423/512', 2: '9/32', 3: '9/4'})
[OK] B P k=4 {'s': 10, 'eps': -1} c=['-3/2', '1/4', '3/4', '5/4']: no poles, E(F)=0, F_x(0,0)=9  (b={1: '-73/128', 2: '-3/16', 3: '9/4'})
[OK] B O k=4 {'d': 9, 'eps': 1} c=['1', '1/2', '1/3', '1/4']: no poles, E(F)=0, F_x(0,0)=-3  (b={1: '-5769/3200', 2: '81/40', 3: '0'})
[OK] B O k=4 {'d': 9, 'eps': 1} c=['-2/3', '1/2', '1/3', '1/4']: no poles, E(F)=0, F_x(0,0)=2  (b={1: '-17469/3200', 2: '81/40', 3: '0'})
[OK] B O k=4 {'d': 10, 'eps': 1} c=['1', '1/2', '1/3', '1/4']: no poles, E(F)=0, F_x(0,0)=-3  (b={1: '625/384', 2: '5/8', 3: '0'})
[OK] B O k=4 {'d': 10, 'eps': 1} c=['-2/3', '1/2', '1/3', '1/4']: no poles, E(F)=0, F_x(0,0)=2  (b={1: '1075/512', 2: '-15/16', 3: '0'})
[OK] B O k=4 {'d': 10, 'eps': -1} c=['1', '1/2', '1/3', '1/4']: no poles, E(F)=0, F_x(0,0)=-3  (b={1: '-335/384', 2: '5/8', 3: '0'})
[OK] B O k=4 {'d': 10, 'eps': -1} c=['-2/3', '1/2', '1/3', '1/4']: no poles, E(F)=0, F_x(0,0)=2  (b={1: '-1805/512', 2: '-15/16', 3: '0'})
[OK] B O k=4 {'d': 11, 'eps': 1} c=['1', '1/2', '1/3', '1/4']: no poles, E(F)=0, F_x(0,0)=-3  (b={1: '2167/6272', 2: '33/56', 3: '0'})
[OK] B O k=4 {'d': 11, 'eps': 1} c=['-2/3', '1/2', '1/3', '1/4']: no poles, E(F)=0, F_x(0,0)=2  (b={1: '-17457/25088', 2: '-99/112', 3: '0'})
[OK] B S^5: b_1 = 3 c_0/5  (7/5)
[OK] B Se k=2 {'eps': 1}: b_1 = 0  (0)
[OK] B Se k=2 {'eps': -1}: b_1 = 0  (0)
[OK] B O k=2 {'d': 5, 'eps': 1}: b_1 = 0  (0)
[OK] B O k=2 {'d': 6, 'eps': -1}: b_1 = 0  (0)
[OK] B P^(2,1)_4: b_1 = (s-1)/2  (3/2)
[OK] B P^(2,-1)_4: b_1 = (s-1)/2  (3/2)
[OK] B P^(2,1)_5: b_1 = (s-1)/2  (2)
[OK] B P^(2,-1)_5: b_1 = (s-1)/2  (2)
[OK] B P^(2,1)_6: b_1 = (s-1)/2  (5/2)
[OK] B P^(2,-1)_6: b_1 = (s-1)/2  (5/2)
[OK] B P^(2,1)_7: b_1 = (s-1)/2  (3)
[OK] B P^(2,-1)_7: b_1 = (s-1)/2  (3)
[OK] B So k=3 {} c=['1', '1/2', '1/2']: (b_1, b_2) = ('215/686', '5/7')
[OK] B O k=3 {'d': 7, 'eps': 1} c=['1', '1/2', '1/3']: (b_1, b_2) = ('7/4', '0')
[OK] B P k=3 {'s': 6, 'eps': 1} c=['4', '-1/3', '-1/4']: (b_1, b_2) = ('-685/648', '5/3')
[OK] B Remark 3.1 So k=3 {}: b_j independent of c_(k-1)  ({2: '15/14', 1: '745/8232'})
[OK] B Remark 3.1 Se k=3 {'eps': 1}: b_j independent of c_(k-1)  ({2: '0', 1: '8/45'})
[OK] B Remark 3.1 Se k=2 {'eps': -1}: b_j independent of c_(k-1)  ({1: '0'})
[OK] B Remark 3.1 P k=3 {'s': 7, 'eps': -1}: b_j independent of c_(k-1)  ({2: '2', 1: '2/9'})
[OK] B Remark 3.1 O k=3 {'d': 8, 'eps': -1}: b_j independent of c_(k-1)  ({2: '0', 1: '32/135'})
[OK] B Remark 3.1 P k=2 {'s': 4, 'eps': 1}: b_j independent of c_(k-1)  ({1: '3/2'})
[OK] B control: F + x^2/3 is rejected by E
[OK] B control: b_1 + 1/7 leaves a pole
[OK] B control: alpha -> 11 alpha/10 gives L(0) != J0
== Part C: closed forms for k = 1
[OK] C S^3 c0=0: -(l1^(-1/3)+l2^(-1/3))/2 solves 8yPhi^3+6Phi=c0+3x, Phi(0)=c0/6, Phi_x(0)=1/2
[OK] C S^3 c0=1: -(l1^(-1/3)+l2^(-1/3))/2 solves 8yPhi^3+6Phi=c0+3x, Phi(0)=c0/6, Phi_x(0)=1/2
[OK] C S^3 c0=-7/3: -(l1^(-1/3)+l2^(-1/3))/2 solves 8yPhi^3+6Phi=c0+3x, Phi(0)=c0/6, Phi_x(0)=1/2
[OK] C S^3 c0=5/2: -(l1^(-1/3)+l2^(-1/3))/2 solves 8yPhi^3+6Phi=c0+3x, Phi(0)=c0/6, Phi_x(0)=1/2
[OK] C S^(2,1) c0=3/2: log|l1/l2| = closed form, E=0, F_x(0,0)=q=5/2
[OK] C S^(2,1) c0=0: log|l1/l2| = closed form, E=0, F_x(0,0)=q=2
[OK] C S^(2,1) c0=-21/10: log|l1/l2| = closed form, E=0, F_x(0,0)=q=29/10
[OK] C S^(2,-1) c0=5/2: log|l1/l2| = closed form, E=0, F_x(0,0)=q=3/2
[OK] C S^(2,-1) c0=-5/2: log|l1/l2| = closed form, E=0, F_x(0,0)=q=3/2
[OK] C S^(2,-1) c0=-10/3: log|l1/l2| = closed form, E=0, F_x(0,0)=q=8/3
[OK] C S^(2,-1) c0=6/5: arg(lambda) = arccos(P/2), E=0, F_x(0,0)=q/2
[OK] C S^(2,-1) c0=0: arg(lambda) = arccos(P/2), E=0, F_x(0,0)=q/2
[OK] C S^(2,-1) c0=-6/5: arg(lambda) = arccos(P/2), E=0, F_x(0,0)=q/2
[OK] C P^(1,1)_2 c0=4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=1
[OK] C P^(1,1)_2 c0=-1/4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=1
[OK] C P^(1,-1)_2 c0=4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=-1
[OK] C P^(1,-1)_2 c0=-1/4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=-1
[OK] C P^(1,1)_3 c0=4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=2
[OK] C P^(1,1)_3 c0=-1/4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=2
[OK] C P^(1,-1)_3 c0=4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=-2
[OK] C P^(1,-1)_3 c0=-1/4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=-2
[OK] C P^(1,1)_4 c0=4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=3
[OK] C P^(1,1)_4 c0=-1/4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=3
[OK] C P^(1,-1)_4 c0=4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=-3
[OK] C P^(1,-1)_4 c0=-1/4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=-3
[OK] C P^(1,1)_5 c0=4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=4
[OK] C P^(1,1)_5 c0=-1/4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=4
[OK] C P^(1,-1)_5 c0=4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=-4
[OK] C P^(1,-1)_5 c0=-1/4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=-4
[OK] C P^(1,1)_6 c0=4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=5
[OK] C P^(1,1)_6 c0=-1/4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=5
[OK] C P^(1,-1)_6 c0=4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=-5
[OK] C P^(1,-1)_6 c0=-1/4: sqrt(1+2eps x) U_(s-2)(sqrt(1+Z)) = -Xi, E=0, F_x=-5
[OK] C O^(3,1)_1 c0=1: log(A/c0), E=0, F_x(0,0)=c0(d-1)/d
[OK] C O^(4,-1)_1 c0=-1: log(A/c0), E=0, F_x(0,0)=c0(d-1)/d
[OK] C O^(5,1)_1 c0=2/3: log(A/c0), E=0, F_x(0,0)=c0(d-1)/d
[OK] C O^(6,1)_1 c0=-3: log(A/c0), E=0, F_x(0,0)=c0(d-1)/d
[OK] C O^(7,1)_1 c0=1/2: log(A/c0), E=0, F_x(0,0)=c0(d-1)/d
== Part D: fibre derivative (Section 4.6) D_1 = kappa sigma^M (1 + O(|x|+|sigma|)), box x^4 sigma^10
[OK] D So k=1 {} c=['2']: sigma=s, M=2, kappa=1
[OK] D So k=2 {} c=['1', '1']: sigma=s, M=4, kappa=1
[OK] D So k=3 {} c=['0', '1', '2']: sigma=s, M=6, kappa=1
[OK] D Se k=1 {'eps': 1} c=['0']: sigma=y, M=1, kappa=2
[OK] D Se k=2 {'eps': 1} c=['3/2', '2']: sigma=y, M=2, kappa=5/2
[OK] D Se k=2 {'eps': -1} c=['5/2', '1']: sigma=y, M=2, kappa=3/2
[OK] D Se k=3 {'eps': 1} c=['-21/10', '1', '1']: sigma=y, M=3, kappa=29/10
[OK] D Se k=1 {'eps': -1} c=['6/5']: sigma=y, M=1, kappa=0+8/5i
[OK] D Se k=2 {'eps': -1} c=['6/5', '1']: sigma=y, M=2, kappa=0+8/5i
[OK] D Se k=3 {'eps': -1} c=['-6/5', '0', '1']: sigma=y, M=3, kappa=0+8/5i
[OK] D O k=1 {'d': 3, 'eps': 1} c=['1']: sigma=y, M=1, kappa=1
[OK] D O k=1 {'d': 4, 'eps': -1} c=['2']: sigma=y, M=1, kappa=2
[OK] D O k=2 {'d': 5, 'eps': 1} c=['1', '1']: sigma=y, M=2, kappa=1
[OK] D O k=2 {'d': 6, 'eps': -1} c=['2', '-1']: sigma=y, M=2, kappa=2
[OK] D O k=3 {'d': 7, 'eps': 1} c=['-1/2', '0', '1']: sigma=y, M=3, kappa=-1/2
[OK] D P k=1 {'s': 3, 'eps': 1} c=['1']: sigma=y, M=2, kappa=2
[OK] D P k=1 {'s': 5, 'eps': -1} c=['-4']: sigma=y, M=3, kappa=-4
[OK] D P k=2 {'s': 5, 'eps': 1} c=['1', '1']: sigma=y, M=3, kappa=2
[OK] D P k=2 {'s': 5, 'eps': -1} c=['1', '-1']: sigma=y, M=3, kappa=0-2i
[OK] D P k=2 {'s': 7, 'eps': 1} c=['-4', '0']: sigma=y, M=4, kappa=0+4i
[OK] D P k=1 {'s': 2, 'eps': 1} c=['1']: sigma=s, M=2, kappa=1
[OK] D P k=1 {'s': 4, 'eps': -1} c=['1']: sigma=s, M=4, kappa=0-1i
[OK] D P k=2 {'s': 4, 'eps': 1} c=['4', '1']: sigma=s, M=4, kappa=2
[OK] D P k=2 {'s': 6, 'eps': -1} c=['1', '2']: sigma=s, M=6, kappa=0-1i
[OK] D P k=3 {'s': 6, 'eps': 1} c=['-1', '1', '1']: sigma=s, M=6, kappa=0+1i
== Part E: Theorem 1.2(b) at the level of 5-jets; Corollary 1.3
[OK] E So k=1 {} c=['1']: dim=11, PC rank=0, generator rank=11, F_x criterion  (N0=1, kappa=1)
[OK] E So k=2 {} c=['1', '1/2']: dim=11, PC rank=1, generator rank=11, F_x criterion  (N0=3, kappa=1)
[OK] E Se k=1 {'eps': 1} c=['3/2']: dim=11, PC rank=0, generator rank=11, F_x criterion  (N0=0, kappa=5/2)
[OK] E Se k=2 {'eps': 1} c=['3/2', '1']: dim=11, PC rank=1, generator rank=11, F_x criterion  (N0=1, kappa=5/2)
[OK] E Se k=2 {'eps': -1} c=['5/2', '1']: dim=11, PC rank=1, generator rank=11, F_x criterion  (N0=1, kappa=3/2)
[OK] E Se k=1 {'eps': -1} c=['6/5']: dim=11, PC rank=0, generator rank=11, F_x criterion  (N0=0, kappa=0+8/5i)
[OK] E Se k=2 {'eps': -1} c=['6/5', '-1']: dim=11, PC rank=1, generator rank=11, F_x criterion  (N0=1, kappa=0+8/5i)
[OK] E O k=1 {'d': 3, 'eps': 1} c=['1']: dim=11, PC rank=0, generator rank=11, F_x criterion  (N0=0, kappa=1)
[OK] E O k=2 {'d': 5, 'eps': 1} c=['1', '1']: dim=11, PC rank=1, generator rank=11, F_x criterion  (N0=1, kappa=1)
[OK] E O k=2 {'d': 6, 'eps': -1} c=['-2/3', '1/3']: dim=11, PC rank=1, generator rank=11, F_x criterion  (N0=1, kappa=-2/3)
[OK] E P k=1 {'s': 3, 'eps': 1} c=['1']: dim=11, PC rank=1, generator rank=11, F_x criterion  (N0=1, kappa=2)
[OK] E P k=2 {'s': 5, 'eps': 1} c=['1', '1']: dim=11, PC rank=2, generator rank=11, F_x criterion  (N0=2, kappa=2)
[OK] E P k=2 {'s': 5, 'eps': -1} c=['1', '-1']: dim=11, PC rank=2, generator rank=11, F_x criterion  (N0=2, kappa=0-2i)
[OK] E P k=1 {'s': 2, 'eps': 1} c=['1']: dim=11, PC rank=0, generator rank=11, F_x criterion  (N0=1, kappa=1)
[OK] E P k=2 {'s': 4, 'eps': 1} c=['4', '1']: dim=11, PC rank=1, generator rank=11, F_x criterion  (N0=3, kappa=2)
[OK] E P k=2 {'s': 6, 'eps': -1} c=['1', '2']: dim=11, PC rank=2, generator rank=11, F_x criterion  (N0=5, kappa=0-1i)
== Part F: elementary series
[OK] F N/G3 f=1y^1: E((e^(f'x)-1)/f')=0, F_x(0,0)=1; family A(y)E+B(y)
[OK] F N/G3 f=1y^2: E((e^(f'x)-1)/f')=0, F_x(0,0)=1; family A(y)E+B(y)
[OK] F N/G3 f=-1y^2: E((e^(f'x)-1)/f')=0, F_x(0,0)=1; family A(y)E+B(y)
[OK] F N/G3 f=1y^3: E((e^(f'x)-1)/f')=0, F_x(0,0)=1; family A(y)E+B(y)
[OK] F N/G3 f=1y^4: E((e^(f'x)-1)/f')=0, F_x(0,0)=1; family A(y)E+B(y)
[OK] F N/G3 f=-1y^4: E((e^(f'x)-1)/f')=0, F_x(0,0)=1; family A(y)E+B(y)
[OK] F M g=1y^1: F_x+gF_y=phi(y), F(0,y)=H(y), E(F)=0
[OK] F M g=1y^2: F_x+gF_y=phi(y), F(0,y)=H(y), E(F)=0
[OK] F M g=-1y^2: F_x+gF_y=phi(y), F(0,y)=H(y), E(F)=0
[OK] F M g=1y^3: F_x+gF_y=phi(y), F(0,y)=H(y), E(F)=0
[OK] F L_nd: E(tr L^m)=0 (m<=2N), 6-jets of tr L^m span the 13-dim solution jets
[OK] F G1 diag(1+x^2, -1+y): E(x+y)=0
[OK] F G2 h=2i+z+z^2: E(x)=0, E(Re z^3)=0
SUMMARY: 355 checks, 0 failed, 21.0 s
ALL CHECKS PASSED
