/usr/lib/open-axiom/input/intmix.input is in open-axiom-test 1.5.0~svn3056+ds-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 | --Copyright The Numerical Algorithms Group Limited 1994.
-- some examples of mixed functions.
)cl all
(x + 1) / (x * (x + log x)**(3/2)) - 1/(x * log(x)**2)
integrate(%, x)
-- this one requires solving a risch d.e. over an elliptic curve
((5*x**4+2*x-2)/x**2 * (1+1/sqrt(x**3+1))+x/sqrt(x**3+1)) * exp(x*sqrt(x**3+1))
integrate(%, x)
-- this one does not have an elementary integral
log(1 + exp x)**(1/3) / (1 + log(1 + exp x))
integrate(%, x)
|