#6636: Simplification of factorials and binomial coefficients is not very good
-------------------------+--------------------------------------------------
Reporter: jbandlow | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-4.1.2
Component: symbolics | Keywords: symbolics, factorials, binomial
coefficients
Reviewer: | Author:
Merged: |
-------------------------+--------------------------------------------------
Comment(by kcrisman):
A related discussion on sage-devel is [http://groups.google.com/group
/sage-devel/browse_thread/thread/58db110fc55b11e5].
The lack of simplification is a bug, or at least very poorly exposed
functionality, in Maxima. One would think that simplify would include
this... but instead one needs to expose Maxima's *minfactorial*:
{{{
(%i1) fullratsimp(factorial(n)/factorial(n-1));
n!
(%o1) --------
(n - 1)!
(%i2) minfactorial(factorial(n)/factorial(n-1));
(%o2) n
}}}
This should not be hard to add to simplify_full, though.
Also note that the last issue is addressed by #6197.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6636#comment:2>
Sage <http://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 post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
