History of Hyperreal numbers

back to table · edit · history · where entries came from

when	who	what
2026-08-09 09:26	label hoist	moved the parameter labels onto the parameter they describe	current
2026-08-09 09:12	flattening	entries rewritten as records with named parameters
2026-08-09 08:34	data-repository import	the current state of the data repository	reviewed
2021-04-12 08:32	admin	from the data repository, 2ceef950
2021-04-04 19:18	admin	from the data repository, d264d76c
2021-04-04 16:21	admin	from the data repository, e9558e10

What changed between 2026-08-09 09:12 and 2026-08-09 09:26

from line 10 (9 lines, 5 more than before) @@ -10,4 +10,9 @@

     type: Symbolic     show-in-parameter-list: 'no'+    values:+      '1': $1$+      eps: $\varepsilon$+      1/eps: $1/\varepsilon$+      S: $S$ Comments:   comment-not-well-defined: Our current definition of $^*\mathbb{R}$ is not well-defined

from line 62 (14 lines, 4 fewer than before) @@ -57,18 +62,14 @@

 Display properties: '' Numbers:-- param-latex: $1$-  params:+- params:     expression: '1'   number: '(n: 1 for n in NN)'-- param-latex: $\varepsilon$-  params:+- params:     expression: eps   number: '(n: 1/n for n in NN)'-- param-latex: $1/\varepsilon$-  params:+- params:     expression: 1/eps   number: '(n: n for n in NN)'-- param-latex: $S$-  params:+- params:     expression: S   number: '(n: (-1)^n * n for n in NN)'