search

Mercerenies / fifi-calculator

1 stars 0 forks source link

Cancel double applications of unary negation #131

Closed Mercerenies closed 1 month ago

Mercerenies commented 1 month ago

130 mostly depends on this.

- (- x) should simplify to x

Mercerenies commented 1 month ago

Closed by d144080. The commit actually introduces a more general form of this: An involution is a mathematical function which is its own inverse, and our system can now recognize and cancel off double applications of involutions, including negate, recip, conj, reverse, and transpose.