Documentation
LeanPool
.
BrillNoetherGraphs
.
Bananas
.
Theta
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Bananas.Theta.EvenlyMarkedThetaKGeneral
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaArithmetic
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaBoundarySubmodularity
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaChipEval
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaCoordinateRigidity
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaCounterexampleNormalForm
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaExactTorsion
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaExactTorsionRelabel
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaExceptionalArithmetic
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaGenusTwoCornerSum
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaGenusTwoTwistIdentities
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaInvTauCorrection
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaInversionCount
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaInversionFiniteSum
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaJacobian
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaJacobianPresentation
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaKGeneralClassification
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaKGeneralCoordinates
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaLattice
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaMoment
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaNegativeDivisorClasses
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaNegativeDivisorClassesBoundary
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaNegativeDivisorClassesTerminal
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaNonrecurrence
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaPrefix
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaPrincipal
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaReflectionRank
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaResidue
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaTorsionAPI
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaTransmissionAudit
LeanPool.BrillNoetherGraphs.Bananas.Theta.ThetaTransmissionCases
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.