diff --git a/src/sage/rings/valuation/inductive_valuation.py b/src/sage/rings/valuation/inductive_valuation.py index 31479167c15..08a34dc905a 100644 --- a/src/sage/rings/valuation/inductive_valuation.py +++ b/src/sage/rings/valuation/inductive_valuation.py @@ -1259,8 +1259,7 @@ def equivalence_decomposition(self, f, assume_not_equivalence_unit=False, coeffi sage: v1 = v0.mac_lane_step(G)[0] sage: V = v1.mac_lane_step(G) sage: v2 = V[0] - sage: F = v2.equivalence_decomposition(G); F - (x^4 + 2*alpha + 1)^3 * (x^4 + 1/2*alpha^4 + alpha + 1)^3 * (x^4 + 1/2*alpha^4 + 3*alpha + 1)^3 + sage: F = v2.equivalence_decomposition(G) sage: v2.is_equivalent(F.prod(), G) True