Brief note. A detailed integration guide (APIs, CAS/solver contract, printing grammar, defaults, and pipeline wiring) lives in the repo.
See:
https://github.com/OMPSHUNYAYA/Symbolic-Mathematics-0over0-Limits
One-line contract reminder (ASCII).
Input : f(x), g(x), x0, optional priors {a_f?, a_g?}
Output : < m_out , a_div > plus {DIR?, REG flags, BADGES}
Core : classify by (Delta_p, Delta_q); DIR from sign(c_f/c_g) for INF
Align : a_div := tanh(atanh(a_f) - atanh(a_g)); clamp before atanh
Collapse: phi(<m,a>) = m
Navigation
Prev: Classifying 0over0 Limits — Findings (8)
Next: Classifying 0over0 Limits — Limitations & Edge Cases (10)
SHUNYAYA 