Interface: Piecewise

Defined in: monotonic.ts:44

A convex piecewise-linear function: the upper envelope max_i(slope_i·x + intercept_i) of its pieces. This is the normal form of the (max, +) algebra over linear claims — closed under add (pairwise sums of pieces), max (union of pieces), smul, and adds — so a composed claim keeps its structure (printable, exactly invertible) instead of collapsing to an opaque closure. See apps/docs/docs/internals/core/monotonic.md.

Extends

• Monotonic

Properties

inverse

inverse: (x, options?) => number | undefined;

Defined in: monotonic.ts:10

Parameters

x

number

options?

lowerBound?

number

maxIterations?

number

tolerance?

number

upperBoundGuess?

number

Returns

number | undefined

Inherited from

Monotonic.inverse

---

kind

kind: "piecewise";

Defined in: monotonic.ts:45

Overrides

Monotonic.kind

---

pieces

pieces: Piece[];

Defined in: monotonic.ts:46

---

run

run: (x) => number;

Defined in: monotonic.ts:9

Parameters

x

number

Returns

number

Inherited from

Monotonic.run