Opened 7 years ago
Last modified 5 months ago
#16572 new enhancement
Factorization in function fields
Reported by: | saraedum | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-6.4 |
Component: | commutative algebra | Keywords: | sd59, sd86.5 |
Cc: | Merged in: | ||
Authors: | Julian Rüth | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #16564, #26128 | Stopgaps: |
Description (last modified by )
Currently, this does not work:
sage: F0.<x> = FunctionField(GF(3)) sage: R.<y> = F0[] sage: F.<y> = F0.extension(y^2 - x) sage: S.<t> = F[] sage: f = t^2 - x NotImplementedError
This is implemented here: https://github.com/saraedum/sage/blob/experimental/src/sage/rings/function_field/function_field.py#L1717
Change History (9)
comment:1 Changed 7 years ago by
- Dependencies set to #16564
comment:2 Changed 7 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:3 Changed 4 years ago by
- Keywords sd86.5 added
comment:4 Changed 4 years ago by
- Description modified (diff)
comment:5 Changed 4 years ago by
comment:6 Changed 3 years ago by
- Dependencies changed from #16564 to #16564, #26128
comment:7 Changed 8 months ago by
- Description modified (diff)
comment:8 Changed 7 months ago by
comment:9 Changed 5 months ago by
slelievre, sorry, I don't understand. This is not implemented on any particular branch yet. There is a draft of an implementation at the link above but that branch contains tons of other experimental changes as well.
Note: See
TracTickets for help on using
tickets.
Branch?