I am solving a problem that requires to solve nonlinear equations like {x1^2+x2^2=u1, x1+x2=u2}. Can GiNaC solve nonlinear equations like this?

Thanks,

Erick Farestveit