Documentation

LeanPool.BrillNoetherGraphs.Utilities.Gonality

Imports

Init
LeanPool.BrillNoetherGraphs.Utilities.Gonality.BurnedSet
LeanPool.BrillNoetherGraphs.Utilities.Gonality.DivisorialGonality
LeanPool.BrillNoetherGraphs.Utilities.Gonality.GonalityTransport
LeanPool.BrillNoetherGraphs.Utilities.Gonality.LegalFiring
LeanPool.BrillNoetherGraphs.Utilities.Gonality.OrientationRank
LeanPool.BrillNoetherGraphs.Utilities.Gonality.ReducedCertificate

Imported by

Supporting modules for Brill–Noether theory and gonality of finite graphs.