|
Size: 390
Comment:
|
← Revision 7 as of 2012-02-22 22:31:34 ⇥
Size: 672
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| Sebastian Pauli, Brian Sinclair, Maurizio Monge, David Roe | Sebastian Pauli, Brian Sinclair, Maurizio Monge, David Roe, Xavier Caruso |
| Line 7: | Line 7: |
| Implement a native Sage algorithm for local field factorization. For more detail, see [[http://wiki.sagemath.org/padics/PolynomialFactoring]]. | Implement a native Sage algorithm for local field polynomial factorization. For more detail, see [[http://wiki.sagemath.org/padics/PolynomialFactoring]]. |
| Line 11: | Line 11: |
| A functioning version of the algorithm is up: See [[http://trac.sagemath.org/sage_trac/ticket/12561|#12561]]. | A functioning version of the algorithm is up: See [[http://trac.sagemath.org/sage_trac/ticket/12561|#12561]]. Initial doctests show that some examples are incorrectly returned as irreducible. === A question === Given a polynomial P, can we derive from this algorithm a way to compute the graph (embedded in the Berkovich line) whose edges are the roots of P? |
People
Sebastian Pauli, Brian Sinclair, Maurizio Monge, David Roe, Xavier Caruso
Description
Implement a native Sage algorithm for local field polynomial factorization. For more detail, see http://wiki.sagemath.org/padics/PolynomialFactoring.
Current Progress
A functioning version of the algorithm is up: See #12561.
Initial doctests show that some examples are incorrectly returned as irreducible.
A question
Given a polynomial P, can we derive from this algorithm a way to compute the graph (embedded in the Berkovich line) whose edges are the roots of P?