Ask Your Question
0

embeddings in NumberFieldTower?

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

apeirogon gravatar image

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

FrédéricC gravatar image

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!

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted
1

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

FrédéricC gravatar image

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 more

Comments

Thanks! Seems to work.

apeirogon gravatar imageapeirogon ( 2014-12-22 05:03:39 +0100 )edit

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

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

Your Answer

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

Add Answer

Question Tools

1 follower

Stats

Asked: 2014-12-21 05:37:28 +0100

Seen: 324 times

Last updated: Dec 22 '14