AIHL 1.15.2 Powers of matrices