From 308c48daf81e8df89fd06a93b714cc007df14a5d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=89milie=20Feral?= <emilie.feral@numworks.com>
Date: Wed, 27 Sep 2017 16:45:40 +0200
Subject: [PATCH] [poincare] Add rule to reduce fraction

Change-Id: I2509f61e44962e0618b6447c982d869ac3f4efb2
---
 poincare/src/simplification/demo_ruleset.prs | 3 +++
 poincare/src/simplification/ruleset.h        | 1 +
 2 files changed, 4 insertions(+)

diff --git a/poincare/src/simplification/demo_ruleset.prs b/poincare/src/simplification/demo_ruleset.prs
index 9a8e353fd..b2acc49f6 100644
--- a/poincare/src/simplification/demo_ruleset.prs
+++ b/poincare/src/simplification/demo_ruleset.prs
@@ -23,3 +23,6 @@ Multiplication.a(Integer.b,Integer.c) -> IntegerMultiplicationTransform(a,b,c);
 
 // (b^c)^d -> b^(c*d)
 //Power.a(Power(b,c),d) -> PowerPowerTransform(a,b,c,d)
+
+// int*int^-1 -> int.a*int.b^-1 with gcd(a,b) = 1
+Multiplication.a(Power.c(Integer.d, Integer[-1]), Integer.b) -> IntegerFractionReductionTransform(a,b,c,d);
diff --git a/poincare/src/simplification/ruleset.h b/poincare/src/simplification/ruleset.h
index 048786345..b0aa616c5 100644
--- a/poincare/src/simplification/ruleset.h
+++ b/poincare/src/simplification/ruleset.h
@@ -3,6 +3,7 @@
 
 #include "rule.h"
 #include "selector/type_selector.h"
+#include "selector/type_and_identifier_selector.h"
 
 namespace Poincare {
 namespace Simplification {