search

alex-ozdemir / algebra-dsl

A domain-specific-language for algebraic transformations
http://robocop.stanford.edu:8080
0 stars 0 forks source link

Expanding Distribute Scope #65

Open cmiddlemas opened 7 years ago

cmiddlemas commented 7 years ago

It might be nice to have distribute work on division structures such as

(x^2 + y^2)/(x^2) -> x^2/x^2 + y^2/x^2

as well as negations such as -(x+y) -> -x -y.

alex-ozdemir commented 7 years ago

Oops, still have to do negation.