Changes between Initial Version and Version 6 of Ticket #30520


Ignore:
Timestamp:
03/24/21 18:59:43 (3 months ago)
Author:
slelievre
Comment:

Any insights from Maxima or Sage symbolics experts?

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #30520

    • Property Cc gh-DaveWitteMorris gh-macrakis gh-robert-dodier slelievre added
    • Property Milestone changed from sage-9.2 to sage-9.3
  • Ticket #30520 – Description

    initial v6  
    1 As reported on [https://ask.sagemath.org/question/53345/sage-symbolic-math-simplification-error/ this ask question]:
     1Reported at [https://ask.sagemath.org/question/53345 Ask Sage question 53345].
    22
     3Before this ticket, the output for this product
     4has an incorrect leading minus sign:
    35{{{
    4 sage: var('N,q,k')
    5 (N, q, k)
    6 sage: product(1-q^k, k, 1, N)
     6sage: N, q, k = SR.var('N, q, k')
     7sage: product(1 - q^k, k, 1, N)
    78-(-1)^N*product(q^k - 1, k, 1, N)
    89}}}
    910
    10 The result should be `(-1)^N*product(q^k - 1, k, 1, N)` without a leading minus sign.
     11After this ticket, the output is correct:
     12{{{
     13sage: N, q, k = SR.var('N, q, k')
     14sage: product(1 - q^k, k, 1, N)
     15(-1)^N*product(q^k - 1, k, 1, N)
     16}}}