Ask Your Question
1

System of nonlinear equations

asked 2011-07-13 23:40:44 +0100

Eviatar Bach gravatar image

Hello,

Is it possible to solve the following using Sage?

http://www.wolframalpha.com/input/?i=...x2x3-6%3D%3D0%2Cx1%5E2%2Bx2%5E2%2Bx3%5E2-14%3D%3D0%5D%2Cx1%29

Thanks in advance.

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
2

answered 2011-07-14 02:53:09 +0100

benjaminfjones gravatar image

Yes, but not using solve.

Your system of equations defines a 0-dimensional subvariety of $\mathbb{C}^3$. Sage can tell you which points are in the zero set of the polynomials in your system like this:

sage: R.<x1,x2,x3> = PolynomialRing(QQ)
sage: R
Multivariate Polynomial Ring in x1, x2, x3 over Rational Field

sage: I=R.ideal([x1+x2+x3-6,x1*x2*x3-6,x1^2+x2^2+x3^2-14])
sage: I.dimension()
0
sage: I.variety()
[{x2: 2, x1: 3, x3: 1}, {x2: 3, x1: 2, x3: 1}, {x2: 1, x1: 3, x3: 2}, {x2: 3, x1: 1, x3: 2}, {x2: 1, x1: 2, x3: 3}, {x2: 2, x1: 1, x3: 3}]

The last line is a list of dictionaries. Each dictionary contains the coordinates of a point in the zero set of your system of polynomials.

edit flag offensive delete link more

Comments

Thanks! This is very helpful.

Eviatar Bach gravatar imageEviatar Bach ( 2011-07-14 23:39:10 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2011-07-13 23:40:44 +0100

Seen: 1,075 times

Last updated: Jul 14 '11