Blame view

Giac_maj/epsilon-giac/poincare/test/simplify_utils.h 482 Bytes
6663b6c9   adorian   projet complet av...
1
2
3
4
5
6
7
8
9
10
11
  #ifndef POINCARE_TEST_SIMPLIFY_UTILS_H
  #define POINCARE_TEST_SIMPLIFY_UTILS_H
  
  /* Tests that the first expression simplifies to the second. */
  bool simplifies_to(const char * input_string, const char * expected_string);
  
  /* Tests that the first expression is identical to the second. */
  bool identical_to(const char * input_string, const char * expected_string);
  bool equivalent_to(const char * input_string, const char * expected_string);
  
  #endif // POINCARE_TEST_SIMPLIFY_UTILS_H