Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
use old assumptions in code #7256
in inequalities.py, a test is made using the new assumption system; until the old assumption system is removed, it seems like something depending on the old assumptions system should still work. Here is the line that has the problem (and maybe there are more throughout the codebase):
Here is the test that fails:
A workaround is to provide the symbol:
Is it something that only the new assumptions can do?
If the old assumptions are not limited on how you want to express what you are asking, then by all means use them. The plan is to keep the syntax of the old assumptions (