try.ucon.dev

Executable notebooks

Some additions should fail.
Run the ones that don't.

ucon treats dimensional correctness as an algebraic property — one a program can verify, and refuse to violate. These notebooks run the algebra live in your browser. Nothing is mocked, 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.