Revision history [back]
 | 1 | initial version |
You can define an iterated extension using a list:
K.<a,b,c> = NumberField([x^2 + 2, x^3 + 3, x^3 + 2])
Note that the last polynomial is used for the first extension, and so on.
Then you can get the list of embeddings and choose one using for instance
embs = K.embeddings(ComplexField(59)); embs
my_emb = embs[0]
my_emb(a**3+b+c)
But the following does not work so far:
K.<a,b,c> = NumberField([x^2 + 2, x^3 - 3, x^3 - 2], embedding=[sqrt(2)*CDF(I),3**(1/3),2**(1/3)])
