From d81797e916815e7bcc3a74766f14b6fdf8587f04 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Chapoton?= Date: Sat, 9 Jan 2021 18:23:49 +0100 Subject: [PATCH] one more detail in dynamics --- src/sage/dynamics/arithmetic_dynamics/projective_ds.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/sage/dynamics/arithmetic_dynamics/projective_ds.py b/src/sage/dynamics/arithmetic_dynamics/projective_ds.py index 47cffe5b826..e61061c5622 100644 --- a/src/sage/dynamics/arithmetic_dynamics/projective_ds.py +++ b/src/sage/dynamics/arithmetic_dynamics/projective_ds.py @@ -6996,10 +6996,10 @@ def potential_good_reduction(self, prime): old_parent = K.defining_polynomial().parent() new_parent = field_of_definition_periodic.defining_polynomial().parent() hom = old_parent.hom([new_parent.gens()[0]]) - if hom(K.defining_polynomial()) != \ - field_of_definition_periodic.defining_polynomial(): - raise ValueError('prime ideal of %s ' %K + \ - 'but field of definition of fixed points is %s. ' %L + \ + L = field_of_definition_periodic + if hom(K.defining_polynomial()) != L.defining_polynomial(): + raise ValueError('prime ideal of %s ' % K + + 'but field of definition of fixed points is %s. ' % L + 'see documentation for examples') embedding = K.embeddings(field_of_definition_periodic)[0] prime = embedding(prime)