Ask Your Question

A polynomial system with at least one solution

asked 2016-12-23 10:37:23 -0600

petitloup gravatar image

Hello, using Sage, I consider a system $S$ of multivariate polynomials. I cannot obtain a Grobner basis of the previous system; no matter, I only want to know when $S$ has at least one solution. Does there exist in Sage a command that does the job. Of course, the command must give an answer without calculating the whole of the Grobner basis. Remark. When $S$ has no solutions, the process is faster and, in general, we obtain $[1]$ as a Grobner basis. Thus, when Sage does not succeed in concluding, there is a high probability that there is at least one solution; unfortunately, this is not a proof. Thanks in advance.

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted

answered 2016-12-23 11:45:33 -0600

edit flag offensive delete link more


Thanks for your answer. Unfortunately, the methods presented in your reference require the calculation of the complete Grobner basis.

petitloup gravatar imagepetitloup ( 2016-12-24 09:25:45 -0600 )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


Asked: 2016-12-23 10:37:23 -0600

Seen: 53 times

Last updated: Dec 23 '16