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

Commit f531b93

Browse files
committed
34212: Correct doc and add an example
1 parent ba8c658 commit f531b93

File tree

1 file changed

+10
-1
lines changed

1 file changed

+10
-1
lines changed

src/sage/rings/number_field/number_field.py

+10-1
Original file line numberDiff line numberDiff line change
@@ -9309,7 +9309,7 @@ def logarithmic_embedding(self, prec=53):
93099309
93109310
The logarithmic embedding is defined as a map from the number field ``self`` to `\RR^n`.
93119311
9312-
It is defined under Definition 4.9.6 in [Cohen1993]_.
9312+
It is defined under Definition 4.9.6 in [Coh1993]_.
93139313
93149314
INPUT:
93159315
@@ -9336,6 +9336,15 @@ def logarithmic_embedding(self, prec=53):
93369336
(-1, -1)
93379337
sage: f(7)
93389338
(1.94591014905531, 3.89182029811063)
9339+
9340+
::
9341+
9342+
sage: K.<a> = NumberField(x^4 - 8*x^2 + 3)
9343+
sage: f = logarithmic_embedding(K)
9344+
sage: f(0)
9345+
(-1, -1, -1, -1)
9346+
sage: f(7)
9347+
(3.89182029811063, 3.89182029811063, 3.89182029811063, 3.89182029811063)
93399348
"""
93409349
def closure_map(x, prec=53):
93419350
"""

0 commit comments

Comments
 (0)