Module:Sequence

Module documentation[view] [edit] [history] [purge]

This module primarily serves as a library for other modules and has no corresponding template.

Introspection summary for Module:Sequence
Functions provided (1) Line Function Params 3 contains (seq, n)	Lua modules required (0) Variable Module Functions used

No function descriptions were provided. The Lua code may have further information.

---

local p = {}

function p.contains(seq, n)
	if n > seq[#seq] then
		return nil
	end
	for i = 1, #seq do
		if seq[i] == n then
			return true
		end
	end
	return false
end

-- OEIS A117536
p.zeta_peak = {
	0, 1, 2, 3, 4,
	5, 7, 10, 12, 19,
	22, 27, 31, 41, 53,
	72, 99, 118, 130, 152,
	171, 217, 224, 270, 342,
	422, 441, 494, 742, 764,
	935, 954, 1012, 1106, 1178,
	1236, 1395, 1448, 1578, 2460,
	2684, 3395, 5585, 6079, 7033,
	8269, 8539, 11664, 14348, 16808,
	28742, 34691,
	-- unconfirmed data from [[The Riemann zeta function and tuning #Zeta EDO lists]]
	36269, 57578, 58973, 95524, 102557,
	112985, 148418, 212147, 241200
}

-- OEIS A117538
p.zeta_integral = {
	2, 5, 7, 12, 19,
	31, 41, 53, 72, 130,
	171, 224, 270, 764, 954,
	1178, 1395, 1578, 2684, 3395,
	7033, 8269, 8539, 14348, 16808,
	36269, 58973
}

-- OEIS A117537
p.zeta_gap = {
	2, 3, 5, 7, 12,
	19, 31, 46, 53, 72,
	270, 311, 954, 1178, 1308,
	1395, 1578, 3395, 4190,
	-- unconfirmed data from [[The Riemann zeta function and tuning #Zeta EDO lists]]
	8539, 14348, 58973, 95524
}

-- square superparticular indices by prime limit
-- data is taken from [[List of superparticular intervals]]
-- indices covered:
-- 2-27, 33-35, 39, 45, 49-51, 55-56, 64-65, 69, 76-77, 91, 99, 120,
-- 153, 161, 169, 170, 208-209, 323-324, 351, 391, 441, 2024, 2431
p.square_superpartuculars = {
	[2] = {},
	[3] = {2, 3},
	[5] = {4, 5, 9},
	[7] = {6, 7, 8, 15, 49},
	[11] = {10, 11, 21, 55, 99},
	[13] = {12, 13, 14, 25, 26, 27, 64, 65, 351},
	[17] = {16, 17, 33, 34, 35, 50, 51, 120, 169, 441},
	[19] = {18, 19, 20, 39, 56, 76, 77, 153, 170, 209, 324, 2431},
	[23] = {22, 23, 24, 45, 69, 91, 161, 208, 323, 391, 2024},
}

return p