Documentation
LeanPool
.
BrillNoetherGraphs
.
Utilities
.
Pseudocore
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Utilities.Pseudocore.GenusFourPseudocore
LeanPool.BrillNoetherGraphs.Utilities.Pseudocore.PseudocoreCompatible
LeanPool.BrillNoetherGraphs.Utilities.Pseudocore.PseudocoreMarkerCut
LeanPool.BrillNoetherGraphs.Utilities.Pseudocore.PseudocoreMarkerWedge
LeanPool.BrillNoetherGraphs.Utilities.Pseudocore.PseudocorePresentation
LeanPool.BrillNoetherGraphs.Utilities.Pseudocore.PseudocoreRelabeling
LeanPool.BrillNoetherGraphs.Utilities.Pseudocore.PseudocoreSubdivisionProperties
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.