/usr/share/axiom-20120501/input/is.input is in axiom-test 20120501-8.
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 | )set break resume
)spool is.output
)set message test on
)set message auto off
)clear all
--S 1 of 5
f: INT -> INT
--R Type: Void
--E 1
--S 2 of 5
f n ==
not empty?(u := Is(n, 2*m%)) => integer eval(m%, u)
3 * n + 1
--R
--R Type: Void
--E 2
)set stream showall on
--S 3 of 5
g(n:INT):STREAM(INT) == generate(f, n)
--R
--R Function declaration g : Integer -> Stream(Integer) has been added
--R to workspace.
--R Type: Void
--E 3
--S 4 of 5
s := g 27
--R
--R Compiling function g with type Integer -> Stream(Integer)
--R Compiling function f with type Integer -> Integer
--R
--R (4) [27,82,41,124,62,31,94,47,142,71,...]
--R Type: Stream(Integer)
--E 4
--S 5 of 5
extend(s, 150)
--R
--R
--R (5)
--R [27, 82, 41, 124, 62, 31, 94, 47, 142, 71, 214, 107, 322, 161, 484, 242,
--R 121, 364, 182, 91, 274, 137, 412, 206, 103, 310, 155, 466, 233, 700, 350,
--R 175, 526, 263, 790, 395, 1186, 593, 1780, 890, 445, 1336, 668, 334, 167,
--R 502, 251, 754, 377, 1132, 566, 283, 850, 425, 1276, 638, 319, 958, 479,
--R 1438, 719, 2158, 1079, 3238, 1619, 4858, 2429, 7288, 3644, 1822, 911, 2734,
--R 1367, 4102, 2051, 6154, 3077, 9232, 4616, 2308, 1154, 577, 1732, 866, 433,
--R 1300, 650, 325, 976, 488, 244, 122, 61, 184, 92, 46, 23, 70, 35, 106, 53,
--R 160, 80, 40, 20, 10, 5, 16, 8, 4, 2, 7, 22, 11, 34, 17, 52, 26, 13, 40, 20,
--R 10, 5, 16, 8, 4, 2, 7, 22, 11, 34, 17, 52, 26, 13, 40, 20, 10, 5, 16, 8, 4,
--R 2, 7, 22, 11, 34, 17, 52, 26, ...]
--R Type: Stream(Integer)
--E 5
)spool
)lisp (bye)
|