lp:~peterpall/maxima/+git/maxima.code

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.

Author: Raymond Toy
Author Date: 2023-02-14 23:46:47 UTC

Remove risch-degree from special declaration

`risch-degree` doesn't really need to be special, so remove it from
the declaration in the middle of the file.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-14 23:13:12 UTC

Remove special var expint

The special var `expint` isn't used anywhere in risch.lisp now that
we've replaced all uses with the lexical `risch-expint`.

Remove it.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-13 21:25:05 UTC

Remove mainvar from risch.lisp

We don't use the special var `mainvar` in risch.lisp anymore, so we
can remove the declaration for it

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-13 18:09:23 UTC

Remove special var expflag

We don't use the special var `expflag` anymore so remove it from
`declare-top`.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-13 17:14:36 UTC

Remove special var for risch.lisp

All uses of the special var `var` have been replaced by the lexical
var `risch-var`. Thus, remove the special/unspecial declarations for
`var`.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-12 16:20:48 UTC

Rename y to risch-y in intsetup

Make `intsetup` use the lexical var `risch-y` instead of the special
var `y`. We missed this previously. We removed the specialness of
`y` so it doesn't matter now, but let's rename it anyway for
consistency with all the other code that previously used `y` and was
renamed.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-11 22:55:03 UTC

Remove special var m

It's not used anymore so we don't need to declare it `special` and
`unspecial`. Remove it.

Author: Raymond Toy
Author Date: 2023-02-11 20:49:40 UTC

Reindent calls to getfncoeff so the lines aren't so long

No functional changes.

Author: Raymond Toy
Author Date: 2023-02-11 19:21:17 UTC

Remove debugging prints

Author: Raymond Toy
Author Date: 2023-02-11 17:28:59 UTC

Remove alphar from declare-top

We don't use the specvar `alphar` anymore so remove it.

Author: Raymond Toy
Author Date: 2023-02-11 17:02:37 UTC

Remove operator from declare-top

We don't use `operator` as a special variable any more, so remove it
from `declare-top` `special` and `unspecial`.

Author: Raymond Toy
Author Date: 2023-02-11 15:30:19 UTC

Remove spevars trigint and hypertrigint

We don't use these anymore so remove them from `declare-top`.

Author: Raymond Toy
Author Date: 2023-02-11 02:44:41 UTC

Remove expstuff from declare-top

It's not used so we can remove it.

Author: Raymond Toy
Author Date: 2023-02-10 16:57:21 UTC

Remove beta variable

Remove `beta` from the `declare-top` since we don't use it anymore.
Also remove it from the `prog` statements since we're not using it.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-10 05:34:19 UTC

Rename *exp to risch-*exp

It's used in `trigin1` and is already passed in as an arg, so rename
it to get a lexical var.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-09 02:41:54 UTC

Remove intvar from declare-top

It's not referenced anywhere in risch.lisp, so remove it.

Author: Raymond Toy
Author Date: 2023-02-08 20:55:22 UTC

Remove *var from declare-top

Now that `radcan1` takes a parameter for the value of `*var`, we don't
actually use the specvar `*var` in risch.lisp anymore. Thus, remove
it from the `declare-top`, both `special`, and `unspecial`.

Full testsuites passes.

Author: Raymond Toy
Author Date: 2023-02-07 16:59:55 UTC

Pass nil as last arg to eprog in rischfprog

In the previous commit where we intended to replace risch-switch1 with
nil, we accidentally removed it from the call to eprog. Put it back.

Author: Raymond Toy
Author Date: 2023-02-07 15:18:51 UTC

Remove rootfactor from declare-top

`rootfactor` is no longer used at all in risch.lisp, so remove the
declaration.

Now there is no special var named `rootfactor` anywhere in the source
tree.

Author: Raymond Toy
Author Date: 2023-02-07 04:41:09 UTC

Remove pardenom from declare-top

There are no uses of `pardenom` in risch.lisp, so remove it from
`declare-top`.

Now there are no uses of `pardenom` in Maxima. Another specvar
removed.

Author: Raymond Toy
Author Date: 2023-02-07 02:59:14 UTC

Remove logptdx from declare-top

`logptdx` no longer used, so we can remove it from the `declare-top`.
This means that the specvar `logptdx` has been completely removed from
Maxima.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-07 00:12:04 UTC

Remove risch-wholepart from rischlogeprog

`rischlogeprog` doesn't use `risch-wholepart`, so we can remove it
completely. Thus, we can also ignore the second return value of
`cprog`.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-06 19:59:58 UTC

Remove ratform from declare-top

