@@ -9317,31 +9317,31 @@ def logarithmic_embedding(self, prec=53):
9317
9317
9318
9318
OUTPUT:
9319
9319
9320
- - a tuple of real numbers .
9320
+ - the morphism of ``self`` under the logarithmic embedding in the category Set .
9321
9321
9322
9322
EXAMPLES::
9323
9323
9324
- sage: CF.<a> = CyclotomicField(97 )
9324
+ sage: CF.<a> = CyclotomicField(5 )
9325
9325
sage: f = CF.logarithmic_embedding()
9326
9326
sage: f(0)
9327
- (-1)
9327
+ (-1, -1 )
9328
9328
sage: f(7)
9329
- (1.94591014905531 )
9329
+ (3.89182029811063, 3.89182029811063 )
9330
9330
9331
9331
::
9332
9332
9333
9333
sage: K.<a> = NumberField(x^3 + 5)
9334
9334
sage: f = K.logarithmic_embedding()
9335
9335
sage: f(0)
9336
- (-1)
9336
+ (-1, -1 )
9337
9337
sage: f(7)
9338
- (1.94591014905531)
9338
+ (1.94591014905531, 3.89182029811063 )
9339
9339
"""
9340
9340
def closure_map (x , prec = 53 ):
9341
9341
"""
9342
9342
The function closure of the logarithmic embedding.
9343
9343
"""
9344
- K = self . base_ring ()
9344
+ K = self
9345
9345
K_embeddings = K .places (prec )
9346
9346
r1 , r2 = K .signature ()
9347
9347
r = r1 + r2 - 1
@@ -9362,9 +9362,8 @@ def closure_map(x, prec=53):
9362
9362
9363
9363
return vector (x_logs )
9364
9364
9365
- log_map = closure_map (self (0 ), prec )
9366
- hom = Hom (self , VectorSpace (RR , len (log_map )), Sets ())
9367
- return hom (log_map )
9365
+ hom = Hom (self , VectorSpace (RR , len (closure_map (self (0 ), prec ))), Sets ())
9366
+ return hom (closure_map )
9368
9367
9369
9368
def places (self , all_complex = False , prec = None ):
9370
9369
r"""
0 commit comments