Replace (simplify (list '(%beta)) ...) with (ftake* '%beta ...)
It's nicer to use ftake* to replace the calls to simplify. It's less
typing for one, but it also makes it clearer what we want and more
consistent through the code base so that if we need to do something
with ftake*, it's automatically handled everywhere.
Update give-up in def-simplifier to take optional args
Modify give-up in def-simplifier to take optional args, defaulting to
the args of the simplifier. This allows simplifiers like the
simplifier for genfact to specify new args before giving up. The new
args take the floor of the second arg if possible, so genfact(a,3/2,c)
will return genfact(a,1,c). Not sure why that is, but that's how it
currently works.
Testsuite passes.
564dddc...
by
Barton Willis <email address hidden>
Slightly more efficient version of gather-args-of . This version eliminates redundant substitutions.
1194492...
by
Barton Willis <email address hidden>
Improvements to tlimit:
(a) taylim now recurses on the order until either the recursion depth is 15 or the Taylor polynomial is nonzero.
(b) taylim uses stirling0--this fixes some tlimit bugs with gamma expressions.