Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Factorization in towers of function fields #26124

Closed
saraedum opened this issue Aug 25, 2018 · 3 comments
Closed

Factorization in towers of function fields #26124

saraedum opened this issue Aug 25, 2018 · 3 comments
Labels
c: commutative algebra r: duplicate t: enhancement

Comments

@saraedum
Copy link
Member

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

CC: @sagetrac-swewers

Component: commutative algebra

Author: Julian Rüth

Issue created by migration from https://trac.sagemath.org/ticket/26124
@saraedum saraedum added this to the sage-8.4 milestone Aug 25, 2018
@saraedum
Copy link
Member Author

comment:1

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

@saraedum
Copy link
Member Author

comment:2

I have a feeling that I have created this ticket before but I tried hard and could not find it.

@saraedum
Copy link
Member Author

comment:3

Here it is #16572. Sorry for the noise.

@saraedum saraedum removed this from the sage-8.4 milestone Aug 25, 2018
@embray embray closed this as completed Nov 8, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: commutative algebra r: duplicate t: enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@saraedum @embray