A rational function of the tangent of a linear argument with symbols in it is not simplified under the linear substitution - #1731

Merged

Rafael-SOWNet merged 5 commits into

a-linear-substitution-is-not-simplified

Oct 4, 2026

Commits on Oct 3, 2026

A linear substitution's quotient is not simplified

Rafael-SOWNet
and
claude
committed
0e700ca
Only a function of the tangent alone is handed on unsimplified under a linear substitution

Rafael-SOWNet
and
claude
committed
3dfbcf5
Merge commit '8f3757cd' into a-linear-substitution-is-not-simplified
Rafael-SOWNet
committed
490fc45

Commits on Oct 4, 2026

Merge master ba8eb99b
Rafael-SOWNet
committed
e4c00b2
The linear substitution's entry gives the time master measures today

Rafael-SOWNet
and
claude
committed
a7c0100