Add infrastructure for using Assumptions

[Axel Kramer]

Add infrastructure for using Assumptions in functions like Abs(x), Floor(x), Ceiling(x), Sign(x), if x is assumed to be a non-negative number or to be an integer number

[Axel Kramer]

See this commit: https://bitbucket.org/axelclk/symja_android_library/commits/89de72cea501ab1a592ac11ce409b29d10e4c1b0

and this JUnit test for IAssumptions interface: https://bitbucket.org/axelclk/symjaunittests/commits/f4b414b0984946f7d13c56c15977a6425f5484eb

[Axel Kramer]

New commit: https://bitbucket.org/axelclk/symja_android_library/commits/395fcb62c8a581b1dfe59e6b5287215ef7011154

• added new functions Element() and Refine().
• added domain keywords: Algebraics, Booleans, Complexes, Integers, Primes, Rationals, Reals.
• refactored/moved IAssumptions interface

[Axel Kramer]

Commit https://bitbucket.org/axelclk/symja_android_library/commits/e0da7c976e2c7a34b85145918ff20b226cf9c09e

• use assumptions in functions: Ceiling, Cos Cot, Csc, Floor, IntegerPart, Log, Sec, Sin, Tan

[Axel Kramer]

Commit https://bitbucket.org/axelclk/symja_android_library/commits/88b75deae54583408abe8148fdfcdf4c295ec3ca

• started assumption handling for Greater, GreaterEqual, Less, LessEqual..

[Axel Kramer]

Commit: https://bitbucket.org/axelclk/symja_android_library/commits/f262ef99203eac02e9733db636e97cfba5a90dc3

• use assumptions in binary calls to Greater, GreaterEqual, Less, LessEqual

Commit: https://bitbucket.org/axelclk/symja_android_library/commits/9b87f7feaba5407f2881f22bd50b33e26366e511

• added methods isNegativeResult() / is NonNegativeResult()

[Axel Kramer]

Closing this issue. Please open new issue for specific assumption issues.

[Axel Kramer]

Fix issue #72

→ <<cset b3847f7a168d>>