User defined Embedding
I have 2 isomorphic number fields L.and M., and I would like to define an embedding from L to M sending a to b. Is this possible without using the command L.embeddings(M)?
I have 2 isomorphic number fields L.and M., and I would like to define an embedding from L to M sending a to b. Is this possible without using the command L.embeddings(M)?
Here is a possible way (guessing that a
is a generator of L
and b
is a generator of M
):
sage: L.hom([b], M)
Note that the Python variable b
should be the name of the generator b
of M
. If it is not already the case, you can obtain it by doing first:
sage: M.inject_variables()
or
sage: b = M.gen()
Please start posting anonymously - your entry will be published after you log in or create a new account.
Asked: 2017-11-08 07:30:00 +0100
Seen: 362 times
Last updated: Nov 08 '17
From number field to interval field
embed planar graph with prescribed outer face
Combinatorial data for planar graph
Embedding a graphics/plot on a torus
Testing planarity on embedding gives wrong result
Define different embedding of a number field
Substituting a complex embedding for a number field element
Could you please provide a concrete example of
L
andM
? If you want an adapted answer, it is really important to provide a concrete example of L and M you want to deal with, so that we can test on them and show explicit behaviors.