embeddings in NumberFieldTower?

asked 2014-12-21 05:37:28 +0200

updated 2015-01-13 21:09:05 +0200

5125 ●3 ●43 ●111

I'm trying to do my calculations in a number field tower (or some equivalent), then get the results in real form (or anything that the graphics functions will take). I'm extending the rationals twice.

I've tried constructing the first with NumberField, then using extension, but apparently embedding isn't implemented in extension.

I've tried using NumberFieldTower, but I can't find an equivalent to embedding.

I've tried using NumberField(poly_1, poly_2) or QQ[poly_1, poly_1], but can't figure out how to assign an embedding or something equivalent.

I've considered trying to construct a field homomorphism from the field to the reals, but I don't know sage well enough to figure out if this is possible.

Is there some equivalent way of getting the values that I want?

Thanks!

answered 2014-12-21 12:21:33 +0200

FrédéricC

5125 ●3 ●43 ●111

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)])

edit flag offensive delete link

Comments

Thanks! Seems to work.

apeirogon ( 2014-12-22 05:03:39 +0200 )edit

Could you please upvate and accept my answer (on the left of it) ?

FrédéricC ( 2014-12-23 10:01:47 +0200 )edit

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

embeddings in NumberFieldTower?

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

embeddings in NumberFieldTower? edit

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

embeddings in NumberFieldTower?