S.Y. Lee

Is adjugate method the best way to compute the inverse? I thought that we could use faster method like LU, but I'm not sure if adjugate is better than that...

Is there any referenced for the implementation? I saw the wikipedia link, but I have found that the implementation is different because it uses non strict inequality. Also, can this...

Usually, the JSON representation of trees are not difficult to implement (e.g. `to_json(func(args...)) -> {'type': 'func', 'args': [to_json(arg) for arg in args]}`) And since JSON is purely syntactical representation, everything...

This isn't sufficient when there are additive terms and I don't need the factorization. `(x**4 + x*y).extract_multiplicatively(x**2)` `(x**4 + x**2).extract_multiplicatively(x**2)`

There are many warning logs printed out during the testing https://github.com/sympy/sympy/actions/runs/3004717888/jobs/4824274707#step:6:511 but these could be error instead. Can you resolve this?

The future in python 3.10 allows [structual pattern matching](https://docs.python.org/3/whatsnew/3.10.html#pep-634-structural-pattern-matching) which can outdate some functional capability of multipledispatch.

Unfortunately, this can be known limitations. `simplify` may first turn `a / (a + b) - 1` into some form like `-b / (a + b)`, and from there, the...

It may only work for Basic instances inside list, for instance, however, I don't think that this works for nested list/tuple or some deep nesting of list/tuple/basic. because it doesn't...

In the [documentation](https://docs.sympy.org/latest/modules/logic.html) There is a note that > SymPy’s [simplify()](https://docs.sympy.org/latest/modules/simplify/simplify.html#sympy.simplify.simplify.simplify) function can also be used to simplify logic expressions to their simplest forms. but it does not do that...

I think that algebraic normal form solves this problem `(a^~a).to_anf()` Maybe `simplify` can just try to race the normal forms available