risch.lisp no longer uses the specvar `ratform`, so we can remove it
from the `declare-top`. On specvar removed. Many more to go....

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-06 17:59:05 UTC

Minor refactor of fprog

Since the `prog` statement is empty we can get rid of it and the
corresponding `return`.

Author: Raymond Toy
Author Date: 2023-02-06 15:42:13 UTC

Remove wholepart from declare-top

Since `wholepart` is no longer used at all in sinint.lisp, we can
remove it from the `declare-top` declaration.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-06 03:35:41 UTC

Define sinint-pardenom in eprog

In a previous commit, we forgot to define `sinint-pardenom` that
causes the compiler to warn that `sinint-pardenom` is undefined and
assumed global.

Author: Raymond Toy
Author Date: 2023-02-06 00:55:42 UTC

Remove special var pardenom

We don't use it at all in this file, so remove the special declaration
for it.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-05 00:00:45 UTC

Remove logptdx

We don't access the specvar `logptdx` here anymore, so remove the
special declaration for it.

Author: Raymond Toy
Author Date: 2023-02-04 22:42:01 UTC

More minor reindentation make some things easier to read

No functional changes.

Author: Raymond Toy
Author Date: 2023-02-03 23:14:52 UTC

Remove ratform from declare-top special.

It's not used in this file anymore, so we don't need the declare-top
special declaration.

Author: Raymond Toy
Author Date: 2023-02-03 21:53:14 UTC

Remove special decl for `checkfactors`.

It's defined as a special var in globals.lisp, so we don't need to
declare it again here.

Author: Raymond Toy
Author Date: 2023-02-02 01:30:16 UTC

Move simple functions into ilt3

The macro `coef` and the functions `lapsum`, `lapprod`, and `expo` are
only used in `ilt3`. Let's move them into `ilt3` to reduce pollution
of the name space. For simplicity convert `coef` from a macro to a
function.

Also add a note that `lapsum`, `lapprod`, and `expo` could be replaced
by macros from strmac.lisp. That would probably be useful. For
another day.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-02-01 17:10:20 UTC

Just make *rulesw* a defvar

Instead of using `declare-top` for `*rulesw*`, just add a `defvar` for
it. For some Lisps, this makes it clear where it's defined, which is
useful for debugging and hacking.

Author: Raymond Toy
Author Date: 2023-01-31 04:35:21 UTC

Rename pp to pp-var

There's a variable `pp` somewhere. Let's rename `pp` to `pp-var`
which isn't used anywhere in maxima.

Author: Raymond Toy
Author Date: 2023-01-30 19:36:44 UTC

Remove docs mentioning prevfib and next_lucas

Since these variables were removed, let's remove any references to
them from the user manual.

Author: Raymond Toy
Author Date: 2023-01-30 19:03:53 UTC

Remove special decl for v in cffun

In `cffun`, there is a special declaration for `v`. AFAICT, it's only
accessed within a lambda function in `cffun`. Normal closure behavior
means the lambda functions have access anyway, so it doesn't need to
be special.

Thus, remove the declarations.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-01-29 00:50:49 UTC

Rename *a* to *combin-a*

It's not really clear if `*a*` is the same special var as `*a*` in
other files, but the unspecial at the end hints that it's intended to
be special only in this file.

Therefore, rename `*a*` to `*combin-a*` to make it clear that it's
not. This change did not affect the full testsuite so I'm going to
assume it really is different.

Also, add a `defvar` for it and remove the unspecial declaration at
the end of the file.

Author: Raymond Toy
Author Date: 2023-01-27 18:41:16 UTC

Merge branch 'master' into rtoy-schatc-rename-specvar-ans

Author: Raymond Toy
Author Date: 2023-01-27 16:56:42 UTC

Add some examples for how general polynomials are displayed

The previous version didn't show how maxima would display things like
assoc_legendre_p(n,m,x) as
```
      m
     P (x)
      n
```
So add an example for this and the other functions in
orthopoly.texi.m4.

Also added a note that you can't run `update_examples` on this file
because some examples depend on the previous example, which doesn't
work with `update_examples`.

Author: PeterPall
Author Date: 2023-01-26 04:13:41 UTC

Maxima now depends on a recent gcl

Author: PeterPall
Author Date: 2023-01-26 04:13:01 UTC

Maxima now depends on a recent gcl

Author: PeterPall
Author Date: 2023-01-26 04:12:09 UTC

Maxima now depends on a recent gcl

Author: Raymond Toy
Author Date: 2023-01-26 02:11:45 UTC

Move some specvars from hypgeo to globals

Move the specvar `*par*` from hypgeo.lisp to globals.lisp.

