Skip to content

Instantly share code, notes, and snippets.

@jdh30

jdh30/Simplify.mx

Last active February 16, 2017 05:55
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jdh30/fb89cc21acf07bc4c0baae3447de9ec2 to your computer and use it in GitHub Desktop.
Save jdh30/fb89cc21acf07bc4c0baae3447de9ec2 to your computer and use it in GitHub Desktop.
Download ZIP
Symbolic simplification rules written in Mathematica's language
Raw
Simplify.mx
0 + x_ := x
x_ + 0 := x
f_ + (g_ + h_) := f + g + h
0 x_ := 0
x_ 0 := 0
1 x_ := x
x_ 1 := x
f_ (g_ h_) := f g h
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment