Repository navigation
Simplification pattern for Piecewise #327
Description
If predicates equal, only the first one is reachable
piecewise(*A, a provided c, *B, b proided c, *C)
=>
piecewise(*A, a provided c, *B, *C)
If expressions equal and go sequentially, the expression is reachable if at least one of predicates is true
piecewise(*A, a provided b, a provided c, *B)
->
piecewise(*A, a provided b or c, *B)
Activity
Write out the issue links in comments rather than the shorthand (#689)
Drop unreachable piecewise cases and merge repeated ones (#327) (#790)