Change Kane and Lagrange attributes

- KanesMethod has q and u as full attributes
- LagrangesMethod has q as a full attribute
- KanesMethod now stores forcelist and bodylist as attributes
Add @property to some attributes

- KanesMethod.q, .u, .forcelist, and .bodylist are all read-only now
- LagrangesMethod.q, .u, and .forcelist are all read-only now
Add is_algebraic assumption

See http://en.wikipedia.org/wiki/Algebraic_number
Adopt test: (sqrt(3) + S.Pi).is_rational is False
Add is_number property for AlgebraicNumber
remove using of new assumptions in the polys module
Deduce algebraic fact with Gelfond-Schneider theorem

See http://en.wikipedia.org/wiki/Gelfond%E2%80%93Schneider_theorem
Deduce algebraic facts with Lindemann-Weierstrass theorem

See http://en.wikipedia.org/wiki/Lindemann%E2%80%93Weierstrass_theorem
Fix Mul._eval_is_irrational: zero case
Add is_transcendental assumption

fixes #8000
Add Q.transcendental
Merge pull request #8049 from skirpichev/is_algebraic

Add is_algebraic assumption
Rename assumptions: bounded -> finite, unbounded -> infinite [1/5]

fixes #7943
Rename assumptions: bounded -> finite, unbounded -> infinite [2/5]

sed -i 's/is_bounded/is_finite/g'
Rename assumptions: bounded -> finite, unbounded -> infinite [3/5]

sed -i 's/is_unbounded/is_infinite/g'
Rename assumptions: bounded -> finite, unbounded -> infinite [4/5]

sed -i 's/bounded\(=[TFN]\)/finite\1/'
Rename assumptions: bounded -> finite, unbounded -> infinite [5/5]

Change some variable names
Add deprecation warnings for bounded/unbounded assumptions

In [1]: x.is_bounded
./bin/isympy:1: SymPyDeprecationWarning:

is_bounded has been deprecated since SymPy 0.7.6. Use is_finite
instead. See https://github.com/sympy/sympy/issues/7943 for more info.

  #!/usr/bin/env python

In [2]: b = Symbol('b', bounded=True)
/home/sk/src/sympy/sympy/sympy/core/symbol.py:80: SymPyDeprecationWarning:

bounded assumption has been deprecated since SymPy 0.7.6. Use finite
instead. See https://github.com/sympy/sympy/issues/7943 for more info.

  if new_key:

In [3]: b.assumptions0
Out[3]: {'commutative': True, 'finite': True, 'infinite': False}

In [4]:
Add references for is_finite assumption
Merge pull request #8035 from jcrist/issue_7933

Change Kane and Lagrange attributes