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)?
1 answer
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()
Stats
Asked: 2017-11-08 00:30:00 -0500
Seen: 95 times
Last updated: Nov 08 '17
Could you please provide a concrete example of
LandM? 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.