名前通り原始数列の拡張
(0,1,2,3,,,)までは原始と同じ
これを(0,2)に圧縮する
定義は、
(S_1,S_2,,,,S_m)[n]
1, S_m=0の時
その０を消してnに1を足す
2, S_m≠0の時
S_m=M_0として、M_0より左側にあってM_0より小さい、最も右にある数をM_1とし、同様にM_2、M_3を求める
M_k-M_(k+1)=N_(k+1)とする
N_1≦N_(1~t)を満たす最大のtについて、M_t=S_iとする
G=S_1~S_(i-1),B=S_i~S_(m-1)
Δ=S_m-S_i-1,
B(0)=B,B(m)=B+mΔとし、
数列を(G,B(0),B(1),,,,B(n))[n+1]にする
大雑把に言うと、数字の差が1の時は原始数列と同じ展開(例えば(0,2,3)は(0,2,2,2,,,)になる)だが、
数字の差が2の時はΩ、3の時はΩ_2、nの時はΩ_ωの効果を持つようになる
大きさは、
(0,2)=ε_0
(0,3)=BHO
(0,4)=Ψ(Ω_3)
(0,n)=ψ(Ω_ω)
よって、ペア数列を1行で表せる
