The documentation for extension says that K.extension(f) creates and returns K[x]/(f), which in this case would be an algebra , isomorphic to CC\osum CC\osum CC.
I have no problem with that in principle, though the documentation could be clearer. John On 8 May 2010 11:15, Simon King <simon.k...@nuigalway.ie> wrote: > Hi! > > I wonder whether the following is a bug or a feature: > sage: P.<x> = QQ[] > sage: R = CC.extension(x^3+x^2+1,'a'); R > Univariate Quotient Polynomial Ring in a over Complex Field with 53 > bits of precision with modulus a^3 + a^2 + 1.00000000000000 > > Even though CC is algebraically complete, it is not totally obvious to > me whether the extension method should return CC in this case > (similarly for QQbar and CDF). This is since I could imagine code > which later accesses the generator of the fake extension: > > sage: R.gen() > a > > So, shall I change the extension method for algebraically complete > fields or not? > > Best regards, > Simon > > -- > To post to this group, send an email to sage-devel@googlegroups.com > To unsubscribe from this group, send an email to > sage-devel+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/sage-devel > URL: http://www.sagemath.org > -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
