Update of /home/cvs/GiNaC/check Modified Files: exam_clifford.cpp Log Message: * Now two different simplification paths in clifford::contract_with(). * Clifford now works with non-symmetric metric as well. * Several small corrections and update of tutorial and automatic checks. [V.Kisil]