maxima:rtoy-doc-dintrad

Last commit made on 2024-07-01
Get this branch:
git clone -b rtoy-doc-dintrad https://git.launchpad.net/maxima

Branch merges

Branch information

Name:
rtoy-doc-dintrad
Repository:
lp:maxima

Recent commits

385f454... by Raymond Toy <email address hidden>

Add comments for dintrad0 and friends

We note that there might be some bugs in the implementation. More
investigation needed.

315bfd7... by Raymond Toy <email address hidden>

Add comments for dintrad0

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

Clean up integer-info changes

Remove some old `special` declarations and nil'ed out code. Minor
change to docstring for `*integer-info*`.

Otherwise, no functional changes.

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

Rename specvar integer-info to *integer-info*

First, rename `integer-info` to `*integer-info*` to make it clear that
it's a special variable.

Second, since `*integer-info*` is used in several files, add a
`defvar` for it in globals.lisp and remove `integer-info` from any
special declarations.

Finally, limit.lisp also has the special variable `old-integer-info`.
Rename to `*old-integer-info*` and add a `defvar` for it, removing the
`declare-top` declaration.

Full testsuite + share passes with cmucl and ccl64.

0f1d020... by Raymond Toy <email address hidden>

Merge branch 'rtoy-refactor-specvars-defint-ll-ul'

025aca8... by Robert Dodier <email address hidden>

share/tensor/itensor.lisp: make TEMP a shared lexical variable for the functions which use it ($COVDIFF and COVDIFF).

batch("rtest_itensor.mac", test) reports no errors. Tracing COVDIFF
after loading itensor shows that it is called several times in rtest_itensor.

This commit quiets a message from ECL about declaring TEMP as NOT SPECIAL.

37f1fa4... by Raymond Toy <email address hidden>

Remove some debugging prints and add comments

We add some comments to `make-defint-assumptions` and `order-limits`
about how the order of the limits may be changed.

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

Update rtestint problem 237 to match the actual result.

The actual result differs slightly from the expected result, but
they're equivalent. Curiously, the comment in the problem gives our
actual result, so update the expected expected result with our actual
result that matches the comment. Remove the comment too.

With this change, the testsuite + share tests pass with cmucl and
ccl64.

This change finalizes the removal of `*ll*` and `*ul*` from
defint.lisp.

31bdddf... by Raymond Toy <email address hidden>

Remove *ll* and *ul*

Actually remove the (commented out) reference to `*ll*` and `*ul*` in
the `declare-top` declaration in defint.lisp. We no longer need these
special variables.

Update a couple of places where these are used in comments too. And
remove some debugging prints that use these variables.

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

Rename *ll* and *ul* to ll and ul in $defint

`$defint` no longer really needs the special vars. Rename them so
we use lexical vars instead.

Full testsuite + share passes with cmucl and ccl64 except for one
known failure.

With this change, the special variables `*ll*` and `*ul*` are gone
from defint.lisp.