Rename `checkcoefsignlist` to `*checkcoefsignlist*` and make it a
`defvar` in globals.lisp.

Now we can remove `declare-top`s for `*par*` and `checkcoefsignlist`.

Full testsuite passes.

Author: Raymond Toy
Author Date: 2023-01-26 01:12:18 UTC

Merge branch 'master' into rtoy-bug-4083-warn-on-bad-test-names

Author: Raymond Toy
Author Date: 2023-01-25 01:00:18 UTC

Move 'opers property to the front and 'translate to the back.

Author: PeterPall
Author Date: 2023-01-24 10:52:33 UTC

A try to make clasp dump maxima after building it.

Author: Camm Maguire
Author Date: 2023-01-24 00:39:15 UTC

Merge branch 'master' into gcl_cleanup

Author: Camm Maguire
Author Date: 2023-01-24 00:39:15 UTC

Merge branch 'master' into gcl_cleanup

Author: Raymond Toy
Author Date: 2023-01-23 21:43:11 UTC

Merge branch 'master' into rtoy-move-to-transl

Author: Raymond Toy
Author Date: 2023-01-23 00:09:04 UTC

Comment out debugging echo and add some comments

Comment out a debugging `echo` command and add some comments
describing what we're expecting as the GCL version number.

Author: Raymond Toy
Author Date: 2023-01-21 15:58:29 UTC

Forgot to remove *alpha from lmdcls

Full testsuite still passes

Author: Raymond Toy
Author Date: 2023-01-21 00:36:01 UTC

Merge branch 'master' into rtoy-update-gcl-2.6.14-test-results

Author: Raymond Toy
Author Date: 2023-01-18 19:58:31 UTC

Fix #4077: replace opcons with ftake*

As mentioned in bug #4077, we replace calls of `opcons` in nummod.lisp
with the equivalent `ftake*`. And also change `opcons` to use
`ftake*` to make the equivalence clearer.

The share directory has files using `opcons`, so we can't remove
`opcons` without fixing those. I'm lazy and leaving them as is,
although it would be better if we didn't have two ways to do the same
thing.

Author: Raymond Toy
Author Date: 2023-01-18 17:38:44 UTC

Merge branch 'master' into rtoy-reorder-trig-sec

Author: Raymond Toy
Author Date: 2023-01-18 17:33:40 UTC

Capitalize section heading correctly

Update nodes, etc., appropriately.

Author: Raymond Toy
Author Date: 2023-01-17 04:59:26 UTC

Remove original simplifier

We don't need the original hypergeometric simplifier code now. The
new def-simplifier version passes all the tests from testsuite,
including the share tests.

Author: Raymond Toy
Author Date: 2023-01-16 00:16:50 UTC

Actually remove the loads

We had nil'ed them out, but let's remove them now.

Author: Raymond Toy
Author Date: 2023-01-14 18:47:46 UTC

Rename "Gamma and factorial.." to "Gamma and Factorial..."

It's the title of a section, so "factorial" should be capitalized.

Author: Raymond Toy
Author Date: 2023-01-13 23:13:10 UTC

Add simple test for bfallroots

Add test to verify that we have the desired precision from bfallroots
when the coefficients are bfloats with more than 16 digits of
precision.

Author: Raymond Toy
Author Date: 2023-01-11 23:12:59 UTC

Fix error in generating pdf doc

Replace "\lt" with just "<" in the description of the halfangles option.

Author: Raymond Toy
Author Date: 2023-01-11 19:25:37 UTC

Add hypergeometric rep for elliptic_ec and elliptic_kc

Author: Raymond Toy
Author Date: 2023-01-11 18:43:47 UTC

Add hypergeometric rep for expintegral_chi

Author: Raymond Toy
Author Date: 2023-01-11 17:42:04 UTC

Add comment that expintegral_ei has the same 2F2 form.

How do we choose whether to return expintegral_ci or expintegral_ei
for 2F2?

Author: Raymond Toy
Author Date: 2023-01-10 19:21:27 UTC

Add support for :setting-list in defmvar

`defmvar` now recognizes the `:setting-list` option. This was only
used in `$macroexpansion` (in mmacro.lisp) as `setting-list`. So just
rename it to `:setting-list` there.

Also added error checks so that we can't use `:setting-list`,
`:setting-predicate`, or `:properties` with an 'assign property. Only
one of these is allowed.

Author: Raymond Toy
Author Date: 2023-01-10 17:38:05 UTC

Kill variables x and y before running test 5 in rtestlabels

Need to kill the values of x and y before running test 5. With this
fixed, rtestlabels runs fine.

