Module:Sequence

From Xenharmonic Wiki
Revision as of 12:37, 10 October 2022 by FloraC (talk | contribs) ("Zeta integral" is well attested)
Jump to navigation Jump to search
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
}

return p