[sage-devel] Re: no conversion between number fields (extensions) over base rings which have conversion

2018-10-18 Thread Nils Bruin
On Thursday, October 18, 2018 at 11:55:14 AM UTC-7, Simon Brandhorst wrote: > I would say because there is no canonically defined embedding as one can > send i to -i as well. > > That's in principle true, but in sage names of generators carry essential information. For instance: sage:

[sage-devel] Re: no conversion between number fields (extensions) over base rings which have conversion

2018-10-18 Thread Simon Brandhorst
I would say because there is no canonically defined embedding as one can send i to -i as well. On Thursday, October 18, 2018 at 1:38:24 PM UTC+2, Daniel Krenn wrote: > > sage: CyclotomicField(3).extension(x^2+1, 'i')(QQ.extension(x^2+1, > 'i').gen()) > > returns > > TypeError: Cannot coerce