Christopher Smith

cancel result is not canonical for equivalent expressions

4

```python p, q = Poly(x**2/4 - 1), Poly(x/2 - 1) e1 = (p/q).as_expr() case1 = p.cancel(q); case1 (1/2, Poly(x + 2, x, domain='QQ'), Poly(1, x, domain='QQ')) p, q = [Poly(i)...

better handling of oo by solvers

1

#### References to other Issues or PRs fixes #27062 by testing solutions obtained from factors of a Mul; although individual solutions are checked, their validity in the expression as a...

is_zero = None is not necessarily 0

1

#### References to other Issues or PRs fixes #26847 #### Brief description of what is fixed or changed #### Other comments #### Release Notes * core * error where univariate...

cancel should recognize non-Symbol generators

2

This is being opened as a sub-issue of #11506 in which this issue is raised.

deprecate Derivative.variables

3

If #15049 makes it into master, consider the following as a vote for deprecation ``` @property def variables(self): # TODO: deprecate? YES, make this 'enumerated_variables' and # name _wrt_variables as...

simplify roots with base having surds

1

Should we have a method of simplification like `sqrtdenest` that will recognize when it is possible to denest a different root of a number? For example, the following could be...

make univariate-And args more canonical

1

I am not sure there is a good reason for the variety of orderings for given relational operators as shown below:  as noted in #25647

code quality: flag functions having a name that starts any other function

4

If you want to locally test a function with a name like `test_this_function` and there is another having the name `test_this_function_foo`, both will be run. It would be nice if...

remove invalid solutions

1

#### References to other Issues or PRs fix #25711 #### Brief description of what is fixed or changed When dividing to obtain a solution in solveset, the denominator cannot be...

use factor_terms in _solve at outset

7

Use of `factor_terms` is a cheap factoring that can be done at the outset of `_solve`. Doing so helps some equations be solved more simply. fixes #24609 The XFAIL test...