Note: it's not part of the test suite (why?), so you have to do
`batch("tests/rtestlabels.mac")` to run it.

Author: Raymond Toy
Author Date: 2023-01-09 18:02:48 UTC

Add links to laplace and use TeX for qFp.

Add a few links to laplace we it can be clicked on in the html/pdf
manual ot make navigation a bit easier.

In one place use TeX to write qFp to make it look nicer in html/pdf.

Author: Raymond Toy
Author Date: 2023-01-07 16:19:23 UTC

Fix up doc for psi[n](x)

The first sentence for psi[n](x) says Maxima can't compute a numerical
value. This is false, so correct the sentence.

Add some examples of Maxima computing values for psi[n](x).

Author: Raymond Toy
Author Date: 2023-01-06 23:49:57 UTC

Define $maxpsiposint and friends in globals

specfun.lisp indirectly defines `$maxpsiposint`, `$maxpsinegint`,
`$maxpsifracnum`, and `$maxpsifracdenom` by setting the symbol-value
of these symbols. Since they're user-visible variables with entries
in the user manual, let's use `defmvar` to define them in
globals.lisp, with the appropriate initial values.

This also means `reset()` will reset the value to the default. This
didn't happen before, but I think it should.

Then we can remove the declare-top special for these from specfn.lisp.

Author: Raymond Toy
Author Date: 2023-01-06 16:21:23 UTC

Revert "asum depends on compar to get defvar sign"

This reverts commit 545610e541c65ded1c390043571029a775233898.

Shouldn't have been committed to this branch.

Author: Raymond Toy
Author Date: 2023-01-04 22:18:27 UTC

Move mfexrp and mspeclist from mlisp to globals

These special vars are used in several places, so move them to
globals.lisp. Remove them from any other special declarations that
are no longer needed.

Author: Raymond Toy
Author Date: 2023-01-04 17:48:09 UTC

Remove vars from lmdcls

`need-prog?` and `return-mode` are defined in transl.lisp and only
used there. Hence, they can be removed from lmdcls.lisp.

Author: David Scherfgen
Author Date: 2023-01-02 21:06:16 UTC

If $intercept_questions_fn returns the symbol $ask_user, then don't print message "Acceptable answers are ..."

Author: Raymond Toy
Author Date: 2022-12-31 19:02:28 UTC

Assign the 'mode property in the variables definitions.

trdata.lisp did a `putprop` to add the 'mode property a value of
'$boolean for a list of variables. Instead, add this when the
variable is defined.

Author: Raymond Toy
Author Date: 2022-12-31 16:44:50 UTC

Remove unneeded special decls for ps-bmt-disrep

This is defined in globals.lisp so it's special decls not needed.

Also added a comment on the usage of ps-bmt-disrep. It's always T and
used in exactly one place.

Author: Raymond Toy
Author Date: 2022-12-30 18:27:21 UTC

Move modulus aliases from suprv1 to globals.

Instead of defining the aliases betweeen `modulus` and `$modulus` in
suprv1.lisp, add it to globals.lisp, right after `modulus` is defined
so that it's easy to see that these are aliases of each other.

Add a note that we should probably replace all uses of `modulus` with
`$modulus` and get rid of the aliases.

Author: Raymond Toy
Author Date: 2022-12-28 16:26:58 UTC

Ignore the generated file texi2html-7.init

Author: Raymond Toy
Author Date: 2022-12-24 00:42:04 UTC

Merge branch 'master' into rtoy-lmdcls-more-globals

Author: Raymond Toy
Author Date: 2022-12-23 14:32:43 UTC

Fix up comment

Author: Raymond Toy
Author Date: 2022-12-16 23:04:51 UTC

Remove var from unspecial.

The unspecial declaration of `var` isn't needed because `var` is used
in the following code. This assumes that the file compiled after this
doesn't assume var is special without declaring it so.

Testsuite passes.

Author: Raymond Toy
Author Date: 2022-12-15 01:17:45 UTC

Allow :setting-predicate to have a reason string for mseterr

The :setting-predicate function can now return two values; the second
value is a string that can be used for `mseterr` to print out the
reason why the setting failed.

Author: Raymond Toy
Author Date: 2022-12-14 18:56:04 UTC

Add more docstrings to global vars

For defmvars, try to add some simple docstrings, based on the user
manual. We try not to include all of the manual; use just enough to
get an idea of what the variable does.

Author: Raymond Toy
Author Date: 2022-12-14 17:09:08 UTC

Remove the commented out mapc's

Remove the commented out mapc's in mlisp.lisp and suprv1.lisp. The
initialization done in mlisp.lisp is now in the defmvars.

