[seqfan] Complex base reinterpretation sequence
Pierre Abbat
phma at bezitopo.org
Sun May 15 09:46:12 CEST 2022
I just made the following sequence:
> take 100 (map (gosperSerial . integerToGosperInteger) [0..])
[0,1,9,10,179,180,188,182,183,1269,1270,1243,1244,1252,1246,1247,1059,1060,
1033,1034,1042,1036,1037,1094,1095,1215,1216,9505,9499,9500,9459,9460,9482,
9483,9295,9289,9290,9298,9299,9272,9273,9330,9324,9325,9333,9334,8131,8132,
8091,8085,8086,8094,8095,7921,7922,7930,7924,7925,7982,7983,7956,7957,7965,
7959,7960,47560,47561,47534,47535,47543,47537,47538,47595,47596,47373,47374,
47431,47425,47426,47385,47386,47408,47409,46192,46186,46187,46195,46196,
46169,46170,46227,46221,46222,46230,46231,46057,46058,46017,46011,46012]
The steps to compute the nth number in the sequence are:
1. Express n as an Eisenstein integer in base 2.5-√-0.75 (called the Gosper
base) using cyclotomic digits, where 0 and 1 represent themselves and the
units are 1,3,2,6,4,5 counterclockwise.
2. Reinterpret the sequence of digits as base 7.
3. Output the resulting nonnegative integer in decimal.
The growth is on the order of quadratic, but with big jumps both up and down.
For all n, a[n] ≡ n mod 7.
The program that generates this sequence is at https://github.com/phma/
gosperbase . Like Quadlods, which generates A322289 but is a library and
application for generating two kinds of low-discrepancy sequences, Gosperbase,
which I'm still developing, will be a library for computing both integers and
floats in Gosper base.
I don't expect any applied use of Gosperbase. It's just a demonstration that
arithmetic, including long division, can be done in a complex base. (I've done
the division code in C++, but then got stuck on the parser, so I'm rewriting
the whole thing in Haskell.) Quadlods is intended for applied use; I currently
have a job prospect which may use Quadlods.
Pierre
--
gau do li'i co'e kei do
More information about the SeqFan
mailing list