`mini\Util\Math\Expr` final class

Show private and protected members

Documentation

Expression tree with lazy evaluation

Stores expressions as a tree structure for optimization opportunities. Arithmetic operations build up the expression tree lazily; call eval() to compute.

Precision model:

Basic arithmetic (+, -, *, /, %) uses arbitrary precision via Decimal/BigInt
Integer powers use exact binary exponentiation
Transcendental functions (exp, ln) and fractional powers use high-precision iterative algorithms (Taylor series, Newton-Raphson) with configurable scale

Usage: $expr = new Expr('/', 10, 3); $result = $expr->eval(maxScale: 10); // Decimal: 3.3333333333

$expr = Expr::parse('(10 + 5) * 2'); $result = $expr->eval(); // Decimal: 30

$expr = Expr::val(10)->divide(3)->add(1); $result = $expr->eval(maxScale: 4); // Decimal: 4.3333

Inheritance

Implements: mini\Util\Math\NumberInterface IteratorAggregate Stringable Traversable

Properties (3)

public readonly string $op

public readonly mini\Util\Math\NumberInterface|self|string|int|float $operand

Methods (53)

public `__construct()`

Create an expression node

public static `val()`

Create expression from a single value (fluent API entry point)

public static `e()`

e (Euler's number) - base of natural logarithm

public static `sqrt2()`

√2 (Pythagoras' constant)

public static `sqrt3()`

√3

public static `sqrt5()`

√5

public static `ln2()`

ln(2) - natural logarithm of 2

public static `ln10()`

ln(10) - natural logarithm of 10

public static `phi()`

φ (phi) - golden ratio (1 + √5) / 2

public static `pi()`

π (pi) - ratio of circumference to diameter

public static `piHalf()`

π/2

public static `piQuarter()`

π/4

public static `gamma()`

γ (gamma) - Euler-Mascheroni constant

public static `catalan()`

G - Catalan's constant

public static `zeta2()`

ζ(2) = π²/6 - Basel problem

public static `parse()`

Parse an infix expression string

public `eval()`

Evaluate the expression to a Decimal

private `evalNode()`

Recursively evaluate an expression node

private `evalPower()`

Evaluate power with structural pattern matching

public `add()`

Documentation missing

public `subtract()`

Documentation missing

public `multiply()`

Documentation missing

public `divide()`

Documentation missing

public `modulus()`

Documentation missing

public `pow()`

Documentation missing

public `negate()`

Negate: -x

public `absolute()`

Absolute value

public `sqrt()`

Square root: √x = x^(1/2)

public `exp()`

Natural exponential: e^x

public `ln()`

Natural logarithm: ln(x)

public `scale()`

Scale is unknown until evaluated

public `__toString()`

Evaluates and returns normalized string representation

public `compare()`

Documentation missing

public `equals()`

Documentation missing

public `lessThan()`

Documentation missing

public `greaterThan()`

Documentation missing

public `getIterator()`

Iterate in RPN (postfix) order

private `isZero()`

Documentation missing

private `isOne()`

Documentation missing

private static `scalarEquals()`

Check if scalar value equals expected integer

public `matches()`

Structural pattern matching on expression tree

public `isRatio()`

Check if this Expr represents the ratio p/q (handles reducible ratios)

private static `scalarToBigInt()`

Extract integer value from scalar as BigInt, or null if not an integer

public `asRational()`

Get rational number representation of this expression

private `tryExactRatio()`

Try to get exact rational representation without approximation

private static `valueToRatio()`

Convert a scalar value to rational Expr

private static `decimalToRatio()`

Convert Decimal to exact rational (always possible)

private static `floatToRatio()`

Convert float to exact rational (only for dyadic rationals)

private static `continuedFraction()`

Find best rational approximation using continued fractions

private static `bigIntGcd()`

GCD for BigInt

private static `intGcd()`

GCD for int

private static `normalize()`

Normalize input to Expr or NumberInterface

private `toDecimal()`

Convert value to Decimal for evaluation

Source

src/Util/Math/Expr.php:27-1008

mini\Util\Math\Expr final class

Documentation

Inheritance

Properties (3)

Methods (53)

Source

`mini\Util\Math\Expr` final class