[行列解析3.3.13]コンパニオン行列

p(t) = t^n + a_{n-1}t^{n-1} + a_{n-2}t^{n-2} + \cdots + a_1 t + a_0 

A =
\begin{bmatrix}
0 & -a_0 &   &        &        &   \\
1 & 0    & -a_1 &    &        &   \\
  & 1    & 0    & -a_2 &     &   \\
  &      & \ddots & \ddots & \ddots &   \\
  &      &        & 1 & 0 & -a_{n-1}
\end{bmatrix} \in M_n