2010/5/5 Ondrej Certik <ond...@certik.cz> > Hi, > > the branch gives me these two minor doctest failures: > > sympy/assumptions/assume.py[3] FFF > [FAIL] > sympy/assumptions/handlers/order.py[1] . > [OK] > sympy/assumptions/handlers/calculus.py[2] .. > [OK] > > > ________________________________________________________________________________ > __________________ sympy.assumptions.assume.eliminate_assume > ___________________ > File "/home/ondrej/repos/sympy/sympy/assumptions/assume.py", line 114, > in sympy.assumptions.assume.eliminate_assume > Failed example: > eliminate_assume(Assume(x, Q.positive)) > Expected: > positive > Got: > Predicate() > ********************************************************************** > File "/home/ondrej/repos/sympy/sympy/assumptions/assume.py", line 116, > in sympy.assumptions.assume.eliminate_assume > Failed example: > eliminate_assume(Assume(x, Q.positive, False)) > Expected: > Not(positive) > Got: > Not(Predicate()) > > ________________________________________________________________________________ > _______________________ sympy.assumptions.assume.Assume > ________________________ > File "/home/ondrej/repos/sympy/sympy/assumptions/assume.py", line 41, > in sympy.assumptions.assume.Assume > Failed example: > Assume(x, Q.integer) > Expected: > Assume(x, 'integer') > Got: > Assume(x, Predicate()) > ********************************************************************** > File "/home/ondrej/repos/sympy/sympy/assumptions/assume.py", line 43, > in sympy.assumptions.assume.Assume > Failed example: > Assume(x, Q.integer, False) > Expected: > Not(Assume(x, 'integer')) > Got: > Not(Assume(x, Predicate())) > ********************************************************************** > File "/home/ondrej/repos/sympy/sympy/assumptions/assume.py", line 45, > in sympy.assumptions.assume.Assume > Failed example: > Assume( x > 1 ) > Expected: > Assume(1 < x, 'is_true') > Got: > Assume(1 < x, Predicate()) > > ________________________________________________________________________________ > _________________ sympy.assumptions.assume.AssumptionsContext > __________________ > File "/home/ondrej/repos/sympy/sympy/assumptions/assume.py", line 19, > in sympy.assumptions.assume.AssumptionsContext > Failed example: > global_assumptions > Expected: > AssumptionsContext([Assume(x, 'real')]) > Got: > AssumptionsContext([Assume(x, Predicate())]) > > ============ tests finished: 306 passed, 3 failed, in 7.24 seconds > ============= > DO *NOT* COMMIT! > > > > > Is it ok to change the doctests? And push this in?
No, Predicate() (or Assume()) should be fixed to be printed properly. Currently eval(repr(p) == p where p is an instance of Predicate does not hold. Vinzent -- You received this message because you are subscribed to the Google Groups "sympy-patches" group. To post to this group, send email to sympy-patc...@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.