Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Tree: 21a1450c3d
Fetching contributors…

Cannot retrieve contributors at this time

19 lines (12 sloc) 0.267 kB
TODO:
1) Rotation across two +
a = b + c + d
2)
Go through different algebraic rules.
What about unary operators?
-a, -b etc
What about simplification?
a + 0 = a
a - a = 0
Try rules that require rotation
Try rules with symmetry
Jump to Line
Something went wrong with that request. Please try again.