d26ad3545c6236ce6c0b5c97ef24e8c6c60fbc19
[ginac.git] / cint / exam_mansamples.cpp
1 #! ./run_exams --silent
2 int result = 0;
3 symbol x("x"), y("y"), z("z");
4 {
5     ex a = pow(x,2)-x-2;
6     ex b = pow(x+1,2);
7     ex s = a/b;
8     if (!(s.diff(x)-2*pow(1+x,-3)*(-2-x+pow(x,2))-(-1+2*x)*pow(1+x,-2)).is_zero()) {
9         ++result;
10     }
11     if (!(s.normal()-(-2+x)/(1+x)).is_zero()) {
12         ++result;
13     }
14 }
15 exit(result);