Documentation
LeanPool
.
BrillNoetherGraphs
.
Utilities
.
Subdivision
Search
return to top
source
Imports
Init
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.AffineCover
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.AffineCoverData
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.AffineDecisionCoverData
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.AffinePosition
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.AffinePositionMultiBreak
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CanonicalDivisor
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ClosedContraction
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ClosedCoreSymmetry
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ClosedFaceCensus
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ClosedFaceDispatch
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ClosedRowProof
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ConnectedCheckFast
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ContractionForestCensusGeneral
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreBridgeCut
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreBridgeRankOne
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreExpansion
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreExpansionClosed
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CorePairMultiplicity
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreRelabeling
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreSymmetry
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreVertexCut
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreVertexCutGenus
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreVertexCutGenusFour
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreVertexCutRankOne
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreVertexCutTwoRegular
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CoreVertexReachability
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.CubicCore
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateAffinePosition
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateAffinePositionMultiBreak
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateCoreVertexCut
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateInterpolation
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateMultiBreakScript
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegeneratePiecewiseInterpolation
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateRamp
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateRankOne
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateRepRigidity
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateSeparator
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateSlopeScript
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateSpec
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateSpecCensus
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateSubdivisionIso
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DiscreteSpecialization
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DoubledAnchorChecks
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ExplicitPotential
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ExplicitPotentialRankOne
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.GraphIsoLaplacianEquiv
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.IteratedSplitRefinement
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.LaplacianEquiv
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.LaplacianEquivSeparator
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.LeafExtension
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.LeafPruning
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.LeafReduction
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.LegSplit
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.MovingPosition
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.MultiBreakScript
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.NestedOneVertexCut
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.OddSubdivisionDescent
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.OneEdgeSplitRefinement
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.OneVertexCutCheck
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.PathSplitRefinement
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.PiecewiseBlockDecoder
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.PointedGenusOneRigidTransport
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.RampScript
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.RankOne
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ReorientContraction
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SlopeScript
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SpanningTreeConnectivity
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SpecBurning
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SplitRampArithmetic
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SplitRampScript
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SquareRootDescent
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.StrongSeparator
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SubdivisionArithmetic
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SubdivisionChipDescent
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SubdivisionChipDescentMain
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SubdivisionChipDescentStep
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SubdivisionConnectivity
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SubdivisionCoreSupport
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SubdivisionGraph
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SubdivisionIso
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SubdivisionSeparator
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.SubdivisionTwoEdgeCut
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.TrivalentExpansion
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.TwoEdgeConnectedCheckFast
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.TwoPoleSubdivision
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.TwoPoleSubdivisionGluing
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.TwoVertexPencilCore
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.UnitSubdivisionPresentation
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ValidClosed
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.WindowProfile
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.WindowProfileReachability
Imported by
Supporting modules for Brill–Noether theory and gonality of finite graphs.