#9457: power series comparison should use padded_list
-------------------------------------+-------------------------------------
       Reporter:  niles              |        Owner:  malb
           Type:  defect             |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.1
      Component:  commutative        |   Resolution:
  algebra                            |    Merged in:
       Keywords:                     |    Reviewers:
        Authors:  niles              |  Work issues:  resolve problems with
Report Upstream:  N/A                |  sha_tate.py
         Branch:                     |       Commit:
  u/niles/ticket/9457                |  83d1220d288e46df6e3e933a79faa4fc064ccefa
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by niles):

 * commit:   => 83d1220d288e46df6e3e933a79faa4fc064ccefa
 * branch:   => u/niles/ticket/9457


Old description:

> Comparison of power series uses list instead of padded_list; this means
> that power series equality can fail:
>
> {{{
> sage: A.<t> = PowerSeriesRing(ZZ)
> sage: g = t + t^3 + t^5 + O(t^6); g
> t + t^3 + t^5 + O(t^6)
> sage: [g == g.add_bigoh(i) for i in range(7)]
> [True, False, True, False, True, False, True]
> sage: g.add_bigoh(3).list()
> [0, 1]
> sage: g.add_bigoh(3).padded_list()
> [0, 1, 0]
> }}}
>
> == Apply ==
>
> * [attachment: trac_9457_power_series_eq_rebase.patch]

New description:

 Comparison of power series uses list instead of padded_list; this means
 that power series equality can fail:

 {{{
 sage: A.<t> = PowerSeriesRing(ZZ)
 sage: g = t + t^3 + t^5 + O(t^6); g
 t + t^3 + t^5 + O(t^6)
 sage: [g == g.add_bigoh(i) for i in range(7)]
 [True, False, True, False, True, False, True]
 sage: g.add_bigoh(3).list()
 [0, 1]
 sage: g.add_bigoh(3).padded_list()
 [0, 1, 0]
 }}}

 == Apply ==

 * [attachment:trac_9457_power_series_eq_rebase.patch]

--

Comment:

 Last 10 new commits:
 ||[[http://git.sagemath.org/sage.git/commit/?id=83d1220|83d1220]]||{{{rebase
 to 6.0 and #12555}}}||
 ||[[http://git.sagemath.org/sage.git/commit/?id=aa65f59|aa65f59]]||{{{Removed
 removed file from doc.}}}||
 ||[[http://git.sagemath.org/sage.git/commit/?id=f338b7f|f338b7f]]||{{{Fix
 wrong NOTE block.}}}||
 ||[[http://git.sagemath.org/sage.git/commit/?id=fcf6ad2|fcf6ad2]]||{{{Fix
 for comparison of padics.}}}||
 ||[[http://git.sagemath.org/sage.git/commit/?id=5f00813|5f00813]]||{{{Fixes
 for "sage not defined".}}}||
 ||[[http://git.sagemath.org/sage.git/commit/?id=89ef12d|89ef12d]]||{{{Merge
 remote-tracking branch 'origin/develop' into ticket/12555}}}||
 ||[[http://git.sagemath.org/sage.git/commit/?id=0e7c964|0e7c964]]||{{{Fixed
 failing doctest (likely due to #15422).}}}||
 ||[[http://git.sagemath.org/sage.git/commit/?id=7d7ff1f|7d7ff1f]]||{{{Merge
 branch 'master' into public/padics/templates-12555}}}||
 ||[[http://git.sagemath.org/sage.git/commit/?id=4b633ab|4b633ab]]||{{{Fixes
 for some missing/duplicated chunks.}}}||
 ||[[http://git.sagemath.org/sage.git/commit/?id=66e5746|66e5746]]||{{{From
 Trac patches: trac_12555-pdf_fix-ts.patch.}}}||

--
Ticket URL: <http://trac.sagemath.org/ticket/9457#comment:21>
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