/usr/lib/open-axiom/input/exlimit.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 | -- Input for page ExLimitBasic
)clear all
limit((x**2 - 3*x + 2)/(x**2 - 1),x = 1)
-- Input for page ExLimitComplexInfinite
)clear all
complexLimit((2 + z)/(1 - z),z = %infinity)
limit(sin(x)/x,x = %plusInfinity)
complexLimit(sin(x)/x,x = %infinity)
-- Input for page ExLimitOneSided
)clear all
limit(x * log(x),x = 0,"right")
limit(x * log(x),x = 0)
-- Input for page ExLimitTwoSided
)clear all
limit(sqrt(y**2)/y,y = 0)
limit(sqrt(1 - cos(t))/t,t = 0)
-- Input for page ExLimitInfinite
)clear all
limit(sqrt(3*x**2 + 1)/(5*x),x = %plusInfinity)
limit(sqrt(3*x**2 + 1)/(5*x),x = %minusInfinity)
-- Input for page ExLimitParameter
)clear all
limit(sinh(a*x)/tan(b*x),x = 0)
-- Input for page ExLimitRealComplex
)clear all
limit(z * sin(1/z),z = 0)
complexLimit(z * sin(1/z),z = 0)
|