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:
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