Hi, I'm working on the pull request <https://github.com/sympy/sympy/pull/11904>.
A 1x1 matrix is always diagonal. Diagonal implies symmetric <https://github.com/sympy/sympy/blob/master/sympy/assumptions/ask.py#L1517>. I have fixed AskDiagonalHandler such that this assertion pass: V1 = MatrixSymbol('V1', 2, 1) V2 = MatrixSymbol('V2', 2, 1) expr = V1.T*(V1 + V2) assert ask(Q.diagonal(expr)) is True Now I assume that inference module will deduce that this expression is also symmetric (since the expression is diagonal): assert ask(Q.symmetric(expr)) is True # it is None! It returns None. Is anything missing? Can you show an example where this kind of inference works well? -Andrey -- You received this message because you are subscribed to the Google Groups "sympy" 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 https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/d84286f8-9a6f-469b-ac95-4a3c8b21cda2%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
