---------------------------------------------------------------------------
KeyboardInterrupt Traceback (most recent call last)
<ipython-input-15-e3ca01440be4> in <module>()
12
13
---> 14 trigsimp(H1)
15
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\trigsimp.py in trigsimp(expr, **opts)
511 }[method]
512
--> 513 return trigsimpfunc(expr)
514
515
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\trigsimp.py in <lambda>(x)
504 trigsimpfunc = {
505 'fu': (lambda x: fu(x, **opts)),
--> 506 'matching': (lambda x: futrig(x)),
507 'groebner': (lambda x: groebnersimp(x, **opts)),
508 'combined': (lambda x: futrig(groebnersimp(x,
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\trigsimp.py in futrig(e, **kwargs)
1081
1082 old = e
-> 1083 e = bottom_up(e, lambda x: _futrig(x, **kwargs))
1084
1085 if kwargs.pop('hyper', True) and e.has(HyperbolicFunction):
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\simplify.py in bottom_up(rv, F, atoms, nonbasic)
994 if rv.args:
995 args = tuple([bottom_up(a, F, atoms, nonbasic)
--> 996 for a in rv.args])
997 if args != rv.args:
998 rv = rv.func(*args)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\simplify.py in <listcomp>(.0)
994 if rv.args:
995 args = tuple([bottom_up(a, F, atoms, nonbasic)
--> 996 for a in rv.args])
997 if args != rv.args:
998 rv = rv.func(*args)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\simplify.py in bottom_up(rv, F, atoms, nonbasic)
994 if rv.args:
995 args = tuple([bottom_up(a, F, atoms, nonbasic)
--> 996 for a in rv.args])
997 if args != rv.args:
998 rv = rv.func(*args)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\simplify.py in <listcomp>(.0)
994 if rv.args:
995 args = tuple([bottom_up(a, F, atoms, nonbasic)
--> 996 for a in rv.args])
997 if args != rv.args:
998 rv = rv.func(*args)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\simplify.py in bottom_up(rv, F, atoms, nonbasic)
994 if rv.args:
995 args = tuple([bottom_up(a, F, atoms, nonbasic)
--> 996 for a in rv.args])
997 if args != rv.args:
998 rv = rv.func(*args)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\simplify.py in <listcomp>(.0)
994 if rv.args:
995 args = tuple([bottom_up(a, F, atoms, nonbasic)
--> 996 for a in rv.args])
997 if args != rv.args:
998 rv = rv.func(*args)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\simplify.py in bottom_up(rv, F, atoms, nonbasic)
994 if rv.args:
995 args = tuple([bottom_up(a, F, atoms, nonbasic)
--> 996 for a in rv.args])
997 if args != rv.args:
998 rv = rv.func(*args)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\simplify.py in <listcomp>(.0)
994 if rv.args:
995 args = tuple([bottom_up(a, F, atoms, nonbasic)
--> 996 for a in rv.args])
997 if args != rv.args:
998 rv = rv.func(*args)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\simplify.py in bottom_up(rv, F, atoms, nonbasic)
994 if rv.args:
995 args = tuple([bottom_up(a, F, atoms, nonbasic)
--> 996 for a in rv.args])
997 if args != rv.args:
998 rv = rv.func(*args)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\simplify.py in <listcomp>(.0)
994 if rv.args:
995 args = tuple([bottom_up(a, F, atoms, nonbasic)
--> 996 for a in rv.args])
997 if args != rv.args:
998 rv = rv.func(*args)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\simplify.py in bottom_up(rv, F, atoms, nonbasic)
997 if args != rv.args:
998 rv = rv.func(*args)
--> 999 rv = F(rv)
1000 elif atoms:
1001 rv = F(rv)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\trigsimp.py in <lambda>(x)
1081
1082 old = e
-> 1083 e = bottom_up(e, lambda x: _futrig(x, **kwargs))
1084
1085 if kwargs.pop('hyper', True) and e.has(HyperbolicFunction):
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\trigsimp.py in _futrig(e, **kwargs)
1149 factor_terms, TR12(x), trigs)], # expand tan of sum
1150 )]
-> 1151 e = greedy(tree, objective=Lops)(e)
1152
1153 return coeff*e
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\strategies\core.py in minrule(expr)
115 objective = kwargs.get('objective', identity)
116 def minrule(expr):
--> 117 return min([rule(expr) for rule in rules], key=objective)
118 return minrule
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\strategies\core.py in <listcomp>(.0)
115 objective = kwargs.get('objective', identity)
116 def minrule(expr):
--> 117 return min([rule(expr) for rule in rules], key=objective)
118 return minrule
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\strategies\core.py in chain_rl(expr)
42 def chain_rl(expr):
43 for rule in rules:
---> 44 expr = rule(expr)
45 return expr
46 return chain_rl
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\trigsimp.py in <lambda>(x)
1126 TR10, # sin-cos of sums -> sin-cos prod
1127 TR11, TR6, # reduce double angles and rewrite cos pows
-> 1128 lambda x: _eapply(factor, x, trigs),
1129 TR14, # factored powers of identities
1130 [identity, lambda x: _eapply(_mexpand, x, trigs)],
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\simplify\trigsimp.py in _eapply(func, e, cond)
1168 return e
1169 if _is_Expr(e) or not e.args:
-> 1170 return func(e)
1171 return e.func(*[
1172 _eapply(func, ei) if (cond is None or cond(ei)) else ei
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\polytools.py in factor(f, *gens, **args)
6164
6165 try:
-> 6166 return _generic_factor(f, gens, args, method='factor')
6167 except PolynomialError as msg:
6168 if not f.is_commutative:
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\polytools.py in _generic_factor(expr, gens, args, method)
5856 options.allowed_flags(args, [])
5857 opt = options.build_options(gens, args)
-> 5858 return _symbolic_factor(sympify(expr), opt, method)
5859
5860
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\polytools.py in _symbolic_factor(expr, opt, method)
5801 if hasattr(expr,'_eval_factor'):
5802 return expr._eval_factor()
-> 5803 coeff, factors = _symbolic_factor_list(together(expr), opt, method)
5804 return _keep_coeff(coeff, _factors_product(factors))
5805 elif hasattr(expr, 'args'):
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\polytools.py in _symbolic_factor_list(expr, opt, method)
5769 func = getattr(poly, method + '_list')
5770
-> 5771 _coeff, _factors = func()
5772 if _coeff is not S.One:
5773 if exp.is_Integer:
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\polytools.py in factor_list(f)
3196 if hasattr(f.rep, 'factor_list'):
3197 try:
-> 3198 coeff, factors = f.rep.factor_list()
3199 except DomainError:
3200 return S.One, [(f, 1)]
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\polyclasses.py in factor_list(f)
772 def factor_list(f):
773 """Returns a list of irreducible factors of ``f``. """
--> 774 coeff, factors = dmp_factor_list(f.rep, f.lev, f.dom)
775 return coeff, [ (f.per(g), k) for g, k in factors ]
776
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\factortools.py in dmp_factor_list(f, u, K0)
1277 if K.is_ZZ:
1278 levels, f, v = dmp_exclude(f, u, K)
-> 1279 coeff, factors = dmp_zz_factor(f, v, K)
1280
1281 for i, (f, k) in enumerate(factors):
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\factortools.py in dmp_zz_factor(f, u, K)
1088
1089 if dmp_degree(g, u) > 0:
-> 1090 g = dmp_sqf_part(g, u, K)
1091 H = dmp_zz_wang(g, u, K)
1092 factors = dmp_trial_division(f, H, u, K)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\sqfreetools.py in dmp_sqf_part(f, u, K)
245 f = dmp_neg(f, u, K)
246
--> 247 gcd = dmp_gcd(f, dmp_diff(f, 1, u, K), u, K)
248 sqf = dmp_quo(f, gcd, u, K)
249
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\euclidtools.py in dmp_gcd(f, g, u, K)
1630
1631 """
-> 1632 return dmp_inner_gcd(f, g, u, K)[0]
1633
1634
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\euclidtools.py in dmp_inner_gcd(f, g, u, K)
1589
1590 J, (f, g) = dmp_multi_deflate((f, g), u, K)
-> 1591 h, cff, cfg = _dmp_inner_gcd(f, g, u, K)
1592
1593 return (dmp_inflate(h, J, u, K),
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\euclidtools.py in _dmp_inner_gcd(f, g, u, K)
1558 if K.is_ZZ and query('USE_HEU_GCD'):
1559 try:
-> 1560 return dmp_zz_heu_gcd(f, g, u, K)
1561 except HeuristicGCDFailed:
1562 pass
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\euclidtools.py in dmp_zz_heu_gcd(f, g, u, K)
1316 return dup_zz_heu_gcd(f, g, K)
1317
-> 1318 result = _dmp_rr_trivial_gcd(f, g, u, K)
1319
1320 if result is not None:
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\euclidtools.py in _dmp_rr_trivial_gcd(f, g, u, K)
916 return dmp_one(u, K), f, g
917 elif query('USE_SIMPLIFY_GCD'):
--> 918 return _dmp_simplify_gcd(f, g, u, K)
919 else:
920 return None
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\euclidtools.py in _dmp_simplify_gcd(f, g, u, K)
958 G = dmp_content(g, u, K)
959 else:
--> 960 F = dmp_content(f, u, K)
961 G = dmp_LC(g, K)
962
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\euclidtools.py in dmp_content(f, u, K)
1798
1799 for c in f[1:]:
-> 1800 cont = dmp_gcd(cont, c, v, K)
1801
1802 if dmp_one_p(cont, v, K):
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\euclidtools.py in dmp_gcd(f, g, u, K)
1630
1631 """
-> 1632 return dmp_inner_gcd(f, g, u, K)[0]
1633
1634
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\euclidtools.py in dmp_inner_gcd(f, g, u, K)
1588 return dup_inner_gcd(f, g, K)
1589
-> 1590 J, (f, g) = dmp_multi_deflate((f, g), u, K)
1591 h, cff, cfg = _dmp_inner_gcd(f, g, u, K)
1592
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\polys\densebasic.py in dmp_multi_deflate(polys, u, K)
1373 for M in f.keys():
1374 for i, m in enumerate(M):
-> 1375 B[i] = igcd(B[i], m)
1376
1377 F.append(f)
D:\ProgramFiles\Anaconda\lib\site-packages\sympy\core\numbers.py in igcd(*args)
203 while k < len(args):
204 ok = as_int(args[k])
--> 205 k += 1
206 return a
207
KeyboardInterrupt: