Skip to main content
Data Science & AIparcadei

eigenvalues

Problem-solving strategies for eigenvalues in linear algebra

Stars
3,795
Source
parcadei/Continuous-Claude-v3
Updated
2026-01-26
Slug
parcadei--Continuous-Claude-v3--eigenvalues
View on GitHubRaw SKILL.md

// install — copy + paste into any project

mkdir -p .claude/skills && curl -fsSL https://raw.githubusercontent.com/parcadei/Continuous-Claude-v3/HEAD/.claude/skills/math/linear-algebra/eigenvalues/SKILL.md -o .claude/skills/eigenvalues.md

Drops the SKILL.md into .claude/skills/eigenvalues.md. Works with Claude Code, Cursor, and any agent that loads SKILL.md files from .claude/skills/.

Eigenvalues

When to Use

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

Decision Tree

  1. Compute Characteristic Polynomial

    • det(A - lambda*I) = 0
    • sympy_compute.py charpoly "[[a,b],[c,d]]" --var lam

  2. Find Eigenvalues

    • Solve characteristic polynomial
    • sympy_compute.py eigenvalues "[[1,2],[3,4]]"

  3. Find Eigenvectors

    • For each eigenvalue lambda: solve (A - lambda*I)v = 0
    • sympy_compute.py eigenvectors "[[1,2],[3,4]]"

  4. Verify

    • Check Av = lambda*v with z3_solve.py prove
    • Verify algebraic/geometric multiplicity

Tool Commands

Sympy_Eigenvalues

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

Sympy_Charpoly

uv run python -m runtime.harness scripts/sympy_compute.py charpoly "[[a,b],[c,d]]" --var lam

Z3_Verify

uv run python -m runtime.harness scripts/z3_solve.py sat "det(A - lambda*I) == 0"

Cognitive Tools Reference

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