Interesting Esoterica

Ordner: index of real numbers

Web page by Fredrik Johansson
  • Published in 2019
  • Added on
In the collection
Ordner is indexed by 30-digit floating-point decimal keys such as 0.707106781186547524400844362105. For each key, Ordner lists constant symbolic expressions (for example Div(1, Sqrt(2))) with numerical value within ±1 ulp of the key. For each expression x, Ordner also links to the Fungrim entries where x appears. Ordner is generated automatically by searching all Fungrim formulas for constant subexpressions that Arb can evaluate numerically. Only expressions that appear explicitly in Fungrim are covered, with the following exceptions. For tables with numerical data, all the listed instances of the ground expression are included. All decimal keys in Ordner are normalized to be nonnegative, so expressions x representing negative values are indexed as Neg(x) in Ordner. Complex numbers are indexed by the real and imaginary parts (Re(x), Im(x)), as well as the absolute value and complex argument (Abs(x), Arg(x)) when both the real and imaginary parts are nonzero. The number 0 is a special case: a vanishing expression is only included when the numerical evaluation code can prove that the expression exactly represents 0. Some trivially zero-valued expressions are excluded to prevent bloat. Finally, since the Fungrim formula language normally uses Exp(x) instead of Pow(ConstE, x) to represent the exponential function, formulas containing Exp(...) are listed under 2.71828182845904523536028747135 as a special case, so as to represent this fundamental constant fairly! ORDNER stands for Online Real Decimal Number Encyclopedia Reference.

Links


BibTeX entry

@online{Ordner,
	title = {Ordner: index of real numbers},
	abstract = {Ordner is indexed by 30-digit floating-point decimal keys such as 0.707106781186547524400844362105. For each key, Ordner lists constant symbolic expressions (for example Div(1, Sqrt(2))) with numerical value within ±1 ulp of the key. For each expression x, Ordner also links to the Fungrim entries where x appears.

Ordner is generated automatically by searching all Fungrim formulas for constant subexpressions that Arb can evaluate numerically. Only expressions that appear explicitly in Fungrim are covered, with the following exceptions. For tables with numerical data, all the listed instances of the ground expression are included. All decimal keys in Ordner are normalized to be nonnegative, so expressions x representing negative values are indexed as Neg(x) in Ordner. Complex numbers are indexed by the real and imaginary parts (Re(x), Im(x)), as well as the absolute value and complex argument (Abs(x), Arg(x)) when both the real and imaginary parts are nonzero. The number 0 is a special case: a vanishing expression is only included when the numerical evaluation code can prove that the expression exactly represents 0. Some trivially zero-valued expressions are excluded to prevent bloat. Finally, since the Fungrim formula language normally uses Exp(x) instead of Pow(ConstE, x) to represent the exponential function, formulas containing Exp(...) are listed under 2.71828182845904523536028747135 as a special case, so as to represent this fundamental constant fairly!

ORDNER stands for Online Real Decimal Number Encyclopedia Reference.},
	url = {https://fungrim.org/ordner/},
	year = 2019,
	author = {Fredrik Johansson},
	comment = {},
	urldate = {2021-04-20},
	collections = {lists-and-catalogues}
}