Extending scope of queries for DiscreteMarkovChain #17083
Phase 2 initialisation
Use cases and problems
Brief description of what is fixed or changed
I have updated the
ping @Upabjojr @sidhantnagpal
Your release notes are in good order.
Here is what the release notes will look like:
This will be added to https://github.com/sympy/sympy/wiki/Release-Notes-for-1.5.
Note: This comment will be updated with the latest check if you edit the pull request. You need to reload the page to see it.
Click here to see the pull request description that was parsed.
The release notes on the wiki have been updated.
@@ Coverage Diff @@ ## master #17083 +/- ## ============================================= + Coverage 74.435% 74.513% +0.078% ============================================= Files 622 623 +1 Lines 161085 161421 +336 Branches 37811 37890 +79 ============================================= + Hits 119904 120281 +377 + Misses 35861 35804 -57 - Partials 5320 5336 +16
@czgdp1807 you are implementing rules to handle specific relational expressions. Have you given a thought on whether some generic algorithms like SAT-solvers can be generalized to be used here?
(This is just a curiosity, no request to implement anything as it's probably extremely hard).
One way is to convert the condition into