Opened 8 years ago

Last modified 3 years ago

#10086 new defect

Coercion works incorrectly for power series over power series

Reported by: schilly Owned by: sage-combinat
Priority: major Milestone: sage-6.4
Component: combinatorics Keywords: LazyPowerSeries
Cc: axel.bacher@…, mhansen, mantepse Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps: todo

Description (last modified by chapoton)

This was reported via the "Report a Problem" link:

When I try the following: 

S1 = LazyPowerSeriesRing(ZZ)
S2 = LazyPowerSeriesRing(S1)

t = S1.term(1, 1) # same results with t = S1.gen()
tt = S2(t)
tt.coefficient(0)

this yields 0. Trying 

tt.aorder

I get 1.

The series tt is the series with constant term equal to t, so its order should be zero and its 0th coefficient should be t.

Change History (9)

comment:1 Changed 8 years ago by burcin

  • Cc mhansen added
  • Component changed from symbolics to combinatorics
  • Owner changed from burcin to sage-combinat

comment:2 Changed 6 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:3 Changed 5 years ago by mantepse

  • Cc mantepse added
  • Keywords LazyPowerSeries added

comment:4 Changed 5 years ago by mhansen

A fix is in #15673

comment:5 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:6 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:7 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:8 Changed 3 years ago by jakobkroeker

  • Stopgaps set to todo

comment:9 Changed 3 years ago by chapoton

  • Description modified (diff)
Note: See TracTickets for help on using tickets.