Ask Your Question

A way of checking that a multivariate system of equations has a solution?

asked 2018-04-08 20:40:45 +0200

Dalvir gravatar image

updated 2018-04-08 20:41:27 +0200

Is there a way to check that a multivariate system of polynomial equations does indeed have a solution(or not)? The context i am using this in is as follows: say i have a system of multivariate polynomial equations over a finite field, i then put values in for some of the variables, and then i need to check if the resulting system in the remaining unassigned variables has a solution or not? If not, then i will reassign different values to the other variables until a system with a solution is yielded. Of course because the assigning of these values is random there is a high chance the system has a solution anyway, but in the event that it does not is where i need a way to check whether a solution exists or not.

edit retag flag offensive close merge delete



There are ways to do that in Sage, but please provide a concrete example, it will be easier for us to show how to !

tmonteil gravatar imagetmonteil ( 2018-04-08 21:06:52 +0200 )edit

I concur with @tmonteil -- please provide an example of input of a polynomial system that other users can copy paste to get started exploring your question.

slelievre gravatar imageslelievre ( 2018-04-09 03:41:39 +0200 )edit

1 Answer

Sort by ยป oldest newest most voted

answered 2018-04-09 03:42:28 +0200

slelievre gravatar image

It's possible that the answers to other questions about polynomial systems can help you, adapting them to the case of finite fields.

For instance, the answers to this question invite to use ideals and varieties:

edit flag offensive delete link more

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: 2018-04-08 20:40:45 +0200

Seen: 402 times

Last updated: Apr 09 '18