On 7/27/08, Robert Dodier <robert.dodier at gmail.com> wrote:
> It seems we need a way to make simplifying functions autoload.
> I guess this should do it: put the autoload declaration for simp-pochhammer
> (and simp-unit-step and any others defined in orthopoly.lisp)
> in src/max_ext.lisp, and move the defprop's for those from orthopoly
> to src/max_ext.lisp.
I've committed changes to src/max_ext.lisp which, I hope,
make simp-pochhammer and simp-unit-step autoload.
I hope that resolves some errors in the test suite.
best
Robert Dodier