Setting the 'assign property is no longer needed in suprv1.lisp
because it's also done in the defmvars. (Besides, it incorrectly set
let_rule_packages to 'neverset, which appears to be wrong.)

Author: Raymond Toy
Author Date: 2022-12-14 02:09:53 UTC

Remove the msetchk function

It is now not referenced anywhere and can be removed. (Well, it's
used in archive/src/nusum.lisp, but I think we can ignore that.)

Author: Raymond Toy
Author Date: 2022-12-13 16:03:51 UTC

Use :setting-predicate for $optimprefix assignments

Remove the code from msetchk for handling assignments to $optimprefix.
Instead, use :setting-predicate for the defmvar.

Author: Raymond Toy
Author Date: 2022-12-13 03:48:05 UTC

Replace all uses of linel with $linel

- Remove the defvar for `linel`.
- Modify `msetchk` so as not to set `linel` anymore since it doesn't
  exist.

Author: Raymond Toy
Author Date: 2022-12-11 23:10:02 UTC

Move assign property assignments to the variable definition.

Instead of setting the 'assign property in mlisp, move it to the
variable definition.

Not all of the variables in mlisp could be moved because some are not
defmvars and some are lisp variables that are aliases of maxima
variables.

Author: Raymond Toy
Author Date: 2022-12-11 20:57:17 UTC

Move remaining sets of evfun property to the function.

The remaining cases of 'evok were for defmspec's. Thus, modify
defmspec to allow setting properties in the definition. This is
basically the same syntax as for defmfun.

Use the new defmspec to define the evok property with the definition
and remove the mapc call in mlisp.lisp that set these.

Author: Raymond Toy
Author Date: 2022-12-11 19:27:02 UTC

Move set of evfun property to the function

Modify `defmfun` to allow either a symbol or a list defining the
function. The list looks like (name :properties p) where `name` is the
name of the function and `p` is a list of lists for the properties that
we wish to assign to `name`. Similar to the `:properties` option for
`defmvar`.

Remove the `mapc` that set the 'evfun property on a list of functions,
and use the new :property feature of defmfun to set the property when
the function is defined.

Author: Raymond Toy
Author Date: 2022-12-11 18:16:37 UTC

Move evflag setting for variables from mlisp to defmvar.

For the remaining symbols in mlisp.lisp that assign the evflag
property, move the assignment to the corresponding defmvar for the
variable.

Author: Raymond Toy
Author Date: 2022-12-10 17:05:32 UTC

Add tests.

Test some assignments to gensumnum to verify that false and
non-negative integers work.

Test genindex should be a symbol.

Add test for powerseries where gensumnum is false.

Author: Raymond Toy
Author Date: 2022-12-10 00:50:18 UTC

Move more defmvar/defvar from mat to globals

- Moved $%rnum and $linsolve_params.
- Removed unneeded declarations.

We forgot to move these early. Noticed these when looking at all the
special vars left in lmdcls.lisp.

Author: Raymond Toy
Author Date: 2022-12-09 21:05:55 UTC

Add evflag property using defmvar :properties.

Examine mlisp.lisp for where the evflag property is set and find the
corresponding variable in globals.lisp and use :properties to set the
evflag property.

While we're at it, add some docstrings for the variables that didn't
have any. We basically just use a sentence or two from the user
manual.

Author: Raymond Toy
Author Date: 2022-12-09 19:51:31 UTC

Update dependencies in maxima.system.

Noticed that commac.lisp and displm.lisp both call `check-arg` from
clmacs.lisp. So make sure we compile clmacs.lisp before either of
these files.

Author: Raymond Toy
Author Date: 2022-12-09 19:08:32 UTC

Move defmvar/defvar from init-cl to globals

- Moved *temp-files-list*.
- Removed unneeded declarations.

Author: Raymond Toy
Author Date: 2022-12-09 19:08:32 UTC

Move defmvar/defvar from init-cl to globals

- Moved *temp-files-list*.
- Removed unneeded declarations.

Author: Raymond Toy
Author Date: 2022-12-09 18:07:21 UTC

Move defmvar/defvar from compar to globals

- Moved $context, $contexts, $activecontexts, and *complexsign*.
- Removed unneeded declarations.

Author: Raymond Toy
Author Date: 2022-12-09 17:55:41 UTC

Revert "Move defmvar/defvar from compar to globals"

This reverts commit 370642ce625206bbde0761feef9de930d5854e3e.

Author: Raymond Toy
Author Date: 2022-12-09 16:59:14 UTC

Move defmvar/defvar from trigi to globals

- Moved *flonum-op* and *big-float-op*.
- Removed unneeded declarations.