From 855b42a710d8852fee41e331c4e1bf31bba803da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=89milie=20Feral?= Date: Mon, 2 Oct 2017 17:02:41 +0200 Subject: [PATCH] [poincare] Add a rule 1^a->1 Change-Id: I550d6639f520d82e37dc5db7234654669249eac2 --- poincare/src/simplification/demo_ruleset.prs | 8 ++++++++ 1 file changed, 8 insertions(+) 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);