ASKSAGE: Sage Q&A Forum - Latest question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 19 Sep 2018 15:16:10 -0500Real Algebraic Scheme questionhttp://ask.sagemath.org/question/43704/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 $\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()tlaneWed, 19 Sep 2018 15:16:10 -0500http://ask.sagemath.org/question/43704/