diff --git a/poincare/src/simplification/demo_ruleset.prs b/poincare/src/simplification/demo_ruleset.prs index e3204fd1e..08c5580b1 100644 --- a/poincare/src/simplification/demo_ruleset.prs +++ b/poincare/src/simplification/demo_ruleset.prs @@ -2,13 +2,21 @@ 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); +// 1^a -> 1 +Power.a(Integer.b[1], Any) -> ReplaceWithTransform(a,b); + +//a^0 -> 1 + // Remove parenthesis Parenthesis.a -> RemoveParenthesisTransform(a);