#14958: Implement pseudo-Conway polynomials
-------------------------------------+-------------------------------------
       Reporter:  pbruin             |         Owner:
           Type:  enhancement        |        Status:  needs_info
       Priority:  major              |     Milestone:  sage-5.12
      Component:  finite rings       |    Resolution:
       Keywords:  Conway polynomial  |     Merged in:
  sd51                               |     Reviewers:
        Authors:  David Roe, Jean-   |   Work issues:  terminology;
  Pierre Flori                       |  possible bug
Report Upstream:  N/A                |  Dependencies:  #14833, #14957
         Branch:                     |
       Stopgaps:                     |
-------------------------------------+-------------------------------------
Changes (by pbruin):

 * status:  needs_review => needs_info
 * work_issues:   => terminology; possible bug


Old description:

> This patch implements pseudo-Conway polynomials, which will be used later
> to enable coercion between finite fields.  This has been split off from
> #8335, and is a dependency of that ticket.

New description:

 This patch implements pseudo-Conway polynomials, which are used to enable
 coercion between finite fields.  This has been split off from #8335, and
 is a dependency of that ticket.

 Apply: [attachment:trac_14958-pseudo_conway.patch]

--

Comment:

 Reasons for status change to needs_info:

 - the 'tree' terminology (see
 http://trac.sagemath.org/ticket/14958#comment:6); I think that
 `PseudoConwayPolyTree` should be changed to `PseudoConwayLattice` or
 something similar.

 - during Sage Days 51, Jenny Cooley found a paper claiming that there is a
 mistake in one of the algorithms in the article of Heath and Loehr cited
 in the code.  We should check that the error is not in this patch.
   - R. Gurjar, Generating Conway polynomials,
 [http://home.iitk.ac.in/~rgurjar/projects/conwayPolynomial.pdf]

--
Ticket URL: <http://trac.sagemath.org/ticket/14958#comment:8>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to