Documentation

LeanPool.ChipFiring.ChipFiringWithLean

Imports

Init
LeanPool.ChipFiring.ChipFiringWithLean.Algorithms
LeanPool.ChipFiring.ChipFiringWithLean.Basic
LeanPool.ChipFiring.ChipFiringWithLean.CFGraphExample
LeanPool.ChipFiring.ChipFiringWithLean.Config
LeanPool.ChipFiring.ChipFiringWithLean.Orientation
LeanPool.ChipFiring.ChipFiringWithLean.RRGHelpers
LeanPool.ChipFiring.ChipFiringWithLean.Rank
LeanPool.ChipFiring.ChipFiringWithLean.RiemannRoch

Imported by

ChipFiringWithLean #

Chip firing, graph divisors, and their combinatorial properties.