lp:maxima

Author: Jaime Villate
Author Date: 2024-04-19 15:04:27 UTC

Corrects the documentation for ic2 and ode2 (patch sent by Eric Majzoub in the mailing list).

Author: Raymond Toy
Author Date: 2024-04-14 19:58:40 UTC

Enforce valid values for the translator options and add tests.

Enforce valid values for the translator options in [#3703]. Add tests
for these too. Cmucl and gcl pass.

Author: Raymond Toy
Author Date: 2024-04-05 22:45:42 UTC

Fix rtest_unicode_display.mac failures

Update the expected results using the current display code which
changed printed form of the summation sign and product sign.

Author: Robert Dodier
Author Date: 2024-03-13 05:51:26 UTC

makeGosperForm.mac: revert changes from 5b0130 and 474872 in this file;
it appears that the business about leaking the local variable denItem
was a false lead. Not sure what change actually fixed the errors I was
working on around 5b0130. At any rate, no unexpected errors are
reported for rtest_simplify_sum, rtest_zeilberger, and rtest_zeilberger_extreme.

Author: Raymond Toy
Author Date: 2024-03-23 22:15:45 UTC

Remove debugging print and update comments.

Author: Robert Dodier
Author Date: 2024-03-13 04:54:08 UTC

Packages solve_rec and Zeilberger: modifications to get correct results from rtest_simplify_sum.

 * makeGosperForm.mac: quote argument in lambda expression to defeat
   evaluation; variable denItem is an expression such as n - r + 1 where
   r might have a value assigned to it, so we need to be careful to
   evaluate denItem exactly once. The previous (nonlexical) version of
   makeGosperForm.mac had that behavior, now we have it again.

 * rtest_simplify_sum.mac: need to load simplify_sum first in order to
   ensure product_use_gamma is known to be nonlexical when defining
   test_sum; also return [actual = ..., expected = ..., difference = ...]
   from test_case to get more info when a test fails.

 * simplify_sum.mac: load functions after defining variables so the
   variables are known to be nonlexical when defining the functions.

 * testsuite.lisp: renumber expected failure for rtest_simplify_sum.mac
   (a case which was failing in the previous, nonlexical version as well).

With these changes, run_testsuite(share_tests = only) reports no
unexpected errors for rtest_simplify_sum.

Author: Leo Butler
Author Date: 2024-02-14 18:06:21 UTC

src/init-cl.lisp: --quit-on-error does not take an argument

Author: Raymond Toy
Author Date: 2024-01-31 16:16:33 UTC

Fix #4257: Remove code applying the subst y=c*x+b

The code in `monstertrig` that applied the substitution `y=c*x+b` was
to fix an issue with integrating `x*sin(n*x)` which used to take
longer and longer as the integer `n` became larger.

However, it appears this is no longer the case. As mentioned in
[#4257], even really large numbers are integrated instantly.

Remove this code. And add a test for this in rtest15.mac

Full testsuite + share passes.

Author: Raymond Toy
Author Date: 2024-01-28 00:11:18 UTC

Fix error in previous commit confusing pl and pl*

In renaming `pl*` to `pl`, we got confused because `logcpi0` already
has a lexical named `pl`. Surprisingly, the testsuite passes with
this error, but we should fix it. `pl` was supposed to be the result
from `polelist-var`. So name it `polelist` instead of `pl`, leaving
the renaming of `pl*` to `pl`.

While we're at it fix a compiler warning about unused vars `pl*`,
`rl*`, `pl*1`, and `rl*1` in `log*rat`. We made these lexical, so we
don't need these anymore.

Full testsuite + share passes with cmucl.

Author: Raymond Toy
Author Date: 2024-01-24 04:17:33 UTC

Remove unused replacement code

The temp replacements have been implemented in other files, so we
don't need these anymore.

Full testsuite + share passes with clisp, cmucl. and ecl.

Author: Raymond Toy
Author Date: 2024-01-22 01:44:48 UTC

Remove declare-top declaration for var

The special variable `var` has been replaced by a lexical in almost
all places in defint. We don't need the `declare-top` declaration for
`var` anymore. Only a few places still need to reference it:

o The replacement functions that accept a lexical to bind `var` before
  calling the underlying function that references `var`.
o The one call to `keyhole` that requires `plog` not to simplify the
  arg until later.

In all of these cases, we locally declare `var` as special. Hence the
file declaration is not needed anymore.

Full testsuite + share passes with clisp (2.49.93+ (2018-02-18)),
ecl (23.9.9), and cmucl (snapshot-2023-08).

Author: Raymond Toy
Author Date: 2024-01-21 23:56:59 UTC

Replace simpexpt with just power

We were incorrectly calling `simpexpt` when we updated the code. The
function `power` simplifies, so we don't need `simpexpt`.

(Hmm. The old code called `simpexpt` with a flag of `nil`. Maybe we
should use `power*` instead?)

Author: Raymond Toy
Author Date: 2024-01-21 19:55:14 UTC

Bind var for plog in ztorat

The simplifier for plog references the specvar `var` and it's
important to do the binding here in the call to `keyhole` in `ztorat`.
I guess the intent is to prevent the simplifier from converting
plog(-x) to log(x)+%i*%pi when x > 0, as happens in `ztorat`.

Full testsuite + share tests pass with cmucl.

Author: Raymond Toy
Author Date: 2024-01-10 00:03:15 UTC

Remove unused variable nl-foot in d-vbar

I don't know what this was for, but since it's unused, let's get rid
of it.

Author: Raymond Toy
Author Date: 2024-01-09 15:46:07 UTC

Minor code cleanup

The function `parp` isn't used anywhere within maxima, so remove it.

Add comment that `freevar0` is only used by defint.lisp, and we should
move it there or modify defint.lisp to use `freevar02`.

Author: Raymond Toy
Author Date: 2024-01-08 19:59:07 UTC

Add freevarpar2 that takes an arg

Like `freevarpar` but takes an arg for the variable. Use this in
`vfvp`. And update all callers.

Full testsuite + share passes with cmucl.

Author: Robert Dodier
Author Date: 2024-01-06 20:12:47 UTC

Commit updated rtest_lexical_symbols_only.mac and new test script rtest_lexical_symbols.mac.

Copied almost verbatim from files of the same name at
commit 99aa681 of maxima-project-on-github/maxima-packages.
See: https://github.com/maxima-project-on-github/maxima-packages

Only changes with respect to maxima-project-on-github/maxima-packages
are to remove now-unneeded code to load lexical symbols
and to load a modified version of simplify_product (now in solve_rec).

Author: Raymond Toy
Author Date: 2024-01-05 22:06:52 UTC

Remove old impl of get-unicode-char

We changed the impl to use an alist instead which is easier to
maintain. Delete the old version.

Author: Raymond Toy
Author Date: 2024-01-05 17:57:14 UTC

Add comment about how to remove *globalcareflag*

Also explains why we don't (but probably could if we really wanted
to.)

Author: Raymond Toy
Author Date: 2024-01-04 00:04:58 UTC

Move freevar next to varp

Since freevar and varp aren't used in this file, move the definitions
closer together.

Author: Raymond Toy
Author Date: 2024-01-03 04:35:09 UTC

Add comment about *exp*

Author: Raymond Toy
Author Date: 2023-12-31 22:43:48 UTC

Merge branch 'master' into rtoy-refactor-specvars-sin-var

Author: Robert Dodier
Author Date: 2023-12-29 02:21:34 UTC

Minor clarification in documentation for display2d_unicode: mention display2d flag.

Author: Raymond Toy
Author Date: 2023-12-26 22:23:45 UTC

Fix up comments

Get rid of the note about *powerl* since we now implement as a closure
over the functions intform and integrator. Add a comment for the
closure.

Author: Raymond Toy
Author Date: 2023-12-17 22:51:12 UTC

Fix typos and add example of a backreference

Author: Raymond Toy
Author Date: 2023-11-03 22:29:09 UTC

Remove specvar ml* in sprdet.lisp

Remove the special declaration for ml*. Instead, pass in the variable
to the functions that need it. It appears to be first defined in tbdu
and is used in getminor and nbn, so add ml* as a parameter for these
two functions.

Full testsuite passes, including share tests.

Author: Raymond Toy
Author Date: 2023-11-03 16:30:04 UTC

Clean up implementation.

Remove stuff that we commented out for testing.

The full testsuite (including share) passes as expected.

Author: Raymond Toy
Author Date: 2023-10-26 21:06:50 UTC

Add better comment for what stirling does

Clarify what stirling does

Author: Raymond Toy
Author Date: 2023-10-20 21:33:06 UTC

Support Texinfo 7.1

Just need to update the test for special handling of single-quote
characters for Texinfo 7.1; Like Texinfo 6.8, we don't need to do
anything special, unlike Texinfo 7.0.[23].

Author: Raymond Toy
Author Date: 2023-09-15 14:24:35 UTC

Fix #4121: atan2(0, <nz>) doesn't simplify

atan2(0,x), when sign(x) is nz should simplify to %pi. The code was
checking for sign(x) being neg, not nz. Modify the code to look for
both, just like how we simplify atan2(0,x) when sign(x) is pos, or pz.

Add test for this. We also fix a typo where the start of comment was
inadvertently left off.

Author: Raymond Toy
Author Date: 2023-09-13 21:57:05 UTC

Merge branch 'master' into rtoy-bug-4181-qagp-singular-points-check

Author: Raymond Toy
Author Date: 2023-09-13 21:43:01 UTC

Fix #4143: atan(0,minf) should be %pi.

Fix typo in atan2 simplifier where we were taking the realpart of x
instead of the realpart of y to handle the case of atan2(y,minf). Add
a comment that we're making atan2 continuous with the second quadrant
along the branch cut.

Add a test for this case and update the documentation to say that
we're continuous with second quadrant on the branch cut.

Author: Raymond Toy
Author Date: 2023-09-08 13:54:02 UTC

Assert integrand returns a real value for quadpack routines

Because the quadpack routines call coerce-float-fun to be able to
evaluate the integrand, the realpart is returned by default. Instead,
we bind `*plot-realpart*` to nil so that evaluation can return complex
numbers. Then modify float-integrand-or-lose to check for floats
since it was previously checking for cl:number.

Finally to make this all work, declaim `*plot-realpart*` to be special
because we compile plot.lisp (that defines it) **after** compiling
quadpack.lisp. Reordering causes other problems.

Author: Raymond Toy
Author Date: 2023-09-07 23:18:16 UTC

Reformulate diff-eq for colnew example 2

The expression of the differential equation in example 2 was written
in a way that was kind of hard to see what the two components were.
We rewrite this in a column matrix form so that it's easier to see
what the components are. For the text form, we don't change anything.

Author: Raymond Toy
Author Date: 2023-08-19 13:40:48 UTC

Remove old code that was commented out

Author: Raymond Toy
Author Date: 2023-08-14 19:26:18 UTC

Fix #4174: ecl can't load zeilberger

This is a workaround for ecl which can no longer load the zeilberger
package. As mentioned in the bug, wild-inferiors followed by more
directory components appear not to work in ecl. Ccl, clisp, cmucl,
and sbcl don't appear to have this problem.

Author: Raymond Toy
Author Date: 2023-08-11 18:15:38 UTC

Add more comments on how to use the macros

Make it clearer that m4_math and friends MUST start at the beginning
of a line and must not be followed by any text.

Remove the old definition of m4_mathdot (which was replaced by
m4_mathpunc).

Author: Raymond Toy
Author Date: 2023-08-07 23:25:57 UTC

Address #4170: Move decfp test to the end

See Bug #4170. This is a workaround for decfp breaking raddenest.

Author: Raymond Toy
Author Date: 2023-08-05 02:22:42 UTC

Merge branch 'master' into rtoy-add-def-simplimit

Author: Raymond Toy
Author Date: 2023-07-30 01:46:53 UTC

Document new syntax for file search paths

A while ago we changed to using Lisp wildcard pathnames for the
elements of the file search paths. Document this in the user manual.

Author: Raymond Toy
Author Date: 2023-07-29 23:34:46 UTC

Actually remove share-subdirs files that we don't need anymore.

This means src/share-subdirs.lisp and
src/share-subdirs_autogenerated.lisp.in are removed because we don't
need them anymore.

Author: PeterPall
Author Date: 2023-07-26 08:21:29 UTC

Windows installer: Update wxMaxima

Author: Raymond Toy
Author Date: 2023-07-25 23:20:58 UTC

Clean up old code and add comments

With the def-simplifier, we can get rid of the defmfun and the setting
of the various properties. Make it so.

Add some comments for TEST-FOR-INTEGER to describe what it does.

Author: Raymond Toy
Author Date: 2023-07-23 02:32:04 UTC

Merge branch 'master' into rtoy-new-search-paths

Author: Raymond Toy
Author Date: 2023-07-22 22:56:58 UTC

Add comment about filenames in find-toc-file

Author: Raymond Toy
Author Date: 2023-07-21 21:32:10 UTC

Remove commented out stuff.

Author: Raymond Toy
Author Date: 2023-07-21 14:39:16 UTC

Declare verb function as inline

Since the created verb function is so small, might as well declare it
inline so it can be inlined by compilers that support inlining.

Might cause a percent or two speedup, but that might be in the noise.

Author: Raymond Toy
Author Date: 2023-07-19 21:43:46 UTC

Add tests for Bug #4158

Author: Raymond Toy
Author Date: 2023-07-17 14:29:35 UTC

Add links for DLMF and A&S references

Replace the existing references to DLMF and A&S with actual clickable
links.

Author: Raymond Toy
Author Date: 2023-07-16 21:10:22 UTC

Update value of htmlname

Since we don't rename the html files to be "maxima_<nnn>.html", the
value of `htmlname` can't be "maxima" anymore. It needs to be "*" to
allow for any html file.

Needed to install the html files.

Author: Robert Dodier
Author Date: 2023-07-16 19:51:12 UTC

Commit incomplete work in progress merging several updates in pt_BR documentation.

Author: Raymond Toy
Author Date: 2023-07-16 13:28:21 UTC

Merge branch 'master' into rtoy-compute-subdirs-at-runtime

Author: Raymond Toy
Author Date: 2023-07-12 20:38:04 UTC

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.

Author: Raymond Toy
Author Date: 2023-07-11 01:38:31 UTC

Remove old commented out stuff that has been replaced or updated

Author: Raymond Toy
Author Date: 2023-07-09 18:23:27 UTC

Remove commented out gamma simp stuff.

Author: Raymond Toy
Author Date: 2023-07-09 15:06:26 UTC

Remove commented out code for log simplifier

Author: Raymond Toy
Author Date: 2023-07-09 14:22:22 UTC

Fix #4153: Need to pass all the args of atan2 to logarc

The previous code just grabbed the first arg to pass to logarc, but
atan2 has two args, so only one was given to logarc, which wanted two,
of course.

Added a simple test for this, from the bug report.

Author: Raymond Toy
Author Date: 2023-07-09 14:06:37 UTC

Remove commented out stuff for def-simp atan2

Author: Raymond Toy
Author Date: 2023-07-08 14:06:03 UTC

Remove commented out stuff

Author: Raymond Toy
Author Date: 2023-07-08 02:26:21 UTC

Remove commented out euler stuff

Author: Raymond Toy
Author Date: 2023-07-07 23:12:33 UTC

Clean up code, removing commented out stuff

Get rid of the original simpbern and $bern functions.

Author: Raymond Toy
Author Date: 2023-06-25 20:59:57 UTC

Remove unused AC_CHECK_PROG for makeinfo

We check the program in a different way now.

Author: Raymond Toy
Author Date: 2023-06-16 23:05:05 UTC

Merge branch 'master' into rtoy-add-float-sign

Author: Raymond Toy
Author Date: 2023-06-14 15:13:47 UTC

Fix #4149: Move fnindex and vrindex before the definition

In the HTML docs, the links for the @fnindex and @vrindex items would
be placed after the definition line. This is pretty annoying because
you would have to scroll up to find the definition line. By moving
the index commands before the definition, the links now show the
definition line. No change to what the text help shows.

I did not test every link, but did test quite a few and they are in
the right place for both html and text.

Author: Raymond Toy
Author Date: 2023-06-11 03:41:22 UTC

Fix up path to "maxima_toc.html"

Need to merge the file name "maxima_toc.html" with the directory so we
can actually find the file. This only matters if you run
build_html_and_dump_html_index with a path that is not the current
directory.

Return true if build_html_and_dump_html_index has more than 1 entry in
the table. Otherwise return false.

Author: Raymond Toy
Author Date: 2023-06-05 17:54:45 UTC

Determine texinfo version and adjust regexp

We now get the texinfo version from the html file. This is used to
select the regexp to use when searching for items.

Author: Wolfgang Dautermann
Author Date: 2023-06-02 19:45:01 UTC

Windows installer: Add a missing file to the 'make dist' target.

I forgot to add the new file to the Makefile.am file, sorry.

Found that issue while building the Windows installer. I must include
the file 'crosscompile-windows/texinfo/CMakeLists.txt' to the released
Maxima 5.47.0 source to build the installer.

Author: PeterPall
Author Date: 2023-05-23 05:27:57 UTC

Greedier logic for autodetecting which lisps to compile with

If the user hasn't specified a lisp to compile maxima with and
we already have autodetected that more than one suitable lisp
is installed on the system there is no good reason to just pick
one lisp by chance and to compile using that one.
Instead we should compiling using all available lisps in that
case.

If the user has explicitely chosen which lisps to compile on
that choice is respected and no additional lisps are used -
just like ./configure did until now.

One side-effekt this change has is that it makes things easier
for packagers as it means that even if maxima is compiled with
more than one lisp no special ./configure args are needed.

Author: Raymond Toy
Author Date: 2023-05-21 14:26:55 UTC

Reindent $adjust_external_format neatly

Just reindent to make things line up neatly to make reading a little
easier.

Author: Raymond Toy
Author Date: 2023-05-17 19:52:40 UTC

Rerun update-examples

Author: Raymond Toy
Author Date: 2023-05-17 16:34:41 UTC

Fix incorrect --no-init that wasn't working

--no-noinit is supposed to disable loading of the init files.
However, it wasn't working because the user init files were loaded
before the command-line args were processed. Therefore, load the user
init files after processing the command-line args.

Also, print out the init files that are loaded. This is useful to see
that we've loaded the user init files (and where). Also useful if we
expected an init file to be loaded and wasn't or the wrong init file
was loaded.

This includes any files loaded via the -p option. This is useful to
know exactly which file was loaded since the -p option uses
file_search to find the file to load.

Author: Raymond Toy
Author Date: 2023-03-29 16:03:41 UTC

Use defmfun :deprecated-p for float_bits and bigfloat_bits

Use the new defmfun option :deprecated-p to note that these functions
are deprecated.

Author: PeterPall
Author Date: 2023-03-26 14:13:43 UTC

The integrated front-ends now report that they are part of maxima

Author: Raymond Toy
Author Date: 2023-03-21 20:27:48 UTC

Merge branch 'master' into rtoy-sbcl-makunbound

Author: Raymond Toy
Author Date: 2023-03-21 19:55:05 UTC

Add example of how to use :deprecated-p

An example should make it clearer on how to use it.

Author: Raymond Toy
Author Date: 2023-03-16 15:29:37 UTC

Clean up comment for largest_float

`defmvar` handles the deprecation, so we don't need to describe
what used to be done here.

Author: Raymond Toy
Author Date: 2023-03-13 17:54:11 UTC

Add new file, global-var-init, for initializing globals.

Instead of initializing global vars in `initialize-runtime-globals`,
add a new file, "global-var-init.lisp" to initialize these. Some
variables need special handling because we can't initialize them in
globals.lisp because the necessary functions aren't available when
globals.lisp is compiled. Hence, have globals-var-init do the
initialization. Move the initializations from
`initialize-runtime-globals` to global-var-init.lisp.

This request came from a private communication for a user (unixlisp)
who wanted to be able to load maxima without running `cl-user::run`.
This is not a use-case I care about, but moving the initialization to
a separate file works for this use-case as well as the normal usage of
maxima with a repl.

Author: Raymond Toy
Author Date: 2023-03-13 15:48:45 UTC

Update test expectations for clisp

Clisp fails more tests in ulp_tests because clisp doesn't support
denormals.

Author: Robert Dodier
Author Date: 2023-03-04 22:18:34 UTC

Attempt to be careful about computation of height and depth in display code.
Calculation is working correctly from what I can tell, and pretty printer
output appears to be correct, but box(...) has spurious empty lines at the
bottom of the box. This is due to special variables for height and depth
being updated incorrectly. Given that those variables are used widely in
the display code, it seems too difficult at this point to straighten it out.

This commit addresses SF bug #4105: "Lisp error displaying a long string and subscripted variables"
The bug mentioned in that bug report is indeed fixed by this commit;
maybe I should let that be enough, without trying to fix the other stuff
about height and depth in box. I will have to think about it.

Author: Raymond Toy
Author Date: 2023-02-27 21:53:53 UTC

Add some rudimentary docs for is_power_of_two & unit_in_last_place

Just add some simple docs with examples for these two new functions.

Author: Raymond Toy
Author Date: 2023-02-24 19:01:56 UTC

Add documentation for algfac and friends.

This documentation was written by Michel Talon. I merely added it to
the Polynomials section as two new sections for algebraic extensions.

Author: Raymond Toy
Author Date: 2023-02-23 19:04:40 UTC

Use float_eps() instead the lisp value +flonum-epsilon+

Let's use the `float_eps()` function to get flonum epsilon instead of
referring to the lisp constant `+flonum-epsilon+`.

Author: Raymond Toy
Author Date: 2023-02-23 15:03:18 UTC

Update share packages with the new flonum constant names.

Since we renamed the float constants to use the Lisp convention +foo+,
we need to update files in the share directory to use the new names.

Author: Raymond Toy
Author Date: 2023-02-22 21:44:41 UTC

Apply Lisp convention for special vars from asum.lisp

We rename the special variables globals.lisp that came from asum.lisp.

Lisp convention these days is to name constants like "+foo+" instead
of just "foo". Apply that convention to `most-positive-flonum`.

Update uses appropriately.

Author: Raymond Toy
Author Date: 2023-02-22 19:49:11 UTC

Remove infinities, real-infinities, infinitesimals

These are defined in globals.lisp so we don't need them here.

Author: Raymond Toy
Author Date: 2023-02-22 01:05:53 UTC

Rename checkfactors to *checkfactors*

Use the standard lisp style to have special vars named `*foo*` by
renaming `checkfactors` to `*checkfactors*`. Update all uses of
`checkfactors` appropriately.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-21 23:48:18 UTC

Rename wtsofar to ratout-wtsofar

Rename `wtsofar` to `ratout-wtsofar` everywhere so as not to use the
special variable `wtsofar`.

Then we can also remove the special declaration for `wtsofar`.

Full testsuite passes.

This removes all uses in maxima of the special var `wtsofar` (and
`xweight` too).

Author: Raymond Toy
Author Date: 2023-02-21 23:12:22 UTC

Reindent wtptimes1

Minor reindentation to make the lines a little shorter.

No functional changes.

Author: Raymond Toy
Author Date: 2023-02-21 17:55:54 UTC

Reindent pkroneck

Reindent function to make it a little easier to read and to find the
tags.

No functional changes.

Author: Raymond Toy
Author Date: 2023-02-21 15:13:11 UTC

Rename `v` to `ratout-v` in `wtptimes1`

Do the renaming so that we don't use the special variable `v`. To
make this work also let `wtptimes3` close over the new local variable
`ratout-v` since `wtptimes3` modifies the value and is also called in
a loop, so updated values of `ratout-v` get carried to later calls.

Remove the special declarations in `wtptimes3` and `wtptimes1` too.
Remove the `declare-top` declarations for `v` too since we no longer
use the special variable `v` in this file.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-21 14:09:44 UTC

Fix typo in $partfrac

A stray "n" got introduced that shouldn't be there.

Author: Raymond Toy
Author Date: 2023-02-20 15:55:27 UTC

Move comments pmodcontent and remove it's defn

We moved `pmodcontent` into `pgcdp` but left the original commented
out. Remove that function now, and move the corresponding comment to
the labels function.

Author: Raymond Toy
Author Date: 2023-02-20 00:50:16 UTC

Reindent pgcdp, monicgcd and pgcdm

Reindent these functions to make it a little easier to read and to see
the tags.

No functional changes.

Author: Raymond Toy
Author Date: 2023-02-20 00:25:48 UTC

Remove *x* from declare-top

We don't use the special var `*x*` anymore so it can be removed from
the `declare-top`, both special and unspecial.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-19 16:22:06 UTC

Remove special/unspecial declaration for exp

We don't use `exp` in ratout.lisp (having renamed it `ratout-exp`), so
we can remove the special declaration for `exp`.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-19 15:13:24 UTC

Rename wholepart to ratout-wholepart

Rename `wholepart` to `ratout-wholepart` in ratout.lisp so that we use
a lexical var instead of the special var. Since there are now no
longer any uses of `wholepart` in ratout.lisp, we can remove the
special declaration for it.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-19 05:01:41 UTC

Remove parnumer from declare-top special

We're renamed `parnumer` to `ratout-parnumer` so there are no longer
any uses of `parnumer`. Remove it from `declare-top`.

There are still uses of `parnumer` elsewhere, but not in ratout.lisp.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-19 01:27:05 UTC

Remove var from declare-top

Since we renamed all uses of `var` to `ratout-var` between the
`declare-top` statements, we don't need the special var `var`
anymore. Thus remove it from `declare-top`

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-18 16:57:52 UTC

Remove ratform from declare-top in ratout.lisp

`ratform` is only used in `$partfrac` and does not need to be special
anymore since we've replaced the `ratform` specvar everywhere else
with a lexical var.

Full testsuite passes.

With this change, the last use of `ratform` as a specvar has been
removed as `(find-symbol "RATFORM" "MAXIMA")` shows by returning
`NIL`.

Woohoo!

Author: Raymond Toy
Author Date: 2023-02-15 01:23:15 UTC

Remove special decl for lians

`lians` has been replaced by a lexical var so we don't need it
anymore. Hence remove the special declaration for it.

Full testsuite passes.