#18600: Fix several methods for sparse polynomials
-------------------------------------+-------------------------------------
       Reporter:  bruno              |        Owner:
           Type:  defect             |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.8
      Component:  commutative        |   Resolution:
  algebra                            |    Merged in:
       Keywords:  sparse polynomial  |    Reviewers:
        Authors:  Bruno Grenet       |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  ecffcef63b5d0e298af36bd487df165bbf6a42dd
  u/bruno/polynomial_sparse          |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------
Changes (by bruno):

 * status:  new => needs_review


Old description:

> In tickets #18518 and #18585, I've fixed some problems in two methods of
> the class `Polynomial` to make them work with high-degree sparse
> polynomials. Globally, many methods in this class are written with dense
> polynomials (or at least low-degree polynomials) in mind.
>
> The purpose of this ticket is to provide easy fixes for many of these
> methods. The list of the methods I've treated is:
> - `denominator` in #18518
> - `_cmp_` in #18585
> - `integral`
> - `is_nilpotent`
> - `padded_list`
> - `newton_slopes`
> - `reverse`
> - `shift`
> - `truncate`
> - `norm`
>
> For `integral`, I also correct some bug that affects all polynomials
> (dense as well as sparse).
>
> **Note.** This is a work in progress.

New description:

 In tickets #18518 and #18585, I've fixed some problems in two methods of
 the class `Polynomial` to make them work with high-degree sparse
 polynomials. Globally, many methods in this class are written with dense
 polynomials (or at least low-degree polynomials) in mind.

 The purpose of this ticket is to provide fixes for some of these methods.
 The list of the methods I've treated is:

 - `denominator`: in #18518
 - `_cmp_`: in #18585

 - `integral`: new method in `Polynomial_generic_sparse` + correct a slight
 bug in `Polynomial`
 - `is_nilpotent`: fix in `Polynomial`
 - `is_unit`: fix in `Polynomial`
 - `padded_list`: fix in `Polynomial`
 - `newton_slopes`: new method in `Polynomial_generic_sparse`
 - `reverse`: new method in `Polynomial_generic_sparse`
 - `shift`: fix in `Polynomial_generic_sparse`
 - `truncate`: new method in `Polynomial_generic_sparse`
 - `norm`: fix in `Polynomial`

 Other methods remain to be treated, but they won't be fixed in this
 ticket. Most importantly is the method `__call__`, but I prefer to wait
 for #18282 to be closed.

--

--
Ticket URL: <http://trac.sagemath.org/ticket/18600#comment:2>
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/d/optout.

Reply via email to