Matrices

When to Use

Use this skill when working on matrices problems in linear algebra.

Decision Tree

1. Identify Matrix Type

   • Square, symmetric, orthogonal, diagonal?
   • Check properties with sympy_compute.py matrix_type

2. Basic Operations

   • Multiplication: sympy_compute.py matmul "A" "B"
   • Inverse: sympy_compute.py inverse "A"
   • Transpose: sympy_compute.py transpose "A"

3. Solve Linear Systems

   • Ax = b: sympy_compute.py linsolve "A" "b"
   • Check consistency with z3_solve.py sat

4. Decompositions

   • LU: sympy_compute.py lu "A"
   • QR: sympy_compute.py qr "A"
   • SVD: