15 Oct
2004
15 Oct
'04
4:43 p.m.
CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti@cs.unipr.it 2004-10-15 18:43:43
Modified files: src : rr_classifier.cc
Log message: Behave properly when given a recurrence defined as a function of the FOLLOWING terms - this often happens in Zeilberger.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cv...