Ask Your Question
2

Real Algebraic Scheme question

asked 2018-09-19 22:16:37 +0100

anonymous user

Anonymous

updated 2021-08-11 14:11:26 +0100

FrédéricC gravatar image

I apologize if this question is too naive.

I need to know the irreducible components of an algebraic scheme defined over $\mathbb{R}$. I can get Sage to do this if I consider the scheme is defined over $\mathbb{Q}$, but this is not sufficient to answer my question over $\mathbb{R}$.

Can Sage actually do this for real algebraic schemes?

and here is the code I tried:

K = RealField()
A9 = AffineSpace(K, 2, 'a,b')
A9.coordinate_ring().inject_variables()
W=A9.subscheme([a*b^2]);
W.is_irreducible()
edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted
0

answered 2018-09-19 22:51:29 +0100

tmonteil gravatar image

As a general advice, note that when you write

sage: K = RealField()

You do not define the genuine real field, but an approximation made of floating-points numbers with 53 bits of precision:

sage: K
Real Field with 53 bits of precision

This is not a safe place for doing algebraic geometry. Usually, i would recommend to work on the algebraic field QQbar or the algebraic real field AA.

Unfortunately, regarding your question, defining K as AA does not solve the problem since the Singular library which is used under the hood for your computation is not able to deal with it.

Sorry not to be able to help more.

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

Stats

Asked: 2018-09-19 22:16:10 +0100

Seen: 249 times

Last updated: Sep 19 '18