This file is indexed.

/usr/share/axiom-20140801/input/intbypart.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
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
)set break resume
)spool intbypart.output
)set message test on
)set message auto off
)clear all
--S 1 of 16
integrate(x*log(x),x)
--R
--R          2          2
--R        2x log(x) - x
--R   (1)  --------------
--R               4
--R                                         Type: Union(Expression(Integer),...)
--E 1
--S 2 of 16
integrate(x*exp(x),x)
--R
--R                 x
--R   (2)  (x - 1)%e
--R                                         Type: Union(Expression(Integer),...)
--E 2
--S 3 of 16
integrate(exp(x)*sin(x),x)
--R
--R          x                 x
--R        %e sin(x) - cos(x)%e
--R   (3)  ---------------------
--R                  2
--R                                         Type: Union(Expression(Integer),...)
--E 3
--S 4 of 16
integrate(x^3*exp(x^2),x)
--R
--R                   2
--R          2       x
--R        (x  - 1)%e
--R   (4)  ------------
--R              2
--R                                         Type: Union(Expression(Integer),...)
--E 4

--S 5 of 16
integrate(log(x^2+2),x)
--R
--R                                   +-+
--R               2          +-+     \|2
--R   (5)  x log(x  + 2) - 2\|2 atan(----) - 2x
--R                                    x
--R                                         Type: Union(Expression(Integer),...)
--E 5
--S 6 of 16
integrate(x*sin(x),x)
--R
--R   (6)  sin(x) - x cos(x)
--R                                         Type: Union(Expression(Integer),...)
--E 6
--S 7 of 16
integrate(x*cos(x),x)
--R 
--R
--R   (7)  x sin(x) + cos(x)
--R                                         Type: Union(Expression(Integer),...)
--E 7
--S 8 of 16
integrate(x^2*cos(x),x)
--R 
--R
--R          2
--R   (8)  (x  - 2)sin(x) + 2x cos(x)
--R                                         Type: Union(Expression(Integer),...)
--E 8
--S 9 of 16
integrate(sin(x)*cos(x),x)
--R 
--R
--R                2
--R          cos(x)
--R   (9)  - -------
--R             2
--R                                         Type: Union(Expression(Integer),...)
--E 9
--S 10 of 16
integrate(log(x),x)
--R
--R   (10)  x log(x) - x
--R                                         Type: Union(Expression(Integer),...)
--E 10
--S 11 of 16
integrate(x^2*log(x),x)
--R
--R           3          3
--R         3x log(x) - x
--R   (11)  --------------
--R                9
--R                                         Type: Union(Expression(Integer),...)
--E 11
--S 12 of 16
integrate(x^2*exp(x),x)
--R 
--R
--R           2            x
--R   (12)  (x  - 2x + 2)%e
--R                                         Type: Union(Expression(Integer),...)
--E 12
--S 13 of 16
integrate(asin(x),x)
--R 
--R
--R                     +--------+
--R                     |   2           +--------+
--R                  2x\|- x  + 1       |   2
--R         - x atan(-------------) + 2\|- x  + 1
--R                       2
--R                     2x  - 1
--R   (13)  --------------------------------------
--R                            2
--R                                         Type: Union(Expression(Integer),...)
--E 13
--S 14 of 16
integrate(atan(x),x)
--R 
--R
--R                2                 2x
--R         - log(x  + 1) - x atan(------)
--R                                 2
--R                                x  - 1
--R   (14)  ------------------------------
--R                        2
--R                                         Type: Union(Expression(Integer),...)
--E 14
--S 15 of 16
integrate(sec(x)^3,x)
--R 
--R
--R   (15)
--R         2    sin(x) + cos(x) + 1          2    sin(x) - cos(x) - 1
--R   cos(x) log(-------------------) - cos(x) log(-------------------) + sin(x)
--R                   cos(x) + 1                        cos(x) + 1
--R   --------------------------------------------------------------------------
--R                                           2
--R                                    2cos(x)
--R                                         Type: Union(Expression(Integer),...)
--E 15
--S 16 of 16
integrate(x^3*exp(2*x),x)
--R 
--R
--R            3     2            2x
--R         (4x  - 6x  + 6x - 3)%e
--R   (16)  ------------------------
--R                     8
--R                                         Type: Union(Expression(Integer),...)
--E 16
)spool
)lisp (bye)