From 167fdf285fcd84301732eb06dd4e97db1b113596 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9a=20Saviot?= <lea.saviot@numworks.com>
Date: Thu, 16 Jan 2020 17:05:47 +0100
Subject: [PATCH] [poincare/test] Simplification test on f(1/0) when f(x) = 3

---
 poincare/test/simplification.cpp | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/poincare/test/simplification.cpp b/poincare/test/simplification.cpp
index fc806a956..828f6f204 100644
--- a/poincare/test/simplification.cpp
+++ b/poincare/test/simplification.cpp
@@ -1003,6 +1003,18 @@ QUIZ_CASE(poincare_simplification_reduction_target) {
   assert_parsed_expression_simplify_to("(2+x)^2", "x^2+4×x+4", User);
 }
 
+QUIZ_CASE(poincare_simplification_user_function) {
+  // User defined function
+  // f: x → x*1
+  assert_simplify("x*3→f(x)", Radian, Polar);
+  assert_parsed_expression_simplify_to("f(1+1)", "6", User, Radian, Polar);
+  // f: x → 3
+  assert_simplify("3→f(x)", Radian, Polar);
+  assert_parsed_expression_simplify_to("f(1/0)", Undefined::Name(), User, Radian, Polar);
+  // Clean the storage for other tests
+  Ion::Storage::sharedStorage()->recordNamed("f.func").destroy();
+}
+
 QUIZ_CASE(poincare_simplification_mix) {
   // Root at denominator
   assert_parsed_expression_simplify_to("1/(√(2)+√(3))", "√(3)-√(2)");