/usr/lib/open-axiom/input/expexpan.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 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 | --Copyright The Numerical Algorithms Group Limited MCMXCII.
--% ExponentialExpansion
-- We compute exponential expansions and right hand limits.
-- Author: Clifton J. Williamson
-- Date Created: 27 August 1992
-- Date Last Updated: 27 August 1992
-- Keywords: Exponential expansion, limit, right-hand limit
-- References:
xxp f == exprToXXP(f,true)$FS2EXPXP(INT,EXPR INT,x,0)
f1 := (a**2 + 1) * exp(1/x**3 + 2/x**2) - exp(b) * exp(1/x**3 + 3/x**2)
x1 := xxp f1
limitPlus x1 -- %minusInfinity
f2 := (a**2 + 1) * exp(1/x**3 + 2/x**2) - exp(b) * exp(-1/x**3 + 3/x**2)
x2 := xxp f2
limitPlus x2 -- %plusInfinity
f3 := (a**2 + 1) * exp(1/x**3) - exp(b) * exp(c/x**2)
x3 := xxp f3
limitPlus x3 -- %plusInfinity
f4 := (a**2 + 1) * exp(-1/x**3) - exp(b) * exp(c/x**2)
x4 := xxp f4
limitPlus x4 -- "failed"
p5 := tan(x) * exp(1/x**2) - tan(x) * exp(1/x**2 - 1/x) + sin(x) * exp(1/x)
q5 := -4 * exp(-1/x**2 - 1/x) + sin(x) * exp(-1/x**2 + 1/x)
f5 := p5 / q5
x5 := xxp f5
limitPlus x5 -- %plusInfinity
|