Find a root of bivariate polynomial

Bivariate

asked 2023-04-08 07:07:42 +0200

toran
3 ●1 ●2

Given a bivariate and symmetric polynomial $P(x,y)$ with a high degree (probably larger than 8). Is there any algorithm that helps me know if $P(x,y)$ has a root over $\mathbb{R}^+$ or not? I may not need a specific root, I just want to check if there is a root, or not.

*P/S: I'm new to SageMath. Currently, I know some basic operation with multivariate polynomial like factorizing, adding, substracting, ... two polynomials. It would be great if you can explain your answer a little bit. Thank you.

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2023-04-12 02:26:50 +0200

Max Alekseyev

5711 ●5 ●37 ●122

updated 2023-04-12 02:52:30 +0200

Potentially this can be solved with QEPCAD package (which needs to be installed first). Here is an example:

x,y = var('x y')
P = x^3 + y^2 - 1

qf = qepcad_formula.and_( P == 0, x >= 0, y >= 0 )
try:
    root = qepcad(qf,solution='any-point')
except ValueError:
    print('P has no root in R+')
else:
    print(f'P has a root: {root}')

It can be run at Sagecell.

edit flag offensive delete link

add a comment

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: 2023-04-08 07:06:42 +0200

Seen: 470 times

Last updated: Apr 12 '23

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.

Find a root of bivariate polynomial edit

1 Answer