Documentation

LeanPool.BrillNoetherGraphs.Utilities

return to top

source

Imports

Init
LeanPool.BrillNoetherGraphs.Utilities.Highlights
LeanPool.BrillNoetherGraphs.Utilities.Certificate.CubicMatrixCanonical
LeanPool.BrillNoetherGraphs.Utilities.Certificate.CubicMatrixReplay
LeanPool.BrillNoetherGraphs.Utilities.Foundations.AcyclicOrientation
LeanPool.BrillNoetherGraphs.Utilities.Foundations.BlockSlopeRounding
LeanPool.BrillNoetherGraphs.Utilities.Foundations.BrillNoetherRank
LeanPool.BrillNoetherGraphs.Utilities.Foundations.CanonicalSlackPair
LeanPool.BrillNoetherGraphs.Utilities.Foundations.CommonOffsetRounding
LeanPool.BrillNoetherGraphs.Utilities.Foundations.ConvexIntegerRounding
LeanPool.BrillNoetherGraphs.Utilities.Foundations.Duality
LeanPool.BrillNoetherGraphs.Utilities.Foundations.EdgeAddition
LeanPool.BrillNoetherGraphs.Utilities.Foundations.EffectiveDifference
LeanPool.BrillNoetherGraphs.Utilities.Foundations.ElementaryExistence
LeanPool.BrillNoetherGraphs.Utilities.Foundations.InducedSubgraph
LeanPool.BrillNoetherGraphs.Utilities.Foundations.Orientability
LeanPool.BrillNoetherGraphs.Utilities.Foundations.OrientationReversal
LeanPool.BrillNoetherGraphs.Utilities.Foundations.Parameters
LeanPool.BrillNoetherGraphs.Utilities.Foundations.RankChipStep
LeanPool.BrillNoetherGraphs.Utilities.Foundations.RankDeterminingSet
LeanPool.BrillNoetherGraphs.Utilities.Foundations.RankInvariance
LeanPool.BrillNoetherGraphs.Utilities.Foundations.RankOne
LeanPool.BrillNoetherGraphs.Utilities.Foundations.RiemannRochWinnable
LeanPool.BrillNoetherGraphs.Utilities.Foundations.ScriptClamping
LeanPool.BrillNoetherGraphs.Utilities.Foundations.TopologicalVertices
LeanPool.BrillNoetherGraphs.Utilities.Foundations.UnderlyingSimpleGraph
LeanPool.BrillNoetherGraphs.Utilities.Gluing.BridgeContraction
LeanPool.BrillNoetherGraphs.Utilities.Gluing.BridgeCut
LeanPool.BrillNoetherGraphs.Utilities.Gluing.BridgeDivisors
LeanPool.BrillNoetherGraphs.Utilities.Gluing.BridgeGraph
LeanPool.BrillNoetherGraphs.Utilities.Gluing.BridgeRankOne
LeanPool.BrillNoetherGraphs.Utilities.Gluing.CanonicalWedge
LeanPool.BrillNoetherGraphs.Utilities.Gluing.ChainGluing
LeanPool.BrillNoetherGraphs.Utilities.Gluing.CycleRigidity
LeanPool.BrillNoetherGraphs.Utilities.Gluing.DegSpecLocalization
LeanPool.BrillNoetherGraphs.Utilities.Gluing.GenusFiveVertexCut
LeanPool.BrillNoetherGraphs.Utilities.Gluing.GenusFourVertexCut
LeanPool.BrillNoetherGraphs.Utilities.Gluing.GenusThreeCycleWedge
LeanPool.BrillNoetherGraphs.Utilities.Gluing.GenusTwoTwoPole
LeanPool.BrillNoetherGraphs.Utilities.Gluing.InteriorScriptTransport
LeanPool.BrillNoetherGraphs.Utilities.Gluing.MarkedTwistDegree
LeanPool.BrillNoetherGraphs.Utilities.Gluing.OneVertexCutFactors
LeanPool.BrillNoetherGraphs.Utilities.Gluing.OneVertexCutReaches
LeanPool.BrillNoetherGraphs.Utilities.Gluing.SeparatingEdgeCut
LeanPool.BrillNoetherGraphs.Utilities.Gluing.SeparatingEdgePath
LeanPool.BrillNoetherGraphs.Utilities.Gluing.TwoEdgeConnectedRigidity
LeanPool.BrillNoetherGraphs.Utilities.Gluing.TwoPole
LeanPool.BrillNoetherGraphs.Utilities.Gluing.TwoPoleProfile
LeanPool.BrillNoetherGraphs.Utilities.Gluing.TwoPoleRank
LeanPool.BrillNoetherGraphs.Utilities.Gluing.TwoPoleReachability
LeanPool.BrillNoetherGraphs.Utilities.Gluing.VertexCutConnectivity
LeanPool.BrillNoetherGraphs.Utilities.Gluing.VertexCutWedge
LeanPool.BrillNoetherGraphs.Utilities.Gluing.VertexWedge
LeanPool.BrillNoetherGraphs.Utilities.Gluing.VertexWedgeGenusOne
LeanPool.BrillNoetherGraphs.Utilities.Gluing.VertexWedgePresentation
LeanPool.BrillNoetherGraphs.Utilities.Gluing.VertexWedgeRankFormula
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
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.GrassmannianAsp
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.GrassmannianEnvelope
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.GrassmannianExistence
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.GrassmannianShift
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.OnceMarked
LeanPool.BrillNoetherGraphs.Utilities.Grassmannian.OnceMarkedGonality
LeanPool.BrillNoetherGraphs.Utilities.Harmonic.Basic
LeanPool.BrillNoetherGraphs.Utilities.Harmonic.Pullback
LeanPool.BrillNoetherGraphs.Utilities.Iso.Fossil
LeanPool.BrillNoetherGraphs.Utilities.Iso.FossilTopology
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphConstructorIso
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphContraction
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphContractionEuler
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphContractionFibreTree
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphContractionTopology
LeanPool.BrillNoetherGraphs.Utilities.Iso.GraphIso
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
LeanPool.BrillNoetherGraphs.Utilities.Segments.AtanasovRanganathan
LeanPool.BrillNoetherGraphs.Utilities.Segments.AtanasovRanganathanConfigurations
LeanPool.BrillNoetherGraphs.Utilities.Segments.GenusFourLoopLemma
LeanPool.BrillNoetherGraphs.Utilities.Segments.SeamCalculus
LeanPool.BrillNoetherGraphs.Utilities.Segments.SegmentReflection
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.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.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.DegenerateCoreVertexCut
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateInterpolation
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.DegenerateMultiBreakScript
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.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
LeanPool.BrillNoetherGraphs.Utilities.Transmission.DemazureFactorization
LeanPool.BrillNoetherGraphs.Utilities.Transmission.MarkedRankProfile
LeanPool.BrillNoetherGraphs.Utilities.Transmission.Transmission
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionBN
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionCorner
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionDuality
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionExistence
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionIso
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionRR
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionShift
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionSpecial
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionWedge
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionWedgeDemazure
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionWedgePresentation
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionWedgeSameSide
LeanPool.BrillNoetherGraphs.Utilities.Transmission.TransmissionWedgeSameSidePresentation
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ClosedRowProof.LeggedChecks
LeanPool.BrillNoetherGraphs.Utilities.Subdivision.ClosedRowProof.Tree

Imported by

Utilities #