[PURRS-devel] purrs/tests heap
zolo at spartacus.cs.unipr.it
Tue Aug 19 20:30:46 CEST 2003
Module name: purrs
Changes by: zolo at cs.unipr.it 2003-08-19 20:30:46
tests : heap
Changed the mark from `n' to `yv' to two infinite order recurrences
with `n' like upper bound of the sum.
Added other recurrences with lower and upper bound of the sum different
from `0' and `n-1', respectively.
More information about the PURRS-devel