We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fe5a640 commit 4a7bd79Copy full SHA for 4a7bd79
test/rulesets.jl
@@ -60,7 +60,7 @@ end
60
@eqtest s == cos(x1 * 3.2) - x2 * 5.8 + x2 * 1.2
61
62
# Prevents automatic simplification:
63
- @eqtest s != cos(x1 * 3.2) - x2 * 4.6
+ @eqtest s != cos(3.2(x1^1)) - 4.6x2
64
65
# However, manual simplification should still work:
66
@eqtest simplify(s) == cos(3.2(x1^1)) - 4.6x2
0 commit comments