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:

Status badges

Description (last modified by saraedum)

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 saraedum

  • Dependencies set to #16564

comment:2 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:3 Changed 4 years ago by saraedum

  • Keywords sd86.5 added

comment:4 Changed 4 years ago by saraedum

  • Description modified (diff)

comment:5 Changed 4 years ago by saraedum

  • Authors changed from Julian Rueth to Julian Rüth

comment:6 Changed 3 years ago by saraedum

  • Dependencies changed from #16564 to #16564, #26128

comment:7 Changed 8 months ago by saraedum

  • Description modified (diff)

comment:8 Changed 7 months ago by slelievre

Branch?

comment:9 Changed 5 months ago by saraedum

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.