Opened 3 years ago

Closed 2 years ago

#22733 closed defect (fixed)

Doctest: bug with first call to ex.series()

Reported by: rws Owned by:
Priority: major Milestone: sage-8.0
Component: symbolics Keywords:
Cc: Merged in:
Authors: Ralf Stephan Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: 92e6f44 (Commits) Commit: 92e6f44e34dfa5e3a8bd68fb90bda06787362bdb
Dependencies: #23134 Stopgaps:

Description

In a fresh Sage: 

sage: var('a b c c0 c1 c2 c3 c4 c5 c6 d i j m n p r k u x y z')
(a, b, c, c0, c1, c2, c3, c4, c5, c6, d, i, j, m, n, p, r, k, u, x, y, z)
sage: a.series(x)
1*x + Order(x^20)
sage: b.series(x)
(b)

sage: var('z0 z')
(z0, z)
sage: z0.series(x)
1*x + Order(x^20)
sage: z.series(x)
(z)

sage: var('z0 z')
(z0, z)
sage: z.series(x)
1*x + Order(x^20)
sage: z0.series(x)
(z0)

It seems to always affect the first call to series.

Change History (8)

comment:1 Changed 3 years ago by rws

  • Dependencies set to pynac-0.7.8
  • Report Upstream changed from N/A to Fixed upstream, in a later stable release.

comment:2 Changed 2 years ago by rws

See also #23072

comment:3 Changed 2 years ago by rws

  • Dependencies changed from pynac-0.7.8 to #23134
  • Report Upstream changed from Fixed upstream, in a later stable release. to N/A

comment:4 Changed 2 years ago by tscrim

Just add a doctest, and I will set a positive review.

comment:5 Changed 2 years ago by rws

  • Branch set to u/rws/bug_with_first_call_to_ex_series__

comment:6 Changed 2 years ago by rws

  • Authors set to Ralf Stephan
  • Commit set to 92e6f44e34dfa5e3a8bd68fb90bda06787362bdb
  • Status changed from new to needs_review
  • Summary changed from Bug with first call to ex.series() to Doctest: bug with first call to ex.series()

Note: The failure is dependent on memory content and changes with every change of the comment part of the code. So, while this is fixed and the test always passes the test might not fail in versions that have the bug reintroduced.

New commits:

​92e6f4422733: Doctest: Bug with first call to ex.series()

comment:7 Changed 2 years ago by tscrim

  • Reviewers set to Travis Scrimshaw
  • Status changed from needs_review to positive_review

It's hard to have tests that are guaranteed to fail if a bug was (re)introduced, so we will just have to do the best we can.

comment:8 Changed 2 years ago by vbraun

  • Branch changed from u/rws/bug_with_first_call_to_ex_series__ to 92e6f44e34dfa5e3a8bd68fb90bda06787362bdb
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.