History of Hyperreal numbers

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

when	who	what
2026-08-15 11:02	bmatschke	how well the digits are known: exact (symbolic sequences; there is no precision to choose)	current
2026-08-09 09:26	label hoist	moved the parameter labels onto the parameter they describe
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	bmatschke	from the data repository, 2ceef950
2021-04-04 19:18	bmatschke	from the data repository, d264d76c
2021-04-04 16:21	bmatschke	from the data repository, e9558e10

What changed between 2026-08-09 09:26 and 2026-08-15 11:02

from line 60 (7 lines, 3 more than before) @@ -60,4 +60,7 @@

 Data properties:   type: '*R'+  rigour: exact+  rigour details: An exact value -- an integer, a rational or a polynomial -- so there+    is no precision to choose and nothing to be wrong about. Display properties: '' Numbers: