Warning: new definition for norm
Warning: new definition for trace
Version of July 9, 1997
written by Doron Zeilberger(zeilberg@math.temple.edu).
HORTON: A Maple package accompanying the paper
"Proof of Conway's "Lost" Cosmological Theorem" by Shalosh B. Ekhad
and Doron Zeilberger. (ERA-AMS, v.3)
It proves the Cosmological Theorem and also investigates John HORTON
Conway's brilliant analysis of his brilliant Audioacive decay,
as it is explained in his paper "The weird and wonderful chemistry
of audioactive decay" that appeared in "Open problems in
communication and computation", edited by Thomas M. Cover and
B. Gopinath, Springer, 1987.
The most current version of the program
is available from
http://www.math.temple.edu/~zeilberg
For a list of the procedures type ezra(), for help with
a specific procedure, type ezra(procedure_name)
The number of female segments of length 0 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
1
The largest longevity, so far, is 0
The number of female segments of length 2 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
9
The largest longevity, so far, is 19
The number of female segments of length 4 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
38
The largest longevity, so far, is 19
The number of female segments of length 6 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
118
The largest longevity, so far, is 20
The number of female segments of length 8 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
284
The largest longevity, so far, is 20
The number of female segments of length 10 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
548
The largest longevity, so far, is 20
The number of female segments of length 12 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
996
The largest longevity, so far, is 20
The number of female segments of length 14 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
1601
The largest longevity, so far, is 20
The number of female segments of length 16 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
2383
The largest longevity, so far, is 20
The number of female segments of length 18 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
3287
The largest longevity, so far, is 20
The number of female segments of length 20 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
4198
The largest longevity, so far, is 20
The number of female segments of length 22 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
4976
The largest longevity, so far, is 20
The number of female segments of length 24 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
5626
The largest longevity, so far, is 20
The number of female segments of length 26 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
6252
The largest longevity, so far, is 20
The number of female segments of length 28 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
6965
The largest longevity, so far, is 20
The number of female segments of length 30 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
7690
The largest longevity, so far, is 20
The number of female segments of length 32 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
8372
The largest longevity, so far, is 20
The number of female segments of length 34 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
9045
The largest longevity, so far, is 20
The number of female segments of length 36 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
9624
The largest longevity, so far, is 20
The number of female segments of length 38 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
10111
The largest longevity, so far, is 20
The number of female segments of length 40 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
10353
The largest longevity, so far, is 20
The number of female segments of length 42 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
10479
The largest longevity, so far, is 20
The number of female segments of length 44 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
10510
The largest longevity, so far, is 20
The number of female segments of length 46 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
10409
The largest longevity, so far, is 20
The number of female segments of length 48 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
10262
The largest longevity, so far, is 20
The number of female segments of length 50 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
9921
The largest longevity, so far, is 20
The number of female segments of length 52 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
9288
The largest longevity, so far, is 20
The number of female segments of length 54 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
8338
The largest longevity, so far, is 20
The number of female segments of length 56 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
7149
The largest longevity, so far, is 20
The number of female segments of length 58 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
5859
The largest longevity, so far, is 20
The number of female segments of length 60 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
4635
The largest longevity, so far, is 20
The number of female segments of length 62 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
3570
The largest longevity, so far, is 20
The number of female segments of length 64 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
2687
The largest longevity, so far, is 20
The number of female segments of length 66 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
1952
The largest longevity, so far, is 20
The number of female segments of length 68 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
1352
The largest longevity, so far, is 20
The number of female segments of length 70 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
878
The largest longevity, so far, is 20
The number of female segments of length 72 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
514
The largest longevity, so far, is 20
The number of female segments of length 74 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
272
The largest longevity, so far, is 20
The number of female segments of length 76 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
117
The largest longevity, so far, is 20
The number of female segments of length 78 that may be factors
of an atom in the decomposition of an 8 -day-old string is:
28
The largest longevity, so far, is 20
40,
[1, 9, 38, 118, 284, 548, 996, 1601, 2383, 3287, 4198, 4976, 5626, 6252, 6965,
7690, 8372, 9045, 9624, 10111, 10353, 10479, 10510, 10409, 10262, 9921,
9288, 8338, 7149, 5859, 4635, 3570, 2687, 1952, 1352, 878, 514, 272, 117,
28]