Updates:
Labels: Concrete WrongResult
Comment #1 on issue 3987 by [email protected]: wrong tests in
test_deltaproduct
http://code.google.com/p/sympy/issues/detail?id=3987
For the two tests I think the second term on the RHS is missing a
``*Piecewise((1, And(1 <= i, i <= k)), (0, True))`` to make it correct.
All this was implemented before it was decided to go with the (product
equivalent of the) Karr convention. For numeric limits, this is not a
problem, because Product can reorder them before passing on the evaluation
to deltaproduct. For symbolic limits, this means, for the above example,
that another term ``*Piecewise((1, And(1 > i, i > k)), (0, True))`` is
needed. Gosh.
Going with the Karr convention, for ``k = 5`` in ``assert dp(KD(i, j), (j,
k, 3)) == KD(i, 3)*KD(k, 3) + KD(k, 4)`` the LHS is 1/KD(i, 4), not 1. For
``k > 5``, the LHS is ``oo``.
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy-issues.
For more options, visit https://groups.google.com/groups/opt_out.
