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

Commit 03aabf5

Browse files
committed
34212: correct examples
1 parent 6fb2387 commit 03aabf5

File tree

2 files changed

+11
-7
lines changed

2 files changed

+11
-7
lines changed

src/sage/rings/number_field/number_field.py

+3-3
Original file line numberDiff line numberDiff line change
@@ -9339,12 +9339,12 @@ def logarithmic_embedding(self, prec=53):
93399339
93409340
::
93419341
9342-
sage: K.<a> = NumberField(x^4 - 8*x^2 + 3)
9343-
sage: f = logarithmic_embedding(K)
9342+
sage: F.<a> = NumberField(x^4 - 8*x^2 + 3)
9343+
sage: f = F.logarithmic_embedding()
93449344
sage: f(0)
93459345
(-1, -1, -1, -1)
93469346
sage: f(7)
9347-
(3.89182029811063, 3.89182029811063, 3.89182029811063, 3.89182029811063)
9347+
(1.94591014905531, 1.94591014905531, 1.94591014905531, 1.94591014905531)
93489348
"""
93499349
def closure_map(x, prec=53):
93509350
"""

src/sage/rings/number_field/number_field_rel.py

+8-4
Original file line numberDiff line numberDiff line change
@@ -99,8 +99,12 @@
9999
from sage.rings.number_field.morphism import RelativeNumberFieldHomomorphism_from_abs
100100
from sage.libs.pari.all import pari_gen
101101

102-
from sage.rings.rational_field import QQ
103-
from sage.rings.integer_ring import ZZ
102+
from sage.categories.homset import Hom
103+
from sage.categories.sets_cat import Sets
104+
from sage.modules.free_module import VectorSpace
105+
from sage.modules.free_module_element import vector
106+
107+
from sage.rings.all import RR, QQ, ZZ
104108

105109

106110
def is_RelativeNumberField(x):
@@ -2084,7 +2088,7 @@ def logarithmic_embedding(self, prec=53):
20842088
sage: K.<k> = CyclotomicField(3)
20852089
sage: R.<x> = K[]
20862090
sage: L.<l> = K.extension(x^5 + 5)
2087-
sage: f = logarithmic_embedding(L)
2091+
sage: f = L.logarithmic_embedding()
20882092
sage: f(0)
20892093
(-1, -1, -1, -1, -1)
20902094
sage: f(5)
@@ -2096,7 +2100,7 @@ def logarithmic_embedding(self, prec=53):
20962100
sage: K.<i> = NumberField(x^2 + 1)
20972101
sage: t = K['t'].gen()
20982102
sage: L.<a> = K.extension(t^4 - i)
2099-
sage: f = logarithmic_embedding(L)
2103+
sage: f = L.logarithmic_embedding()
21002104
sage: f(0)
21012105
(-1, -1, -1, -1, -1, -1, -1, -1)
21022106
sage: f(3)

0 commit comments

Comments
 (0)