Upsilon

mirror of https://github.com/UpsilonNumworks/Upsilon.git synced 2026-03-29 19:49:58 +02:00

Files

Émilie Feral 855b42a710 [poincare] Add a rule 1^a->1

Change-Id: I550d6639f520d82e37dc5db7234654669249eac2

2017-10-02 17:05:10 +02:00

include

[poincare] Normalize Zero (Integer(-0) becomes Integer(0))

2017-09-30 19:10:27 +02:00

src

[poincare] Add a rule 1^a->1

2017-10-02 17:05:10 +02:00

test

[poincare] Implement Integer::Division in Z (relative integers)

2017-09-28 16:17:32 +02:00

Makefile

[poincare] add tests on arithmetic functions

2017-09-26 18:19:40 +02:00

README.txt

[poincare] Change Fraction->Division

2017-09-26 16:07:36 +02:00

README.txt

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
Divisions
 (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