vector-spaces

Vector Spaces

When to Use

Use this skill when working on vector-spaces problems in linear algebra.

Decision Tree

1. Check Subspace
2. Contains zero vector?
3. Closed under addition?
4. Closed under scalar multiplication?
5. Verify with z3_solve.py prove

1. Linear Independence
2. Set up Ax = 0 where columns are vectors
3. sympy_compute.py nullspace "A"
4. Trivial nullspace = independent

1. Basis and Dimension
2. Find spanning set, remove dependent vectors
3. sympy_compute.py rref "A" to find pivot columns
4. Dimension = number of pivots

1. Change of Basis
2. Find transition matrix P
3. New coords = P^(-1) * old coords
4. sympy_compute.py inverse "P"

Tool Commands

Sympy_Nullspace

uv run python -m runtime.harness scripts/sympy_compute.py nullspace "[[1,2,3],[4,5,6]]"

Sympy_Rref

uv run python -m runtime.harness scripts/sympy_compute.py rref "[[1,2,3],[4,5,6]]"

Z3_Prove

uv run python -m runtime.harness scripts/z3_solve.py prove "subspace_closed"

Cognitive Tools Reference

See .claude/skills/math-mode/SKILL.md for full tool documentation.