"(x+1).subs(x==x-1)" now returns the correct result "x" instead of "x-1"
[ginac.git] / check / run_times
1 #! /bin/sh
2 echo "GiNaC will now run through some basic timings:"
3 ./times 2>times.out
4 cmp ${srcdir}/times.ref times.out