On 7/27/08, Dieter Kaiser <drdieterkaiser at web.de> wrote:
> First: The problems with rtest_hypgeo.test can almost be solved when indroducing
> a dummy test at the place where the loading of orthopoly is killed. All tests
> are well numbered. This scheme and the expected failures get out of order
> killing the line. Should I commit the dummy test, to reorder the numbering
> scheme?
Well, I guess that works, but I think it would be better to just update
the numbers in tests/testsuite.lisp.
> Second: There remains one open failure. Pochhammer(1,i) no longer simplifies to
> i!. After loading orthopoly by hand, it works again, the Pochhammer symbol now
> simplifies.
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.
> ratsimp(hgfred([-4],[1/2],z^2/2)-hermite(8,z/sqrt(2))/1680);
>
> hgfred returns an expression in terms of the Hermite function. But now the
> Hermite function we use to compare will automatically expanded in a series.
Hmm, does the test succeed if it is changed to
hgfred([-4],[1/2],z^2/2);
hermite(8,z/sqrt(2))/1680;
??
best
Robert Dodier