Trace bounds on the solution of the algebraic matrix Riccati and Lyapunov equation | Synapse