RecordFlux icon indicating copy to clipboard operation
RecordFlux copied to clipboard

Published 20 hours ago • verified publisher icon AdaCore

Order-preserving simplification

Open treiher opened this issue 4 years ago • 0 comments

Ideally, simplification should not change the order of expressions.

>>> str(Mul(Number(8), Variable("L")).simplified())
'L * 8'

treiher avatar Sep 01 '20 15:09 treiher