Skip to content

[Nonlinear.SymbolicAD] simplify zero and one terms in simplify!#3023

Merged
odow merged 2 commits into
masterfrom
od/symbolic-zero
Jul 17, 2026
Merged

[Nonlinear.SymbolicAD] simplify zero and one terms in simplify!#3023
odow merged 2 commits into
masterfrom
od/symbolic-zero

Conversation

@odow

@odow odow commented Jul 16, 2026

Copy link
Copy Markdown
Member

Found by infiniteopt/DisjunctiveProgramming.jl#138

simplify! didn't simplify +(0, f) -> f if 0 was zero(ScalarAffineFunction). Same goes for *(1, f) and ScalarQuadraticFunction.

@odow
odow merged commit 53ff7b2 into master Jul 17, 2026
26 of 28 checks passed
@odow
odow deleted the od/symbolic-zero branch July 17, 2026 00:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant