Opened 14 months ago
Last modified 3 months ago
#32111 new defect
Unstable minimal polynomial for element of 2-adic Eisenstein Extension Field in pi defined by x^4 - 2*a
Reported by: | gh-kliem | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.7 |
Component: | algebra | Keywords: | minimal polynomial, padics |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
The following doctest in src/sage/rings/padics/padic_generic_element.pyx
is unstable:
sage: K.<a> = QqCR(2^3,5) sage: S.<x> = K[] sage: L.<pi> = K.extension(x^4 - 2*a) ... sage: elt = L.random_element() sage: P = elt.minimal_polynomial() sage: P(elt) == 0 True
Sometimes it's not exact, ok the ring is not exact. However, sometimes we get an error:
ArithmeticError: vector is not in free module
and from the documentation it is not clear when and why this happens.
In #29979, a doctest was marked not tested
because of this.
Change History (4)
comment:1 Changed 13 months ago by
- Milestone changed from sage-9.4 to sage-9.5
comment:2 Changed 11 months ago by
- Description modified (diff)
comment:3 Changed 8 months ago by
- Milestone changed from sage-9.5 to sage-9.6
comment:4 Changed 3 months ago by
- Milestone changed from sage-9.6 to sage-9.7
Note: See
TracTickets for help on using
tickets.