This file is indexed.

/usr/share/axiom-20170501/input/float.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
 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
)set break resume
)spool float.output
)set message test on
)set message auto off
)clear all

-- look at 28 digits of accuracy (default is 20)
--S 1 of 13
digits 28
--R 
--R
--R   (1)  20
--R                                                        Type: PositiveInteger
--E 1

--S 2 of 13
p := numeric %pi
--R 
--R
--R   (2)  3.1415926535 8979323846 2643383
--R                                                                  Type: Float
--E 2

--S 3 of 13
a := 163.0
--R 
--R
--R   (3)  163.0
--R                                                                  Type: Float
--E 3

--S 4 of 13
b := sqrt a
--R 
--R
--R   (4)  12.7671453348 0370466171 095201
--R                                                                  Type: Float
--E 4

-- following appears to be an integer
--S 5 of 13
exp(p * b)
--R 
--R
--R   (5)  26253741 2640768744.0000000003
--R                                                                  Type: Float
--E 5

-- increase the precision to 60 and recalculate
--S 6 of 13
digits 60
--R 
--R
--R   (6)  28
--R                                                        Type: PositiveInteger
--E 6

--S 7 of 13
p := numeric %pi
--R 
--R
--R   (7)  3.1415926535 8979323846 2643383279 5028841971 6939937510 582097494
--R                                                                  Type: Float
--E 7

--S 8 of 13
a := 163.0
--R 
--R
--R   (8)  163.0
--R                                                                  Type: Float
--E 6

--S 9 of 13
b := sqrt a
--R 
--R
--R   (9)  12.7671453348 0370466171 0952009780 8923473823 6378030125 88512126
--R                                                                  Type: Float
--E 9

--S 10 of 13
exp(p * b)
--R 
--R
--R   (10)  26253741 2640768743.9999999999 9925007259 7198185688 8793538563 39
--R                                                                  Type: Float
--E 10

--S 11 of 13
c := cos(p/12)
--R 
--R
--R   (11)  0.9659258262 8906828674 9743199728 8973676339 0483900840 4550402343
--R                                                                  Type: Float
--E 11

-- we have enough precision to get 0 in following
--S 12 of 13
16*c^4 - 16*c^2 + 1
--R 
--R
--R   (12)  0.0
--R                                                                  Type: Float
--E 12

-- look at PI to 200 places
--S 13 of 13
numeric(%pi, 200)
--R 
--R
--R   (13)
--R  3.1415926535 8979323846 2643383279 5028841971 6939937510 5820974944 592307816
--R  4 0628620899 8628034825 3421170679 8214808651 3282306647 0938446095 505822317
--R  2 5359408128 4811174502 8410270193 8521105559 6446229489 54930382
--R                                                                  Type: Float
--E 13
)spool 
)lisp (bye)