to me this looks an unimplemented feature of SR; basically, you want SR to be able to manipulate algebraic numbers with a specified embedding in the same ring with transcendental functions. (perhaps Mathematica does support this, although I'm not 100% sure)
On Thursday, January 5, 2017 at 10:29:44 AM UTC, Daniel Krenn wrote: > > On 2017-01-05 10:55, Daniel Krenn wrote: > > as there is no *canonical* coercion as no embedding of the number field > > is specified. > > > > How can I specify this embedding such that it is used e.g. for the > > symbolic I? > > This looks weird: I is defined in sage.libs.pynac.pynac via > K = QuadraticField(-1, 'I', embedding=CC.gen(), latex_name='i') > pynac_I = K.gen() > so there is an embedding defined, but QQbar this seems to be not > sufficient to recognize it as an embedding into QQbar. > > How can this be fixed? > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
