cg2_2016 My presentation for Chaos Group conference CG2: code for art 2016 Notes Start with a story of logic propagation A B^T + B A^T is symmetric ! A B^T - B A^T is antisymmetric ! A X + X B - B A is sqaure matrix and all A, B, X are square matricies. Automatic testing