Add * around infinities, real-infinities, and infinitesimals
Rename these defvars to use Lisp convention of have a name of "*foo*"
instead of just "foo".
Update all references appropriately.
We also change the `defvar` to `defmvar` since that's what is used in
limit.lisp. (Not sure why we didn't copy that originally.) Also add
a note in globals.lisp that these variables came from limit.lisp.
Declare context special in laplac; remove unspecial in risch
Previously there were compiler warnings about `context` being
undefined in laplac.lisp. This happens because laplac.lisp is
compiled after risch.lisp and risch.lisp had an unspecial declaration
for `context` at the end of the file.
Since `context` is a `defvar` in db.lisp, let's fix this by removing
the unspecial declaration from risch.lisp and adding a special
declaration in laplac.
This fixes the warning in laplac.lisp.
Perhaps a better fix is to move the `defvar` for `context` in db.lisp
to globals.lisp?
To create the correct html file names, we need to use the correct texi
init file, which is set by configure based on the version of makeinfo
being used. (See build_html.sh.in for how this is done.)
Thus, update interface/xmaxima/doc/Makefile.am to have configure fill
in the desired file name for the init file.
Use the standard lisp style to have special vars named `*foo*` by
renaming `checkfactors` to `*checkfactors*`. Update all uses of
`checkfactors` appropriately.
Rename `xweight` to `ratout-xweight` everywhere so as not to use the
special variable `xweight`. This is fairly simple since we moved the
functions that would have been accessing `xweight` into `wtptimes1` so
they naturally capture `xweight` from `wtptimes1`.
Then we can also remove the special declaration for `xweight`.