aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tests/canonicalize.rs5
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/canonicalize.rs b/tests/canonicalize.rs
index 2db0161..b6d9c62 100644
--- a/tests/canonicalize.rs
+++ b/tests/canonicalize.rs
@@ -18,6 +18,11 @@ fn canonicalization() {
("(* (/ 2 3) (/ 3 2))", "1"),
("(^ (^ a 2) 3)", "(^ a 6)"),
("(^ (/ 1 3) -1)", "3"),
+ // TODO: ("(/ c (^ d 2))", "(* c (^ d -2))"),
+ ("(/ c (^ d 2))", "(* c (^ (^ d 2) -1))"),
+ ("(- a (* 2 b))", "(+ a (* -2 b))"),
+ ("(- a b)", "(+ a (* -1 b))"),
+ ("(* a (* b c))", "(* a b c)"),
];
for (input, output) in cases.iter() {