[sage-devel] Re: NumberField's with embeddings

2019-02-09 Thread Matthias Koeppe
On Thursday, February 7, 2019 at 10:11:06 AM UTC-8, Brent W. Baccala wrote: > > > So I guess I'll create a new NumberField equipped with the obvious > embedding. > > sage: nf2. = NumberField(nf.polynomial(), embedding=mor(nf.0)) > sage: nf2 > Number Field in n with defining polynomial y^2 - 2 > sa

[sage-devel] Re: NumberField's with embeddings

2019-02-09 Thread Matthias Koeppe
On Thursday, February 7, 2019 at 10:37:50 AM UTC-8, Nils Bruin wrote: > > > On Thursday, February 7, 2019 at 10:11:06 AM UTC-8, Brent W. Baccala wrote: >> >> >> Q1: Shouldn't `number_field_elements_from_algebraics` return a >> NumberField with an embedding attached? >> > > Doesn't https://trac.sag

[sage-devel] Re: NumberField's with embeddings

2019-02-07 Thread Nils Bruin
On Thursday, February 7, 2019 at 10:11:06 AM UTC-8, Brent W. Baccala wrote: > > > Q1: Shouldn't `number_field_elements_from_algebraics` return a NumberField > with an embedding attached? > Doesn't https://trac.sagemath.org/ticket/23808 address this? [answering my own question: no it doesn't! Th