hello fabrizio,
thanks for notifying us about the new version of sarag.
i'll update maxima's sarag files soon.
zeilberger will be in 5.9.3 when it is released.
it is a share package so load (zeilberger); loads it.
the previous version of sarag is also in maxima,
although load ("sarag/sarag"); complains with an error
(redefinition of the floor function, now built-in).
please be advised that both sarag and zeilberger have
been modified in some minor ways to better fit into maxima.
e.g. plain text readme --> texinfo, end of filenames
changed from mc to mac, LOADZeilberger --> zeilberger,
etc. so perhaps you will consider using the maxima
versions as the basis for further development;
that way we can obviate the need for merging changes
back into maxima.
all the best,
robert dodier