Solution (source code)

= Solution

The <linear stability domain> is $\{z\in\mathbb C:|R(z)|\le1\}$ for the test equation $y'=\lambda y$, $z=h\lambda$. A method is A-stable when this domain contains the entire closed left half-plane.