From 149c88daf35541f83836ed4e8fa1757fe0b145de Mon Sep 17 00:00:00 2001
From: Romain Goyet <romain.goyet@numworks.com>
Date: Fri, 29 Sep 2017 21:19:27 +0200
Subject: [PATCH] [poincare] Implement two rules using ReplaceWithTransform

---
 poincare/src/simplification/demo_ruleset.prs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/poincare/src/simplification/demo_ruleset.prs b/poincare/src/simplification/demo_ruleset.prs
index 4c4e20469..ddf90402a 100644
--- a/poincare/src/simplification/demo_ruleset.prs
+++ b/poincare/src/simplification/demo_ruleset.prs
@@ -1,5 +1,14 @@
 DemoRuleset
 
+// 0*a -> 0
+Multiplication.a(Integer.b[0]) -> ReplaceWithTransform(a,b);
+// 1*a -> a
+//Multiplication.a(Integer.b[1]) -> RemoveChildTransform(a,b);
+// a+0 -> a
+//Addition.a(Integer.b[0]) -> RemoveChildTransform(a,b);
+// a^1 -> a
+Power.a(Any.b,Integer.c[1]) -> ReplaceWithTransform(a,b);
+
 // Remove parenthesis
 Parenthesis.a -> RemoveParenthesisTransform(a);