53c3d4e...
by
Raymond Toy <email address hidden>
on 2021-08-04
Remove old simp functions
These were all replaced by def-simplifier, so we can remove the old
versions now.
080636f...
by
Raymond Toy <email address hidden>
on 2021-08-04
Remove explicit defprops for operator and noun/verb
These are all handled by def-simplifier, so we can remove these
explicit setters.
26d4f18...
by
Raymond Toy <email address hidden>
on 2021-08-04
Convert the rest to use def-simplifier
We also fix up a few places where $elliptic_pi was used instead of
%elliptic_pi.
d63e667...
by
Raymond Toy <email address hidden>
on 2021-08-04
Convert inverse Jacobi functions to def-simplifier.
5ae12ac...
by
Raymond Toy <email address hidden>
on 2021-08-04
Convert remaining Jacobi functions to def-simplifier.
76134ee...
by
Raymond Toy <email address hidden>
on 2021-08-04
Convert inverse_ jacobi_ {sn,cn, dn} to def-simplifier.
c066066...
by
Raymond Toy <email address hidden>
on 2021-08-03
Convert jacobi sn/cn/dn to use def-simplifier.
No other changes.
83f9bf5...
by
Raymond Toy <email address hidden>
on 2021-08-03
Make GIVE-UP a function instead of a macro
Rather than deal with hairy backquoting, make GIVE-UP a function with
simple backquoting to splice in the noun name and the arg list.
Hopefully an extra function call (if not inlined) isn't important at
the very end of a potentially long chain of cond cases.
9ab8c58...
by
Raymond Toy <email address hidden>
on 2021-08-03
Update def-simplifying-fun based on mail discussions
def-simplifying-fun should create the $ function (verb function) at
all. Everything is handled by the noun function that simplifies the
args.
Rename def-simplifying-fun to def-simplifier.
Update ellipt.lisp to use the new name.
3d783d6...
by
Raymond Toy <email address hidden>
on 2021-08-02
Update elliptic_[fe] to use def-simplifying-fun
As it says. But also fixed up a bunch of places where we used
$elliptic_[fe] instead of %elliptic_[fe].
It was nice that the test suite produced errors for this, even though
the printed form looked identical. Only by examining the actual lisp
form did I find out the wrong thing was produced.