maxima:rtoy-add-def-simp-beta

Last commit made on 2023-07-12
Get this branch:
git clone -b rtoy-add-def-simp-beta https://git.launchpad.net/maxima

Branch merges

Branch information

Name:
rtoy-add-def-simp-beta
Repository:
lp:maxima

Recent commits

4caa61f... by Raymond Toy <email address hidden>

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.

af220c4... by Raymond Toy <email address hidden>

Remove old commented out beta simplifer that was replaced.

446bc61... by Raymond Toy <email address hidden>

Replace simpbeta with def-simplifier for beta

This means we need to replace $beta with %beta everywhere.

b08e25c... by Raymond Toy <email address hidden>

Remove $log, $plog, and $gamma from list

These have functions have def-simplifiers that set up the alias and
reversealias properties correctly, so we don't need to do that here.

Full testsuite (main and share) passes.

b38d397... by Raymond Toy <email address hidden>

Remove old commented out stuff that has been replaced or updated

e9dfd29... by Raymond Toy <email address hidden>

Remove defmfun $genfact

With the simplifier, we should have the function $genfact.

But we need to alias !! to %genfact, not $genfact (in nparse.lisp).

Finally, remove $genfact from the code that sets the alias and
reversealias; def-simplifier does that for us already.

7a4e86f... by Raymond Toy <email address hidden>

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.

Fixes: rtest_limit bugs 226 & 227; rtest_limit_extra bugs 53, 227,228,230,231, and 233.

Updated testsuite.lisp, rtest_abs_integrate, and rtest_simplify_sum.

Appended a some new tests to rtest_limit_extra.mac that aren't related to this change in tlimit.lisp.

Tested with sbcl 2.2.2 and Clozure CL Clozure Common Lisp Version 1.12 (v1.12) WindowsX8664

e458e5d... by David Billinghurst <email address hidden>

Replace call to APPROX with call to APPSLN. in COLNEW Fortran example.

The call to interpolation routine APPROX is wrong. (The comment
"Not sure if this is the correct replacement for the above call."
was correct.)

Use the convenience routine APPSLN instead.