ix-ktheory

name	ix-ktheory
description	Algebraic K-theory for graphs — Grothendieck K0/K1, Mayer-Vietoris sequences
disable-model-invocation	true

K-Theory

Algebraic K-theory applied to graph structures.

When to Use

When the user asks about K-theory computations on graphs, Grothendieck groups, K0/K1 invariants, or Mayer-Vietoris exact sequences for graph decompositions.

Capabilities

• Graph K0 — Grothendieck group K0 from adjacency matrix, generator/relation computation
• Graph K1 — K1 computation via determinant maps on graph automorphisms
• Mayer-Vietoris — Exact sequence for graph decompositions, connecting homomorphisms
• Spectral sequences — Basic spectral sequence page computation

Programmatic Usage

use ix_ktheory::graph_k::{graph_k0, graph_k1, GraphKTheory};
use ix_ktheory::mayer_vietoris::{MayerVietoris, ExactSequence};

MCP Tool Reference

Not yet available as a dedicated MCP tool. Use the Rust API directly.