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

Commit

Permalink
Do not test for exact factorization
Browse files Browse the repository at this point in the history
since it is random with relative finite field extensions currently
  • Loading branch information
saraedum committed Feb 15, 2022
1 parent c44129b commit b7179f7
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions src/sage/rings/valuation/inductive_valuation.py
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit b7179f7

Please sign in to comment.