This file is indexed.

/usr/share/axiom-20170501/input/binary.input is in axiom-test 20170501-3.

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
)set break resume
)spool binary.output
)set message test on
)set message auto off
)clear all

--S 1 of 7
r := binary(22/7)
--R 
--R
--R           ___
--R   (1)  11.001
--R                                                        Type: BinaryExpansion
--E 1

--S 2 of 7
r + binary(6/7)
--R 
--R
--R   (2)  100
--R                                                        Type: BinaryExpansion
--E 2

--S 3 of 7
[binary(1/i) for i in 102..106] 
--R 
--R
--R   (3)
--R       ________    ___________________________________________________
--R   [0.000000101, 0.000000100111110001000101100101111001110010010101001,
--R         ____________    ____________
--R    0.000000100111011, 0.000000100111,
--R       ____________________________________________________
--R    0.00000010011010100100001110011111011001010110111100011]
--R                                                  Type: List(BinaryExpansion)
--E 3

--S 4 of 7
binary(1/1007) 
--R 
--R
--R   (4)
--R   0.
--R     OVERBAR
--R        00000000010000010001010010010111100000111111000010111111001011000111110
--R          100010011100100110011000110010010101011110110100110000000011000011001
--R          111011100011010001011110100100011110110000101011101110011101010111001
--R          100101001011100000001110001111001000000100100100110111001010100111010
--R          001101110110101110001001000001100101101100000010110010111110001010000
--R          010101010110101100000110110111010010101111111010111010100110010000101
--R          0011011000100110001000100001000011000111010011110001
--R                                                        Type: BinaryExpansion
--E 4

--S 5 of 7
p := binary(1/4)*x^2 + binary(2/3)*x + binary(4/9)
--R 
--R
--R             2     __      ______
--R   (5)  0.01x  + 0.10x + 0.011100
--R                                            Type: Polynomial(BinaryExpansion)
--E 5

--S 6 of 7
q := D(p, x)
--R 
--R
--R                 __
--R   (6)  0.1x + 0.10
--R                                            Type: Polynomial(BinaryExpansion)
--E 6

--S 7 of 7
g := gcd(p, q)
--R 
--R
--R              __
--R   (7)  x + 1.01
--R                                            Type: Polynomial(BinaryExpansion)
--E 7
)spool
)lisp (bye)