1 #! ./run_exams --silent
4 * A simple substitution test. If it fails you are really in trouble:
9 e = pow(x+y,200).expand();
15 * Denny Fliegner's test using vector<symbol> tests Cint's memory management.
21 for (int i=0; i<42; ++i) {
23 buf << "a" << i << ends;
24 a.push_back(symbol(buf.str()));
27 ex sbtrct = -bigsum + a[0] + a[1];
28 if (pow(bigsum,2).expand().subs(a[0]==sbtrct).expand() != pow(a[1],2))