/usr/lib/open-axiom/input/exint.input is in open-axiom-test 1.4.1+svn~2626-2ubuntu2.
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 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 | -- Input for page ExIntRationalWithRealParameter
)clear all
integrate(1/(x**2 + a),x)
-- Input for page ExIntRationalFunction
)clear all
integrate((x**2+2*x+1)/((x+1)**6+1),x)
-- Input for page ExIntAlgebraicRelation
)clear all
integrate(tan(atan(x)/3),x)
-- Input for page ExIntRationalWithComplexParameter
)clear all
complexIntegrate(1/(x**2 + a),x)
-- Input for page ExIntNoSolution
)clear all
integrate(log(1 + sqrt(a*x + b)) / x,x)
-- Input for page ExIntTwoSimilarIntegrands
)clear all
integrate(x**3 / (a+b*x)**(1/3),x)
integrate(1 / (x**3 * (a+b*x)**(1/3)),x)
-- Input for page ExIntRadicalOfTranscendental
)clear all
integrate((x + 1) / (x * (x + log x)**(3/2)),x)
-- Input for page ExIntNonElementary
)clear all
integrate(exp(-x**2) * erf(x) / (erf(x)**3 - erf(x)**2 - erf(x) + 1),x)
-- Input for page ExIntTrig
)clear all
integrate((sinh(1+sqrt(x+b))+2*sqrt(x+b))/(sqrt(x+b)*(x+cosh(1+sqrt(x+b)))),x)
|