[GiNaC-list] Simple question about how to solve for a simple non-linear system of equations.