-
6680ee9...
by
Raymond Toy <email address hidden>
-
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.
-
30e473e...
by
Raymond Toy <email address hidden>
-
Rename var to risch-var in $risch, spderivative, spderivative1
Don't need to have the special var `var` these functions, so make
it lexical.
Full testsuite passes.
-
dbcc1eb...
by
Raymond Toy <email address hidden>
-
Rename var to risch-var in hypertrigint1, rischint
Don't need to have the special var `var` these functions, so make
it lexical.
Full testsuite passes.
-
b4403c5...
by
Raymond Toy <email address hidden>
-
Rename var to risch-var in trigin1
Don't need to have the special var `var` these functions, so make
it lexical.
Full testsuite passes.
-
54395c9...
by
Raymond Toy <email address hidden>
-
Rename var to risch-var in tryrisch, tryrisch1, and rischfprog
Don't need to have the special var `var` these functions, so make
it lexical.
Full testsuite passes.
-
113b54f...
by
Raymond Toy <email address hidden>
-
Rename var to risch-var in rischlogdprog
Don't need to have the special var `var` in `rischlogdprog`, so make
it lexical.
Full testsuite passes.
-
0b1fb35...
by
Raymond Toy <email address hidden>
-
Rename var to risch-var in rischlogeprog
Don't need to have the special var `var` in `rischlogeprog`, so make
it lexical.
Full testsuite passes.
-
e178339...
by
Raymond Toy <email address hidden>
-
Rename var to risch-var in rischlogpoly
Don't need to have the special var `var` in `rischlogpoly`, so make it
lexical.
Full testsuite passes.
-
2a505df...
by
Raymond Toy <email address hidden>
-
Rename var to risch-var in dilog
Don't need to have the special var `var` in `dilog`, so make it
lexical.
Full testsuite passes.
-
fff0e91...
by
Raymond Toy <email address hidden>
-
Rename var to risch-var in exppolycontrol
Don't need to have the special var `var` in `exppolycontrol`, so make
it lexical.
Full testsuite passes.