Math - scientific and numeric functions extending the transformations expression vocabulary

A platform math vocabulary for kanonak.org/transformations (tx). tx ships the core arithmetic (Add / Subtract / Multiply / Divide), the unary Abs / Negate, and list aggregates (Min / Max over a list-valued source). This package adds the scientific and numeric functions a quantitative or numeric-runtime domain needs - transcendentals, power, modulo, rounding, sign, pairwise minimum / maximum, and a clamp - authored as tx.Expression subclasses so they compose anywhere a tx operand is expected. Unary functions extend tx.UnaryNumericOp (reusing the inherited tx.value operand); binary functions extend tx.BinaryArithmetic (reusing arithLeft / arithRight); Clip is a ternary Expression with its own operands. Each operation is total over its documented domain or raises a runtime error on a domain violation (matching tx's strict-numeric pattern); the per-language primitive implementations live in the runners, keyed on the node class. v1 is a deliberate core. Reserved for later versions (added without breaking this one): trigonometric (Sin / Cos / Tan) and inverse-trig, hyperbolic functions, arbitrary-base Log, cube root, and variadic (n-ary) min / max. Versions are immutable and additive.

CeilThe smallest integer not less than the operand (rounds toward positive infinity).ClipClamps clipValue into the closed interval [clipLower, clipUpper] - returns clipLower if the value is below it, clipUpper if above, else the value unchanged.…clip lowerclip upperclip valueClipShapeExpEuler's number raised to the operand - e ^ value. Total over the reals.FloorThe largest integer not greater than the operand (rounds toward negative infinity).LnNatural logarithm (base e) of the operand. The operand must be strictly positive at runtime.Log10Base-10 logarithm of the operand. The operand must be strictly positive at runtime.MaximumThe greater of arithLeft and arithRight (pairwise, two-operand). Named in full to distinguish it from tx.Max (list aggregate); the pairwise form, e.g.…MinimumThe lesser of arithLeft and arithRight (pairwise, two-operand). Named in full to distinguish it from tx.Min, which REDUCES a single list-valued source; this is…ModuloThe remainder of arithLeft divided by arithRight, computed as a - b * floor(a / b) so the result takes the sign of the divisor (floored modulo - deterministic…PowerarithLeft raised to arithRight - base ^ exponent.RoundThe nearest integer to the operand, rounding halves away from zero (so 2.5 -> 3, -2.5 -> -3). The tie rule is fixed for determinism; other rounding modes are…SignThe sign of the operand - -1 if negative, 0 if zero, 1 if positive.SqrtNon-negative square root of the operand. The operand must be non-negative at runtime.