08
Polarity Evaluation
—derived from four signed components
| component | value | sign |
|---|---|---|
| no frame | ||
POSITIVE when every live component is ≥ 0 with at least one positive; NEGATIVE when every live component is ≤ 0 with at least one negative; ZERO when all are zero; MIXED when signs disagree — which the independent P− branch produces whenever n < I.
09
Limit Analysis
—
expression preset
evaluationleft + right
left a−h
—
right a+h
—
L
—
convergence monitoring
| h | G(a−h) | G(a+h) | gap |
|---|---|---|---|
| no evaluation yet | |||
A limit is returned only when both one-sided evaluations agree within tolerance. Undefined or insufficiently specified expressions return UNRESOLVED.