Home Explore Help
Sign In
taddeus
/
trs
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: dae7dd45de
Branches Tags

Commit History

Author SHA1 Message Date
  Taddeus Kroes efc3c91bf6 Added non-strict equivalence match. 14 years ago
  Taddeus Kroes 92f3a4e97f Added type check to ExpressionLeaf equality check. 14 years ago
  Taddeus Kroes ad790a215b duplicate_exponent now supports n-ary multiplication. 14 years ago
  Taddeus Kroes b0709085ac Added basic rewrite rules for powers. 14 years ago