Opened 2 years ago

Last modified 2 years ago

#21307 new defect

TypeError when simplifying factorial ratio

Reported by: arminstraub Owned by:
Priority: major Milestone: sage-7.4
Component: symbolics Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

Trying to simplify symbolic expressions, I just ran into the following issue (naturally, this is simplified from what I was working with):

sage: ((2^x)^2/((2^(x+1))^2*binomial(2*x,x))).full_simplify()
...
TypeError: ECL says: In function CAR, the value of the first argument is
  -2
which is not of the expected type LIST

Change History (1)

comment:1 Changed 2 years ago by arminstraub

I was trying to trace the issue and think that things go wrong in Maxima's factcomb. A minimal example of sorts is:

sage: maxima_calculus("factcomb(2^(2*x-2*(x+1))*factorial(x))")

If that is indeed the source of the trouble, it should probably be reported upstream. Sage v7.3 comes with Maxima v5.35.1. Can someone with access to the newest version of Maxima (at least 5.38.1) quickly check if this issue still exists?

Note: See TracTickets for help on using tickets.