Update of /home/cvs/GiNaC/check Modified Files: exam_archive.cpp Log Message: adjusted for the fact that "A + c" is now rejected by add::eval if A is noncommutative and c is a numeric