Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit 707ab45

Browse files
author
Jean-Pierre Flori
committed
Added some doc for default ambient field used when trying
to create embedded number field morphisms.
1 parent fb1cfbc commit 707ab45

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

src/sage/rings/number_field/number_field_morphisms.pyx

+9
Original file line numberDiff line numberDiff line change
@@ -111,6 +111,15 @@ cdef class EmbeddedNumberFieldMorphism(NumberFieldEmbedding):
111111
This allows one to go from one number field in another consistently,
112112
assuming they both have specified embeddings into an ambient field.
113113
114+
If no ambient field is supplied, then the following ambient fields are
115+
tried:
116+
117+
* the pushout of the fields where the number fields are embedded;
118+
119+
* the algebraic closure of the previous pushout;
120+
121+
* `\CC`.
122+
114123
EXAMPLES::
115124
116125
sage: K.<i> = NumberField(x^2+1,embedding=QQbar(I))

0 commit comments

Comments
 (0)