An expression can be written as a single fraction: AsSingleFraction - #1622

Merged

Rafael-SOWNet merged 5 commits into

as-single-fraction

Oct 4, 2026

Commits on Sep 30, 2026

An expression can be written as a single fraction: AsSingleFraction

Rafael-SOWNet
and
claude
committed
9fb9e50
Turning a fraction over says its denominator is nonzero

Rafael-SOWNet
and
claude
committed
b0c4570
A sum is written over the least common multiple of its denominators

Rafael-SOWNet
and
claude
committed
7a6865a
Each half of a single fraction ends on the neatening Simplify ends on

Rafael-SOWNet
and
claude
committed
9e23f63

Commits on Oct 4, 2026

Merge master 346b2181

Rafael-SOWNet
and
claude
committed
a5378a8