This file is indexed.

/usr/share/axiom-20140801/input/explim.input is in axiom-test 20140801-6.

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
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
)set break resume
)spool explim.output
)set message test on
)set message auto off
)clear all
)clear all

--S 1 of 12
limit(x/exp(x),x = %plusInfinity)              -- 0
--R 
--R
--R   (1)  0
--R                      Type: Union(OrderedCompletion(Expression(Integer)),...)
--E 1

--S 2 of 12
limit(x**10000/exp(x),x = %plusInfinity)       -- 0
--R 
--R
--R   (2)  0
--R                      Type: Union(OrderedCompletion(Expression(Integer)),...)
--E 2

--S 3 of 12
limit(x**(10**20)/exp(x),x = %plusInfinity)    -- 0
--R 
--R
--R   (3)  0
--R                      Type: Union(OrderedCompletion(Expression(Integer)),...)
--E 3

--S 4 of 12
limit(x**h/exp(x),x = %plusInfinity)           -- 0
--R 
--R
--R   (4)  0
--R                      Type: Union(OrderedCompletion(Expression(Integer)),...)
--E 4

--S 5 of 12
limit(x/exp(x),x = %minusInfinity)             -- %minusInfinity
--R 
--R
--R   (5)  - infinity
--R                      Type: Union(OrderedCompletion(Expression(Integer)),...)
--E 5

--S 6 of 12
limit(x**10000/exp(x),x = %minusInfinity)      -- %plusInfinity
--R 
--R
--R   (6)   + infinity
--R                      Type: Union(OrderedCompletion(Expression(Integer)),...)
--E 6

--S 7 of 12
limit(x**(10**20)/exp(x),x = %minusInfinity)   -- %plusInfinity
--R 
--R
--R   (7)   + infinity
--R                      Type: Union(OrderedCompletion(Expression(Integer)),...)
--E 7

--S 8 of 12
limit(x**h/exp(x),x = %minusInfinity)          -- "failed"
--R 
--R
--R   (8)  "failed"
--R                                                    Type: Union("failed",...)
--E 8

--S 9 of 12
limit(exp(-x) * sinh(x),x = %plusInfinity)     -- 1/2
--R 
--R
--R        1
--R   (9)  -
--R        2
--R                      Type: Union(OrderedCompletion(Expression(Integer)),...)
--E 9

--S 10 of 12
limit(exp(-x) * cosh(x),x = %plusInfinity)     -- 1/2
--R 
--R
--R         1
--R   (10)  -
--R         2
--R                      Type: Union(OrderedCompletion(Expression(Integer)),...)
--E 10

--S 11 of 12
limit(exp(-x) * exp(x),x = %plusInfinity)      -- 1
--R 
--R
--R   (11)  1
--R                      Type: Union(OrderedCompletion(Expression(Integer)),...)
--E 11

--S 12 of 12
limit((x + 1)**(x + 1)/x**x - x**x/(x - 1)**(x - 1),x = %plusInfinity)  -- %e
--R 
--R
--R   (12)  %e
--R                      Type: Union(OrderedCompletion(Expression(Integer)),...)
--E 12
)spool 
)lisp (bye)