This still fails in the latest branch: bin/test sympy/concrete/tests/test_sums_products.py -k test_composite_sums
I just sent you a login info to my amd64 box offlist, please debug it. Ondrej On Mon, Aug 10, 2009 at 8:10 PM, Ondrej Certik<ond...@certik.cz> wrote: > e.g. python2.6. > > On Mon, Aug 10, 2009 at 8:08 PM, Ondrej Certik<ond...@certik.cz> wrote: >> Ubuntu, 64 bits. >> >> Ondrej >> >> On Mon, Aug 10, 2009 at 6:31 PM, Fabian Pedregosa >> Izquierdo<fab...@fseoane.net> wrote: >>> >>> Ondrej Certik wrote: >>>> On Mon, Aug 10, 2009 at 5:34 PM, Fabian Pedregosa<fab...@fseoane.net> >>>> wrote: >>>>> In the following series of patches, I implement a refine() method that >>>>> simplifies >>>>> expressions based on its assumptions. >>>>> >>>>> I also deleted some code from the old assumption system. All deleted code >>>>> (and tests) >>>>> are now in sympy/queries or in sympy/refine/ >>>>> >>>>> You can pull from my branch refine: git pull >>>>> http://fseoane.net/git/sympy.git refine >>>> >>>> This test fails for me: >>>> >>>> ________________________________________________________________________________ >>>> ________ sympy/concrete/tests/test_sums_products.py:test_composite_sums >>>> ________ >>>> File >>>> "/home/ondrej/repos/sympy/sympy/concrete/tests/test_sums_products.py", >>>> line 41, in test_composite_sums >>>> s = sum(f, (n, a, b)) >>>> File "/home/ondrej/repos/sympy/sympy/concrete/summations.py", line 164, >>>> in sum >>>> return summation.doit() >>>> File "/home/ondrej/repos/sympy/sympy/concrete/summations.py", line 69, >>>> in doit >>>> f = eval_sum(f, (i, a, b)) >>>> File "/home/ondrej/repos/sympy/sympy/concrete/summations.py", line >>>> 231, in eval_sum >>>> value = eval_sum_symbolic(f.expand(), (i, a, b)) >>>> File "/home/ondrej/repos/sympy/sympy/concrete/summations.py", line >>>> 255, in eval_sum_symbolic >>>> rsum = eval_sum_symbolic(R, (i, a, b)) >>>> File "/home/ondrej/repos/sympy/sympy/concrete/summations.py", line >>>> 252, in eval_sum_symbolic >>>> lrsum = telescopic(L, R, (i, a, b)) >>>> File "/home/ondrej/repos/sympy/sympy/concrete/summations.py", line >>>> 211, in telescopic >>>> s = solve(L.subs(i, i + m) + R, m)[0] >>>> File "/home/ondrej/repos/sympy/sympy/solvers/solvers.py", line 209, in >>>> solve >>>> result = roots(poly, cubics=True, quartics=True).keys() >>>> File "/home/ondrej/repos/sympy/sympy/polys/rootfinding.py", line 300, in >>>> roots >>>> result = _try_decompose(f) >>>> File "/home/ondrej/repos/sympy/sympy/polys/rootfinding.py", line >>>> 210, in _try_decompose >>>> for r in _try_heuristics(h): >>>> File "/home/ondrej/repos/sympy/sympy/polys/rootfinding.py", line >>>> 242, in _try_heuristics >>>> if f(i).expand().is_zero: >>>> File "/home/ondrej/repos/sympy/sympy/core/assumptions.py", line 366, in >>>> getit >>>> return self._what_known_about(name) >>>> File "/home/ondrej/repos/sympy/sympy/core/assumptions.py", line 279, >>>> in _what_known_about >>>> a = getattr(self,'is_'+pk) >>>> File "/home/ondrej/repos/sympy/sympy/core/assumptions.py", line 366, in >>>> getit >>>> return self._what_known_about(name) >>>> File "/home/ondrej/repos/sympy/sympy/core/assumptions.py", line 256, >>>> in _what_known_about >>>> a = getattr(self,'_eval_is_'+k)() >>>> File "/home/ondrej/repos/sympy/sympy/core/add.py", line 234, in <lambda> >>>> _eval_is_integer = lambda self: >>>> self._eval_template_is_attr('is_integer') >>>> File "/home/ondrej/repos/sympy/sympy/core/operations.py", line 148, >>>> in _eval_template_is_attr >>>> a = getattr(t, is_attr) >>>> File "/home/ondrej/repos/sympy/sympy/core/assumptions.py", line 366, in >>>> getit >>>> return self._what_known_about(name) >>>> File "/home/ondrej/repos/sympy/sympy/core/assumptions.py", line 265, >>>> in _what_known_about >>>> self._learn_new_facts( ((k,a),) ) >>>> File "/home/ondrej/repos/sympy/sympy/core/assumptions.py", line 340, >>>> in _learn_new_facts >>>> self._assume_rules.deduce_all_facts(facts, base) >>>> File "/home/ondrej/repos/sympy/sympy/core/facts.py", line 882, in >>>> deduce_all_facts >>>> assert new_facts[k] == v, ('inconsitency between facts',new_facts,k,v) >>>> AssertionError: ('inconsitency between facts', {'prime': False, >>>> 'real': True, 'comparable': False, 'noninteger': True, 'irrational': >>>> False, 'nonpositive': True, 'composite': False, 'positive': False, >>>> 'even': False, 'negative': None, 'nonnegative': None, 'zero': False, >>>> 'complex': True, 'bounded': None, 'unbounded': None, 'integer': False, >>>> 'imaginary': False, 'nonzero': True, 'odd': False, 'commutative': >>>> True}, 'negative', True) >>>> >>>> tests finished: 1589 passed, 1 failed, 6 skipped, 28 xfailed, 1 >>>> xpassed in 155.72 seconds >>>> DO *NOT* COMMIT! >>>> >>>> >>>> everything else seems to be running, in general it looks good. >>> >>> I can't reproduce that bug .. what architecture and python version are >>> you running ? >>> >>>> >>>> Vinzent, if you have time, please review it too. I will go over it >>>> carefully in the evening, to make sure no functionality is lost, but >>>> so far it looks good. >>>> >>>> Ondrej >>>> >>>> > >>> >>> >>> >>> >>> >> > --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "sympy-patches" group. To post to this group, send email to sympy-patches@googlegroups.com To unsubscribe from this group, send email to sympy-patches+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sympy-patches?hl=en -~----------~----~----~----~------~----~------~--~---