Zulip Chat Archive
Stream: Is there code for X?
Topic: Matrix automation???
The Leanest (Oct 04 2021 at 16:07):
Is there an existing tactic to simplify an equality involving (real or complex) matrices?
Eric Wieser (Oct 04 2021 at 16:08):
Can you come up with a concrete example of what you mean?
The Leanest (Oct 04 2021 at 16:10):
For example, being able to simplify ⟪[1, 0], [1, 0]⟫_ℂ into 1 and then call refl
The Leanest (Oct 04 2021 at 16:11):
that's a simple toy example but like
The Leanest (Oct 04 2021 at 16:11):
basically "deal with simplifying an expression that may include lots of matrices and vectors"
Last updated: Dec 20 2023 at 11:08 UTC