From ddcc797387d68d3072a829ae48b3d37752369690 Mon Sep 17 00:00:00 2001 From: samueltlg Date: Thu, 9 Apr 2026 16:35:03 +0100 Subject: [PATCH] fix: dispatch options (including rules) to simplifyOperands in simplifyNonCommutativeFunction (This inadvertently resulted in *full*-rule simplification of all operands for all functions Correcting this has resulted in *no broken tests*) --- src/compute-engine/boxed-expression/simplify.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compute-engine/boxed-expression/simplify.ts b/src/compute-engine/boxed-expression/simplify.ts index 1483dc18..f1e46577 100644 --- a/src/compute-engine/boxed-expression/simplify.ts +++ b/src/compute-engine/boxed-expression/simplify.ts @@ -407,7 +407,7 @@ function simplifyNonCommutativeFunction( let last = result.at(-1)!.value; if (last.isSame(expr)) return steps; - last = simplifyOperands(last); + last = simplifyOperands(last, options); // If the simplified expression is not cheaper, we're done. // Exception: power combination results (e.g., -4·2^x → -2^(x+2)) may be