Files
Upsilon/poincare
Romain Goyet 737d878c1e Build on Bison 3.0.4.
This will be the reference version from now on. Note that the error was
about a missing declaration of yyscan_t, which we really don't need to
care about, and that we can simply replace by "void *".

Change-Id: I2294a8cc8bcb4a426019a5ebc6cf83b28d4bae1a
2016-03-20 19:16:06 +01:00
..
2016-03-18 14:33:39 +01:00
2016-03-20 19:16:06 +01:00
2015-09-21 23:58:33 +02:00
2016-03-18 14:33:53 +01:00
2016-03-18 14:32:59 +01:00

Things we will want to simplify:

 2.y.3 -> 6.y
 y.x.3 + x^2 +1 -> x^2 + 3*x*y + 1
Zeroes and ones
 x + 0 -> x
 1*x -> x
 x^1 -> x
 x^0 -> 1
Simplify fractions
 (x^2+5.x+6)/(x+2) -> x+3
Polynomials
 (x+1)^2-x^2 -> 2*x+1
Fractions
 (2*x)/(x^2-1) - 1/(x-1) -> 1/(x+1)
Functional identities
  ln(2x) - ln(x) -> ln(2)
  y*sin^2(x) + y*cos^2(x) -> y

Note : The simplification process can be interrupted! -> It probably browses a graph