Executable notebooks

Dimensional algebra, running in your browser.

ucon treats dimensional correctness as an algebraic property that a program can verify. These notebooks run that algebra in your browser — every cell executes, and every cell is editable.

>>> Number(1, units.gray, kind=absorbed_dose) + Number(1, units.sievert, kind=dose_equivalent) JoinRefused: Cannot join kinds 'absorbed_dose' and 'dose_equivalent': parent 'specific_energy' has join_policy=refuse # both units are J/kg — the dimension vector agrees; the physics does not

A structured refusal from the kind lattice. Most units libraries compute 1 Gy + 1 Sv = 2 without complaint.

Notebooks

Where Dimension Vectors Run Out

A live comparison of how astropy, pint, and ucon handle quantities whose dimensions agree but whose meanings don't — gray vs. sievert, torque vs. energy, radian vs. steradian. Astropy's angle handling is taken as prior art; the kind lattice is what happens when that decision is generalized.

runs astropy · pint · ucon editable cells powered by Pyodide

Open notebook First load fetches the Python runtime — allow 15–30 seconds.

More notebooks are on the way — basis extension beyond SI, and the kind lattice's join policies up close. Want one first? Open an issue.