Opened 3 years ago
Closed 2 years ago
#26124 closed enhancement (duplicate)
Factorization in towers of function fields
Reported by: | saraedum | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | commutative algebra | Keywords: | |
Cc: | swewers | Merged in: | |
Authors: | Julian Rüth | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
Currently, the following does not work:
sage: k = GF(2) sage: K.<x> = FunctionField(k) sage: R.<u> = K[] sage: L.<u> = K.extension(u^3-x) sage: R.<t> = L[] sage: (t^2+u*t).factor() NotImplementedError
Change History (5)
comment:1 Changed 3 years ago by
comment:2 Changed 3 years ago by
I have a feeling that I have created this ticket before but I tried hard and could not find it.
comment:3 Changed 3 years ago by
- Milestone changed from sage-8.4 to sage-duplicate/invalid/wontfix
- Status changed from new to needs_review
Here it is #16572. Sorry for the noise.
comment:4 Changed 3 years ago by
- Status changed from needs_review to positive_review
comment:5 Changed 2 years ago by
- Resolution set to duplicate
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Turns out I have already implemented this a while ago: https://github.com/saraedum/sage/blob/experimental/src/sage/rings/function_field/function_field.py#L1717