No, it is not an exact computation over the complex, they are gauss
rationals a+b*I where a and b are rationals. As far as I know there is
no exact complex field implementation that is good for working with
ideals.

What kind of generators of ideals are you dealing with?

Note that even if the input generators are in QQ, the answers of
computations are to be interpreted over the complex.

On Mar 1, 11:59 am, Robert Goss <goss.rob...@gmail.com> wrote:
> Thank you very much for your advice. I was trying to work out if the
> problem lay with me sage or documentation.
>
> > Do not use ideals over CC. CC is an inexact ring, so most operations
> > will fail. Work instead over the rationals.
>
> > R.<x,y> = PolynomialRing(QQ,2)
>
> > or if you need complex numbers, you may try with a number field
>
> > N.<I> = NumberField(x^2+1)
> > R.<x,y> = PolynomialRing(N, 2)
>
> Thank you for this I have a lot of computations to do over the complex
> number field. While i knew that CC was inexact i wasnt aware of
> NumberField. Is this the best was of having an exact version of the
> complex numbers?
>
> Robert

-- 
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at 
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org

Reply via email to