[PURRS-devel] purrs/src Recurrence.cc
zolo at spartacus.cs.unipr.it
Fri Dec 12 09:56:33 CET 2003
Module name: purrs
Changes by: zolo at cs.unipr.it 2003-12-12 09:56:33
src : Recurrence.cc
Activated the new verification's process on linear finite
order recurrences with constant coefficients (which are not solved by
the order reduction method).
Added some FIXME.
The time of the "make check" is remarkably improved.
More information about the PURRS-devel