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()
Asked: 7 years ago
Seen: 393 times
Last updated: Nov 08 '17
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.