Processing math: 100%

First time here? Check out the FAQ!

Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Real Algebraic Scheme question

I apologize if this question is too naive.

I need to know the irreducible components of an algebraic scheme defined over R. I can get Sage to do this if I consider the scheme is defined over Q, but this is not sufficient to answer my question over 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()

Real Algebraic Scheme question

I apologize if this question is too naive.

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

Can Sage actually do this for real algebraic schemes?

and here is the code I tried: tried:

K = RealField()
A9 = AffineSpace(K, 2, 'a,b')
A9.coordinate_ring().inject_variables()
W=A9.subscheme([a*b^2]);
W.is_irreducible()

W.is_irreducible()
click to hide/show revision 3
retagged

updated 3 years ago

FrédéricC gravatar image

Real Algebraic Scheme question

I apologize if this question is too naive.

I need to know the irreducible components of an algebraic scheme defined over R. I can get Sage to do this if I consider the scheme is defined over Q, but this is not sufficient to answer my question over 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()