 Taddeus Kroes
|
5653a56b29
Added some rules to implicit rules.
|
14 年 前 |
|
Taddeus Kroes
|
746d7957cb
Added a bunch of square root rewrite rules.
|
14 年 前 |
|
Taddeus Kroes
|
ba1c280b88
Corrected typo in comment.
|
14 年 前 |
|
Taddeus Kroes
|
8b4dc4a1f2
Fixed integral/remove power of one conflict using precedence.
|
14 年 前 |
|
Taddeus Kroes
|
43b69bd178
Added power of one to implicit rules.
|
14 年 前 |
|
Taddeus Kroes
|
104b353c86
Added some more rules to IMPLICIT list.
|
14 年 前 |
|
Taddeus Kroes
|
2eb3b7cb84
Fixed FIXME in unit tests using strategy.
|
14 年 前 |
|
Taddeus Kroes
|
76db99131f
Added rules that calculate logarithm exponents to see if a logarithm can be reduced to a number.
|
14 年 前 |
|
Taddeus Kroes
|
a54a32b218
Added some rules to IMPLICIT list.
|
14 年 前 |
|
Taddeus Kroes
|
65cc88c7e6
Added IMPLICIT_RULES list for rules that are not printed in verbose rewrite_all mode.
|
14 年 前 |
|
Taddeus Kroes
|
d86dda9273
Finished separating parser state and interactive state, and added first version of strategy.
|
14 年 前 |
