Repository navigation

Add logarithms, fits over observations with R², and multiple regression - #7

Merged

christianparpart merged 57 commits into

masterfrom

next-features

Sep 30, 2026

Commits on Sep 29, 2026
- docs(spec): declared precision for values the exact layer cannot hold
  Christian Parpart
  committed
  d91cd06
- docs(spec): logarithms and exponentials
  Christian Parpart
  committed
  d817153
- docs(spec): regression over observations, with R² and several regressors
  Christian Parpart
  committed
  c30f261
- docs(plan): declared precision for values the exact layer cannot hold
  Christian Parpart
  committed
  eeb03f0
- docs(plan): logarithms and exponentials
  Christian Parpart
  committed
  ca66f90
- docs(plan): regression over observations, with R² and several regressors
  Christian Parpart
  committed
  f81147e
- docs(plan): check the logarithm kernel at run time, with one compile-time smoke test
  Christian Parpart
  committed
  f0130fc
Commits on Sep 30, 2026
- feat(detail): fixed-width unsigned integers for exact arithmetic past 64 bits
  Christian Parpart
  committed
  f1745e2
- feat(detail): round a wide fraction exactly, as checked_round rounds a Rational
  Christian Parpart
  committed
  5256718
- feat(opaque): rounded_output, an opaque output at a declared precision
  Christian Parpart
  committed
  7827038
- docs(opaque): state rounded_output's reach and the call member's reason plainly
  Christian Parpart
  committed
  b3bca27
- feat(opaque): render, document, rewrite and walk a rounded opaque output
  Christian Parpart
  committed
  90fb500
- feat(trace): trace a rounded opaque output without writing the unrounded value
  Christian Parpart
  committed
  321b9ae
- test(opaque): pin that an overlay keeps a rounded output rounded
  Christian Parpart
  committed
  3b566b2
- feat(least_squares): the fit in wide integers, so that a rounded slope answers where the exact one overflows
  Christian Parpart
  committed
  c7b9587
- docs: values the exact layer cannot hold, and rounded_output in the guides
  Christian Parpart
  committed
  f5c56d7
- feat(function): natural and decimal logarithms and the exponential of a dimensionless formula
  Christian Parpart
  committed
  3666ab7
- feat(function): overlays, precision limits and calculations see inside a logarithm
  Christian Parpart
  committed
  5822567
- feat(render): logarithms and exponentials on the page and in the trace
  Christian Parpart
  committed
  aa0d18e
- feat(transcendental): an integer kernel enclosing logarithms and exponentials
  Christian Parpart
  committed
  3288c3b
- fix(transcendental): state the kernel's bound and reach exactly, and keep its names clear of consumer globals
  Christian Parpart
  committed
  dcb7e32
- feat(rounded_transcendental): logarithms and exponentials rounded exactly to declared places
  Christian Parpart
  committed
  c7b335a
- test(rounded_transcendental): pin that the places check comes before the tiny-exponential rule
  Christian Parpart
  committed
  b8e74d5
- feat(trace_render): a rounded logarithm or exponential as one step, in every dialect
  Christian Parpart
  committed
  ac5d43e
- docs(expressions): logarithms and exponentials, with a gallery entry
  Christian Parpart
  committed
  8d2eb39
- refactor(observations): raw observations in a header of their own
  Christian Parpart
  committed
  6affa7a
- feat(least_squares): an exact regression kernel in wide integers, with its double counterpart
  Christian Parpart
  committed
  f1a8d35
- docs(least_squares): name the signed type and the step limit instead of internal labels
  Christian Parpart
  committed
  7a626f8
- feat(opaque): raw observations as an opaque operation's input
  Christian Parpart
  committed
  df050d4
- docs(opaque): say which failures carry a position, and write the step number as a placeholder
  Christian Parpart
  committed
  1917ecf
- feat(least_squares): a line through raw observations, with R² and the number of points
  Christian Parpart
  committed
  3ffb790
- feat(least_squares): multiple regression over observations, refusing a singular design
  Christian Parpart
  committed
  a5262af
- docs(least_squares): a line through observations in the guide, the example and the census
  Christian Parpart
  committed
  aec593e
- docs(least_squares): several regressors in the guide, the example and the census
  Christian Parpart
  committed
  7b29f53
- test(least_squares): pin what the multiple regression refuses on one unwrapped regressor, and rewrap a comment
  Christian Parpart
  committed
  63fb9ac
- docs(least_squares): state only what was measured about the regression's reach
  Christian Parpart
  committed
  1905877
- test(least_squares): fit eight regressors, check small fits at compile time
  Christian Parpart
  committed
  ef4bf42
- test(rounding): pin the ties and limits a wrong answer would have passed
  Christian Parpart
  committed
  f8313d4
- test(negative): make a dead REJECT live and count two logarithm messages
  Christian Parpart
  committed
  bc98b40
- docs(changelog): record statistics.hpp's includes, and order the unreleased changes
  Christian Parpart
  committed
  9b77d70
- docs: name the rounded logarithms wherever the rounded forms are listed
  Christian Parpart
  committed
  28498cc
- docs: correct stale, imprecise and ragged text in the new headers and guides
  Christian Parpart
  committed
  e39e309
- refactor(least_squares): hand the line its row count, not a wide one read back
  Christian Parpart
  committed
  0318ab7
- refactor(trace): record whether an opaque call answered as OpaqueAnswer
  Christian Parpart
  committed
  c723539
- refactor(detail): name a logarithm's sign, and let accumulate answer its sum
  Christian Parpart
  committed
  f331a43
- fix(overlay): say "or as raw observations" where a constant cannot stand for them
  Christian Parpart
  committed
  e292595
- test: say what a fixture is, not that a plan has it
  Christian Parpart
  committed
  03a88ba
- refactor(render): spell a rounding to decimal places once
  Christian Parpart
  committed
  6c0b282
- refactor(trace_render): name an opaque output, and list a call's outputs, once
  Christian Parpart
  committed
  c6a5764
- refactor(opaque): hold a call's inputs and apply them in one place
  Christian Parpart
  committed
  b7742e7
- refactor(rounded_transcendental): take the function as a template argument
  Christian Parpart
  committed
  039583e
- refactor(least_squares): skip the lcm a column's denominator already divides
  Christian Parpart
  committed
  b295c31
- refactor(least_squares): let the curve fit reuse the kernel's pre-check and lcm
  Christian Parpart
  committed
  fdcb149
- refactor(least_squares): split a regression's columns in one place
  Christian Parpart
  committed
  c7acea0
- refactor(least_squares): one rep_apply for the approximate route's four operations
  Christian Parpart
  committed
  6e2d653
- style: clang-format the lines this branch changed
  Christian Parpart
  committed
  2ae545e
- fix(least_squares): record and pin that a lone NaN point is refused in double
  Christian Parpart
  committed
  c47c482

Commits

Commits on Sep 29, 2026

Commits on Sep 30, 2026