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