HJO.lean

module  -- shake: keep-all --deprecated_module: ignore

public import HJO.AdjacentSwaps
public import HJO.AmbientCombinatorics
public import HJO.Ascent.Admissible
public import HJO.Ascent.Ascend
public import HJO.Ascent.Embedding
public import HJO.Ascent.Transport
public import HJO.Ascent.TransportShuffle
public import HJO.Ascent.TransportSweep
public import HJO.Attr
public import HJO.CMBlocks
public import HJO.CMStructure.AlgBasis
public import HJO.CMStructure.AlphabetShift
public import HJO.CMStructure.AtildeBuild
public import HJO.CMStructure.AtildeCorner
public import HJO.CMStructure.AtildeKernel
public import HJO.CMStructure.AtildeMixed
public import HJO.CMStructure.BkernelHsymm
public import HJO.CMStructure.BopAntisym
public import HJO.CMStructure.BopDouble
public import HJO.CMStructure.BopPairPhi
public import HJO.CMStructure.BopTwoVariable
public import HJO.CMStructure.BpairSymmetric
public import HJO.CMStructure.BraidRepNotTotal
public import HJO.CMStructure.BraidRepReduce
public import HJO.CMStructure.BraidScalars
public import HJO.CMStructure.BraidUntouched
public import HJO.CMStructure.BshiftCompose
public import HJO.CMStructure.BshiftEsymm
public import HJO.CMStructure.CmCommutator
public import HJO.CMStructure.CmReplemma
public import HJO.CMStructure.CmYMultiplication
public import HJO.CMStructure.ConjugationExists
public import HJO.CMStructure.DemazureIdentities
public import HJO.CMStructure.DminusBraid
public import HJO.CMStructure.DminusSqBraid
public import HJO.CMStructure.DpaActionBuild
public import HJO.CMStructure.EvalReduction
public import HJO.CMStructure.GammaBop
public import HJO.CMStructure.HbTwist
public import HJO.CMStructure.HeckeStraighten
public import HJO.CMStructure.InterchangeBraidWords
public import HJO.CMStructure.KernelGenerators
public import HJO.CMStructure.LaurentZW
public import HJO.CMStructure.MellitBraidRep
public import HJO.CMStructure.MellitConjRel1
public import HJO.CMStructure.MellitConjRel2
public import HJO.CMStructure.MellitDpaAction
public import HJO.CMStructure.MellitLowerTwist
public import HJO.CMStructure.MellitZLoops
public import HJO.CMStructure.MellitZrelShift
public import HJO.CMStructure.QShiftNegBraid
public import HJO.CMStructure.RelExtra
public import HJO.CMStructure.StandingStructure
public import HJO.CMStructure.StarAction
public import HJO.CMStructure.StarConjRel1
public import HJO.CMStructure.StarConjRel2
public import HJO.CMStructure.StarEasy
public import HJO.CMStructure.StarElemSymm
public import HJO.CMStructure.StarZrelOne
public import HJO.CMStructure.StarZrelShift
public import HJO.CMStructure.StraightenMeasure
public import HJO.CMStructure.StraightenNotDecreasing
public import HJO.CMStructure.StraightenTerminates
public import HJO.CMStructure.Thm52Injective
public import HJO.CMStructure.Thm73Closed
public import HJO.CMStructure.TwistHom
public import HJO.CMStructure.TwistedAction
public import HJO.CMStructure.TwistedIntertwine
public import HJO.CMStructure.TwistedStarMult
public import HJO.CMStructure.VmodActionMod
public import HJO.CMStructure.VmodCommutatorMod
public import HJO.CMStructure.VmodDminusDplus
public import HJO.CMStructure.VmodDminusSection
public import HJO.CMStructure.VmodDplusRelations
public import HJO.CMStructure.VmodExtraMod
public import HJO.CMStructure.VmodGenerators
public import HJO.CMStructure.VmodIntertwined
public import HJO.CMStructure.VmodRaising
public import HJO.CMStructure.VmodYMultiplication
public import HJO.CMStructure.YBraid
public import HJO.CMStructure.ZBraid
public import HJO.CMStructure.ZyMixed
public import HJO.CarlssonMellit.AddLetter
public import HJO.CarlssonMellit.AmbientBrackets
public import HJO.CarlssonMellit.AqToAtilde
public import HJO.CarlssonMellit.ArrowGraded
public import HJO.CarlssonMellit.ArrowGrading
public import HJO.CarlssonMellit.ArrowWords
public import HJO.CarlssonMellit.BiGraded
public import HJO.CarlssonMellit.BiGrading
public import HJO.CarlssonMellit.Bop
public import HJO.CarlssonMellit.BopLinear
public import HJO.CarlssonMellit.BopModified
public import HJO.CarlssonMellit.BopModule
public import HJO.CarlssonMellit.BraidInverse
public import HJO.CarlssonMellit.BraidTwoLoops
public import HJO.CarlssonMellit.BwordBasis
public import HJO.CarlssonMellit.BwordBasisAll
public import HJO.CarlssonMellit.BwordTriangular
public import HJO.CarlssonMellit.CharRaising
public import HJO.CarlssonMellit.CharSeries
public import HJO.CarlssonMellit.CharSeriesLift
public import HJO.CarlssonMellit.CharSeriesOmega
public import HJO.CarlssonMellit.CharSeriesSymmetric
public import HJO.CarlssonMellit.CharWordPartial
public import HJO.CarlssonMellit.ChiPrime
public import HJO.CarlssonMellit.ChiPrimeCoeffSymmetric
public import HJO.CarlssonMellit.ChiPrimeExpansion
public import HJO.CarlssonMellit.ChiPrimeExpansionExists
public import HJO.CarlssonMellit.ChiPrimeLower
public import HJO.CarlssonMellit.ChiPrimeNu
public import HJO.CarlssonMellit.ChiPrimeSwap
public import HJO.CarlssonMellit.ChiPrimeSwapFixed
public import HJO.CarlssonMellit.ChiPrimeSwapFree
public import HJO.CarlssonMellit.ChiPrimeZGraded
public import HJO.CarlssonMellit.ChiQOne
public import HJO.CarlssonMellit.ConjugationBottom
public import HJO.CarlssonMellit.ConjugationBottomExists
public import HJO.CarlssonMellit.ConjugationOperator
public import HJO.CarlssonMellit.CornerCalculus
public import HJO.CarlssonMellit.CornerCommutator
public import HJO.CarlssonMellit.CornerCommute
public import HJO.CarlssonMellit.CornerElements
public import HJO.CarlssonMellit.CornerGeneric
public import HJO.CarlssonMellit.CornerInclusion
public import HJO.CarlssonMellit.CornerLowering
public import HJO.CarlssonMellit.CornerMellit
public import HJO.CarlssonMellit.CornerPairs
public import HJO.CarlssonMellit.CornerPowers
public import HJO.CarlssonMellit.CornerRaising
public import HJO.CarlssonMellit.CornerRing
public import HJO.CarlssonMellit.CornerTCommute
public import HJO.CarlssonMellit.CornerTopCommute
public import HJO.CarlssonMellit.CornerTransport
public import HJO.CarlssonMellit.CornerTwist
public import HJO.CarlssonMellit.CycleTupleSteps
public import HJO.CarlssonMellit.DPATilde
public import HJO.CarlssonMellit.DPATildeIdeals
public import HJO.CarlssonMellit.DPATwoSided
public import HJO.CarlssonMellit.DeltaUpow
public import HJO.CarlssonMellit.DiffDivides
public import HJO.CarlssonMellit.DisplacementDegree
public import HJO.CarlssonMellit.DminusSquare
public import HJO.CarlssonMellit.DopFromDplusStar
public import HJO.CarlssonMellit.DopIndexFromDplusStar
public import HJO.CarlssonMellit.DoubleShift
public import HJO.CarlssonMellit.DpaMellitWords
public import HJO.CarlssonMellit.DpaStructure
public import HJO.CarlssonMellit.DpaStructurePrelim
public import HJO.CarlssonMellit.DyckPathAlgebra
public import HJO.CarlssonMellit.EastAttack
public import HJO.CarlssonMellit.EastInverseRecover
public import HJO.CarlssonMellit.EastLabelling
public import HJO.CarlssonMellit.EastStep
public import HJO.CarlssonMellit.EqualPartnerLast
public import HJO.CarlssonMellit.Fir
public import HJO.CarlssonMellit.FlipCorners
public import HJO.CarlssonMellit.GesselSchur
public import HJO.CarlssonMellit.HomogeneousSplit
public import HJO.CarlssonMellit.InsertInjectiveBounded
public import HJO.CarlssonMellit.InsertNotInjective
public import HJO.CarlssonMellit.InsertRealisation
public import HJO.CarlssonMellit.InsertZvar
public import HJO.CarlssonMellit.InsertionFibres
public import HJO.CarlssonMellit.KernelDplusStarStep
public import HJO.CarlssonMellit.KernelSpanRoute
public import HJO.CarlssonMellit.KernelStarStep
public import HJO.CarlssonMellit.LabelClass
public import HJO.CarlssonMellit.LabelCube
public import HJO.CarlssonMellit.LabelSum
public import HJO.CarlssonMellit.LabelSumFull
public import HJO.CarlssonMellit.LabelWeight
public import HJO.CarlssonMellit.LowerPartition
public import HJO.CarlssonMellit.LowerPieces
public import HJO.CarlssonMellit.LowerTuples
public import HJO.CarlssonMellit.LoweringSum
public import HJO.CarlssonMellit.LoweringSumClosed
public import HJO.CarlssonMellit.MarkedCharSeries
public import HJO.CarlssonMellit.MarkedWord
public import HJO.CarlssonMellit.MarkedWordChar
public import HJO.CarlssonMellit.MixedIdeal
public import HJO.CarlssonMellit.MuStep
public import HJO.CarlssonMellit.NegateHsymm
public import HJO.CarlssonMellit.NoAttack
public import HJO.CarlssonMellit.NuEast
public import HJO.CarlssonMellit.NuLower
public import HJO.CarlssonMellit.NuSwap
public import HJO.CarlssonMellit.NuZeroLevel
public import HJO.CarlssonMellit.PDelta
public import HJO.CarlssonMellit.PDeltaDiagonal
public import HJO.CarlssonMellit.PDeltaGraded
public import HJO.CarlssonMellit.PDeltaStar
public import HJO.CarlssonMellit.PDeltaStarRealisation
public import HJO.CarlssonMellit.PSwap
public import HJO.CarlssonMellit.Parameters
public import HJO.CarlssonMellit.PartialCharSeries
public import HJO.CarlssonMellit.PartialCharacter
public import HJO.CarlssonMellit.PartialLevelSteps
public import HJO.CarlssonMellit.PartialPaths
public import HJO.CarlssonMellit.PartialStepWord
public import HJO.CarlssonMellit.PartialWordZero
public import HJO.CarlssonMellit.PowerRing
public import HJO.CarlssonMellit.PowerRingDomain
public import HJO.CarlssonMellit.RealisationSwap
public import HJO.CarlssonMellit.RunWeight
public import HJO.CarlssonMellit.Runs
public import HJO.CarlssonMellit.SeriesGrading
public import HJO.CarlssonMellit.SignSum
public import HJO.CarlssonMellit.SignSumBlocks
public import HJO.CarlssonMellit.SphericalModule
public import HJO.CarlssonMellit.SquareDyck
public import HJO.CarlssonMellit.StarCornerMoves
public import HJO.CarlssonMellit.StarFlipExists
public import HJO.CarlssonMellit.StarSwap
public import HJO.CarlssonMellit.StarSwapExists
public import HJO.CarlssonMellit.StarSwapKernel
public import HJO.CarlssonMellit.SuperAlphabet
public import HJO.CarlssonMellit.SuperGesselSum
public import HJO.CarlssonMellit.SuperSchur
public import HJO.CarlssonMellit.SuperSchurGessel
public import HJO.CarlssonMellit.SuperStd
public import HJO.CarlssonMellit.SuperTableaux
public import HJO.CarlssonMellit.SuperWords
public import HJO.CarlssonMellit.Superization
public import HJO.CarlssonMellit.SwapClass
public import HJO.CarlssonMellit.SweepCM
public import HJO.CarlssonMellit.Tableaux
public import HJO.CarlssonMellit.ThetaAddLetter
public import HJO.CarlssonMellit.ThetaBijective
public import HJO.CarlssonMellit.ThetaCommute
public import HJO.CarlssonMellit.ThetaHsymmComp
public import HJO.CarlssonMellit.ThetaSuperRow
public import HJO.CarlssonMellit.TildeConjExists
public import HJO.CarlssonMellit.TildeShiftExists
public import HJO.CarlssonMellit.TildeZ1
public import HJO.CarlssonMellit.TruncatedAlphabet
public import HJO.CarlssonMellit.Tuples
public import HJO.CarlssonMellit.TwoLetterChar
public import HJO.CarlssonMellit.WordStatistics
public import HJO.CarlssonMellit.ZDelta
public import HJO.CarlssonMellit.ZDeltaDefined
public import HJO.CarlssonMellit.ZDeltaSums
public import HJO.CarlssonMellit.ZFir
public import HJO.CarlssonMellit.ZFirClosed
public import HJO.CarlssonMellit.ZFirTelescope
public import HJO.CarlssonMellit.ZFixedSymmetric
public import HJO.CarlssonMellit.ZMonomialFactorisations
public import HJO.CarlssonMellit.ZRing
public import HJO.CarlssonMellit.ZSubring
public import HJO.CarlssonMellit.ZTail
public import HJO.CarlssonMellit.ZvarMerged
public import HJO.Classical.BenderKnuth
public import HJO.Classical.CoStandardisation
public import HJO.Classical.CompGessel
public import HJO.Classical.EsymmGessel
public import HJO.Classical.GesselTruncation
public import HJO.Classical.HomogeneousPreimage
public import HJO.Classical.HsymmComposition
public import HJO.Classical.HsymmGessel
public import HJO.Classical.HsymmSpan
public import HJO.Classical.IotaMsymm
public import HJO.Classical.IotaPmonomial
public import HJO.Classical.Kostka
public import HJO.Classical.MonomialBasis
public import HJO.Classical.OmegaExchange
public import HJO.Classical.OmegaGessel
public import HJO.Classical.OmegaInvolution
public import HJO.Classical.PartitionDiagram
public import HJO.Classical.PartitionDominance
public import HJO.Classical.PmonomialBasis
public import HJO.Classical.RealisationInjective
public import HJO.Classical.SchurBasis
public import HJO.Classical.SchurSpan
public import HJO.Classical.SortExponent
public import HJO.Classical.SsytContent
public import HJO.Classical.Standardisation
public import HJO.Classical.StdFibre
public import HJO.Classical.ThetaHsymm
public import HJO.Classical.YoungDiagrams
public import HJO.Coercivity.Basic
public import HJO.Coercivity.Bilinear
public import HJO.Coercivity.Chain
public import HJO.Coercivity.Layers
public import HJO.Coercivity.RankOne
public import HJO.Collinear.Commutation
public import HJO.Collinear.CommutationTheorem
public import HJO.Collinear.CompositeCT
public import HJO.Collinear.ConeGraded
public import HJO.Collinear.ConeRing
public import HJO.Collinear.ConjPsi
public import HJO.Collinear.CriterionSufficient
public import HJO.Collinear.CriterionTopLevel
public import HJO.Collinear.Diagonal
public import HJO.Collinear.Discharge
public import HJO.Collinear.DopStarDegree
public import HJO.Collinear.DopStarPair
public import HJO.Collinear.EsymmAlphabet
public import HJO.Collinear.EsymmIndependent
public import HJO.Collinear.ExpAlphabetProd
public import HJO.Collinear.ExpPairingSeparating
public import HJO.Collinear.ExpShift
public import HJO.Collinear.FiniteAlphabet
public import HJO.Collinear.GradedBasis
public import HJO.Collinear.HAlphabet
public import HJO.Collinear.IndexShift
public import HJO.Collinear.IndexShiftStanding
public import HJO.Collinear.KernelExpansion
public import HJO.Collinear.KernelFactorClear
public import HJO.Collinear.LaurentNonpositive
public import HJO.Collinear.MonoMul
public import HJO.Collinear.MonomialPairing
public import HJO.Collinear.OmegaBarDop
public import HJO.Collinear.PadStructure
public import HJO.Collinear.PfunSupportDischarge
public import HJO.Collinear.PieriDischarge
public import HJO.Collinear.PlethShiftMulti
public import HJO.Collinear.RaiseKernel
public import HJO.Collinear.RaySeries
public import HJO.Collinear.SSSPairing
public import HJO.Collinear.ScalarFamily
public import HJO.Collinear.ShiftDegree
public import HJO.Collinear.ShiftEsymm
public import HJO.Collinear.ShiftIterate
public import HJO.Collinear.ShiftPair
public import HJO.Collinear.ShiftStarGraded
public import HJO.Collinear.ShiftValues
public import HJO.Collinear.SplitSteps
public import HJO.Collinear.SwapOperator
public import HJO.Collinear.SymbolCT
public import HJO.Collinear.SymbolSym
public import HJO.Collinear.SymbolSymSupport
public import HJO.Collinear.TopLengthSeparation
public import HJO.Collinear.Vocabulary
public import HJO.Collinear.WordCriterion
public import HJO.Collinear.WordGrading
public import HJO.Collinear.WordMap
public import HJO.CollinearCommutativity
public import HJO.Complements
public import HJO.Corollaries
public import HJO.CreationSeeds.Basic
public import HJO.CreationSeeds.Bernstein
public import HJO.CreationSeeds.LogDeriv
public import HJO.CrossDinv.Bilinear
public import HJO.CrossDinv.Diagram
public import HJO.CrossDinv.Identity
public import HJO.CrossDinv.MixedHook
public import HJO.CrossDinv.Reindex
public import HJO.CrossDinv.Windows
public import HJO.CycleCollection
public import HJO.CylindricFinite
public import HJO.CylindricProduct.Algebra
public import HJO.CylindricProduct.Assembled
public import HJO.CylindricProduct.Borodin
public import HJO.CylindricProduct.Commutation
public import HJO.CylindricProduct.DiagSlices
public import HJO.CylindricProduct.Exponents
public import HJO.CylindricProduct.Partition
public import HJO.CylindricProduct.PartitionSum
public import HJO.CylindricProduct.PathSum
public import HJO.CylindricProduct.PrefTrace
public import HJO.CylindricProduct.Product
public import HJO.CylindricProduct.SameCommute
public import HJO.CylindricProduct.StepWord
public import HJO.CylindricProduct.Summable
public import HJO.CylindricProduct.TraceRaising
public import HJO.CylindricProduct.TransferTrace
public import HJO.CylindricProduct.Winding
public import HJO.CylindricProduct.WindingLimit
public import HJO.Definitions
public import HJO.Defs
public import HJO.Determinant.Basic
public import HJO.Determinant.CycleWeight
public import HJO.Determinant.DetCoeff
public import HJO.Determinant.DetCoeffSolves
public import HJO.Determinant.DetEquation
public import HJO.Determinant.DetLimit
public import HJO.Determinant.DetSolves
public import HJO.Discharged.Coercivity
public import HJO.Discharged.Collinear
public import HJO.Discharged.CylindricProduct
public import HJO.Discharged.External
public import HJO.Discharged.GoodTraverse
public import HJO.DyckAttackNumber
public import HJO.DyckAttackSets
public import HJO.DyckDelete
public import HJO.DyckInversions
public import HJO.DyckWordMonomial
public import HJO.Evaluation.AExponential
public import HJO.Evaluation.CollinearNarrowed
public import HJO.Evaluation.CrossCount
public import HJO.Evaluation.PhiE
public import HJO.Evaluation.PhiHom
public import HJO.Evaluation.PhiMul
public import HJO.Evaluation.PhiPoly
public import HJO.Evaluation.PrimitiveRankData
public import HJO.ExponentLex
public import HJO.GoodTraverse.Basic
public import HJO.GoodTraverse.Boundary
public import HJO.Macdonald.ConjugateSize
public import HJO.Macdonald.Conjugator
public import HJO.Macdonald.CutAlphabet
public import HJO.Macdonald.CutRestrict
public import HJO.Macdonald.DopCommute
public import HJO.Macdonald.DopCut
public import HJO.Macdonald.DopZeroHtilde
public import HJO.Macdonald.Duality
public import HJO.Macdonald.DualityDopZero
public import HJO.Macdonald.DualityFacts
public import HJO.Macdonald.DualityOmegaPfun
public import HJO.Macdonald.DualityOmegaPleth
public import HJO.Macdonald.DualityShift
public import HJO.Macdonald.DualitySupportTransfer
public import HJO.Macdonald.DualitySwapHtilde
public import HJO.Macdonald.DualitySwapZ
public import HJO.Macdonald.EigenbasisClosed
public import HJO.Macdonald.EigenbasisFamily
public import HJO.Macdonald.EigenbasisNormalisation
public import HJO.Macdonald.EopJfun
public import HJO.Macdonald.Family
public import HJO.Macdonald.FiniteAlphabet
public import HJO.Macdonald.Htilde
public import HJO.Macdonald.HtildeBasis
public import HJO.Macdonald.HtildeSpan
public import HJO.Macdonald.Inversion
public import HJO.Macdonald.InvertedOperator
public import HJO.Macdonald.LeadingExponent
public import HJO.Macdonald.LeadingVocabulary
public import HJO.Macdonald.LexAddPart
public import HJO.Macdonald.MonomialBasis
public import HJO.Macdonald.MsymmCut
public import HJO.Macdonald.OperatorStable
public import HJO.Macdonald.PairFactors
public import HJO.Macdonald.ParamInversion
public import HJO.Macdonald.PartitionInsert
public import HJO.Macdonald.PartitionLex
public import HJO.Macdonald.PfunBasis
public import HJO.Macdonald.PfunBasisAll
public import HJO.Macdonald.PieriColumn
public import HJO.Macdonald.PieriPpoly
public import HJO.Macdonald.PieriSupport
public import HJO.Macdonald.PieriSupportFirst
public import HJO.Macdonald.PieriSupportFull
public import HJO.Macdonald.PieriSupportLong
public import HJO.Macdonald.Ppoly
public import HJO.Macdonald.PpolyBasis
public import HJO.Macdonald.PpolyCut
public import HJO.Macdonald.PpolyCutZero
public import HJO.Macdonald.PpolyDegree
public import HJO.Macdonald.PpolyParamInv
public import HJO.Macdonald.PpolyTop
public import HJO.Macdonald.PpolyTopEigen
public import HJO.Macdonald.PpolyTopMain
public import HJO.Macdonald.PpolyTopSum
public import HJO.Macdonald.QShiftImage
public import HJO.Macdonald.ReachStar
public import HJO.Macdonald.ResPpolyZero
public import HJO.Macdonald.RestrictBasis
public import HJO.Macdonald.RestrictLeading
public import HJO.Macdonald.SplitCoeff
public import HJO.Macdonald.SplitNumFactor
public import HJO.Macdonald.SplitShift
public import HJO.Macdonald.SplitVandermonde
public import HJO.Macdonald.StandingFacts
public import HJO.Macdonald.Triangular
public import HJO.Macdonald.Vocabulary
public import HJO.Main
public import HJO.Main.Assembly
public import HJO.Main.Endgame
public import HJO.Main.Final
public import HJO.Main.RecurrenceConverse
public import HJO.Main.Uniqueness
public import HJO.Paths.Basic
public import HJO.Paths.Defs
public import HJO.Paths.NorthSteps
public import HJO.Paths.Primitive
public import HJO.Paths.ReturnPath
public import HJO.Paths.ReturnPathSolves
public import HJO.Paths.ReverseDescent
public import HJO.PlethysticAlphabet
public import HJO.PointwiseSum
public import HJO.RankGraph
public import HJO.RankOneDinv.Basic
public import HJO.RankOneDinv.Diagram
public import HJO.Regression
public import HJO.Series.FiniteCanonical
public import HJO.Series.GapForms
public import HJO.Series.GapPoset
public import HJO.Series.Gaps
public import HJO.Series.Limits
public import HJO.Series.ProductExponents
public import HJO.Series.Summable
public import HJO.Shuffle.AboveDiagonal
public import HJO.Shuffle.AboveParking
public import HJO.Shuffle.AxisNewtonCompleteHomog
public import HJO.Shuffle.BraidAppendCluster
public import HJO.Shuffle.BraidAppendGrid
public import HJO.Shuffle.BraidAppendLetters
public import HJO.Shuffle.BraidAppendOffset
public import HJO.Shuffle.BraidAppendPart
public import HJO.Shuffle.BraidAppendRanks
public import HJO.Shuffle.BraidBECut
public import HJO.Shuffle.BraidBEReconnect
public import HJO.Shuffle.BraidBottomInsert
public import HJO.Shuffle.BraidCDIndices
public import HJO.Shuffle.BraidCDIndicesWitness
public import HJO.Shuffle.BraidCDLetterRank
public import HJO.Shuffle.BraidCDLetterResidual
public import HJO.Shuffle.BraidCDLetterTrain
public import HJO.Shuffle.BraidCDLetterVacuum
public import HJO.Shuffle.BraidCDLetterVacuumWitness
public import HJO.Shuffle.BraidCDLetterWitness
public import HJO.Shuffle.BraidCDWindowFree
public import HJO.Shuffle.BraidClosedForms
public import HJO.Shuffle.BraidColStepInsert
public import HJO.Shuffle.BraidCompAppendData
public import HJO.Shuffle.BraidCompParts
public import HJO.Shuffle.BraidCrossingLattice
public import HJO.Shuffle.BraidData
public import HJO.Shuffle.BraidDataLevelDrop
public import HJO.Shuffle.BraidEqualRankRaise
public import HJO.Shuffle.BraidIndexRelabel
public import HJO.Shuffle.BraidInsertPoint
public import HJO.Shuffle.BraidInvMonomialPair
public import HJO.Shuffle.BraidInversions
public import HJO.Shuffle.BraidLetterCount
public import HJO.Shuffle.BraidLevelDrop
public import HJO.Shuffle.BraidMergeMult
public import HJO.Shuffle.BraidMonoid
public import HJO.Shuffle.BraidMoveComm
public import HJO.Shuffle.BraidMoveCommAbove
public import HJO.Shuffle.BraidMoveCommMixed
public import HJO.Shuffle.BraidMoveCommPerm
public import HJO.Shuffle.BraidNontrivial
public import HJO.Shuffle.BraidOfColouring
public import HJO.Shuffle.BraidPhiInsert
public import HJO.Shuffle.BraidPhiPlus
public import HJO.Shuffle.BraidPositionWindow
public import HJO.Shuffle.BraidRankLower
public import HJO.Shuffle.BraidRankRaise
public import HJO.Shuffle.BraidRankRaiseWitness
public import HJO.Shuffle.BraidRelations
public import HJO.Shuffle.BraidRep
public import HJO.Shuffle.BraidRigidShift
public import HJO.Shuffle.BraidRotation
public import HJO.Shuffle.BraidRotationInversions
public import HJO.Shuffle.BraidSpecial
public import HJO.Shuffle.BraidSweepACDFloor
public import HJO.Shuffle.BraidSweepRecursions
public import HJO.Shuffle.BraidSweepRightData
public import HJO.Shuffle.BraidTrain
public import HJO.Shuffle.BraidTrainCollide
public import HJO.Shuffle.BraidTrainGen
public import HJO.Shuffle.BraidTrainInsert
public import HJO.Shuffle.BraidTrainRelations
public import HJO.Shuffle.BraidTrainRules
public import HJO.Shuffle.BraidTypeABelowTheta
public import HJO.Shuffle.BraidTypeABelowThetaVacuous
public import HJO.Shuffle.BraidTypeADictionary
public import HJO.Shuffle.BraidTypeAGapRefuted
public import HJO.Shuffle.BraidTypeAObligations
public import HJO.Shuffle.BraidTypeAOrbit
public import HJO.Shuffle.BraidTypeATransfer
public import HJO.Shuffle.BraidTypeAUnconditional
public import HJO.Shuffle.BraidTypeAWitness
public import HJO.Shuffle.BraidTypeBDictionary
public import HJO.Shuffle.BraidTypeBMerge
public import HJO.Shuffle.BraidTypeBMoveCount
public import HJO.Shuffle.BraidTypeDGapFree
public import HJO.Shuffle.BraidUnsweptFloor
public import HJO.Shuffle.BraidValueAppend
public import HJO.Shuffle.BraidValueBERanks
public import HJO.Shuffle.BraidValueBEResidual
public import HJO.Shuffle.BraidValueBOrigin
public import HJO.Shuffle.BraidValueColouring
public import HJO.Shuffle.BraidValueUnswept
public import HJO.Shuffle.BraidWords
public import HJO.Shuffle.BraidYtildeComm
public import HJO.Shuffle.BraidYtildeMellit
public import HJO.Shuffle.BraidZCountDrop
public import HJO.Shuffle.CMRaising
public import HJO.Shuffle.Colouring
public import HJO.Shuffle.ColouringBraidData
public import HJO.Shuffle.ColouringComponents
public import HJO.Shuffle.ColouringCrossings
public import HJO.Shuffle.ColouringInitial
public import HJO.Shuffle.ColouringInversions
public import HJO.Shuffle.ColouringLevel
public import HJO.Shuffle.ColouringLevelIndex
public import HJO.Shuffle.ColouringStep
public import HJO.Shuffle.ColouringStepCounts
public import HJO.Shuffle.ColouringTrace
public import HJO.Shuffle.ColouringWidth
public import HJO.Shuffle.Completion
public import HJO.Shuffle.CopCompHExpansion
public import HJO.Shuffle.CornerClosedForm
public import HJO.Shuffle.DopWordMonomialExpansion
public import HJO.Shuffle.DpaAction
public import HJO.Shuffle.DpaIntertwined
public import HJO.Shuffle.DpaLoopsCommute
public import HJO.Shuffle.DpaRepBuild
public import HJO.Shuffle.DpaReplication
public import HJO.Shuffle.DpaReplicationPairs
public import HJO.Shuffle.DpaWords
public import HJO.Shuffle.DscBelowZeroTwoThree
public import HJO.Shuffle.Euclid
public import HJO.Shuffle.GesselReversal
public import HJO.Shuffle.Grading
public import HJO.Shuffle.HalfTurn
public import HJO.Shuffle.HalfTurnIdes
public import HJO.Shuffle.HalfTurnParking
public import HJO.Shuffle.HalfTurnReadingWord
public import HJO.Shuffle.LetterReversal
public import HJO.Shuffle.LhsAscent
public import HJO.Shuffle.LhsOpAssembly
public import HJO.Shuffle.LhsOpBaseMul
public import HJO.Shuffle.LhsOpBaseValue
public import HJO.Shuffle.LhsOpBaseValueLambda
public import HJO.Shuffle.LhsOpBaseValueM
public import HJO.Shuffle.LhsOpBaseValueN
public import HJO.Shuffle.LhsOpDefs
public import HJO.Shuffle.LhsOpIntertwiner
public import HJO.Shuffle.LhsOpLambda
public import HJO.Shuffle.LhsOpNablaStep
public import HJO.Shuffle.LhsOpShiftAmbient
public import HJO.Shuffle.LhsOpShiftStep
public import HJO.Shuffle.LhsPairOnePartReduction
public import HJO.Shuffle.LhsSingletonAxisResidual
public import HJO.Shuffle.Mellit
public import HJO.Shuffle.MellitAppend
public import HJO.Shuffle.MellitAssembly
public import HJO.Shuffle.MellitAtZero
public import HJO.Shuffle.MellitBEPartner
public import HJO.Shuffle.MellitCollinearSplit
public import HJO.Shuffle.MellitColumnChain
public import HJO.Shuffle.MellitColumnChainLeibniz
public import HJO.Shuffle.MellitColumnChainTelescope
public import HJO.Shuffle.MellitColumnCommutation
public import HJO.Shuffle.MellitColumnElemSymmTwo
public import HJO.Shuffle.MellitCompletionFrac
public import HJO.Shuffle.MellitConjIntertwine
public import HJO.Shuffle.MellitCornerShift
public import HJO.Shuffle.MellitDopColumn
public import HJO.Shuffle.MellitDopCommutator
public import HJO.Shuffle.MellitDopKernel
public import HJO.Shuffle.MellitDplusVacuum
public import HJO.Shuffle.MellitFloorStepGap
public import HJO.Shuffle.MellitInductionBaseChange
public import HJO.Shuffle.MellitInductionBraid
public import HJO.Shuffle.MellitInductionScope
public import HJO.Shuffle.MellitLadderNonVacuum
public import HJO.Shuffle.MellitLevelRaise
public import HJO.Shuffle.MellitLevelRaiseRow
public import HJO.Shuffle.MellitLevelRaiseTwoThree
public import HJO.Shuffle.MellitLhsCompInduction
public import HJO.Shuffle.MellitLhsCompNoInduction
public import HJO.Shuffle.MellitLhsEquivAbove
public import HJO.Shuffle.MellitLhsOnePartReplication
public import HJO.Shuffle.MellitLhsSlopeBase
public import HJO.Shuffle.MellitLhsSlopeCompat
public import HJO.Shuffle.MellitLhsSlopeCompatN
public import HJO.Shuffle.MellitLhsSlopeMediant
public import HJO.Shuffle.MellitLhsSlopeThreeFour
public import HJO.Shuffle.MellitNablaConjRefuted
public import HJO.Shuffle.MellitNablaConjStarRefuted
public import HJO.Shuffle.MellitNablaPrime
public import HJO.Shuffle.MellitNestTransfer
public import HJO.Shuffle.MellitOriginTransfer
public import HJO.Shuffle.MellitPhiIntertwine
public import HJO.Shuffle.MellitPhiIntertwinePiece
public import HJO.Shuffle.MellitPhiIntertwineZ
public import HJO.Shuffle.MellitProp57
public import HJO.Shuffle.MellitQopThreeFour
public import HJO.Shuffle.MellitRem41
public import HJO.Shuffle.MellitRem41Level
public import HJO.Shuffle.MellitRem41Node
public import HJO.Shuffle.MellitShiftAlgebra
public import HJO.Shuffle.MellitShiftDop
public import HJO.Shuffle.MellitShiftGenerators
public import HJO.Shuffle.MellitShiftLoc
public import HJO.Shuffle.MellitShiftSign
public import HJO.Shuffle.MellitShiftTwisted
public import HJO.Shuffle.MellitSlopeGradingTwo
public import HJO.Shuffle.MellitSlopeLadder
public import HJO.Shuffle.MellitSlopeLadderLhs
public import HJO.Shuffle.MellitSlopeTwoRow
public import HJO.Shuffle.MellitStageInduction
public import HJO.Shuffle.MellitStarVertex
public import HJO.Shuffle.MellitStraightMonomial
public import HJO.Shuffle.MellitStraightening
public import HJO.Shuffle.MellitSweepSecondZ
public import HJO.Shuffle.MellitThm42
public import HJO.Shuffle.MellitThm42BE
public import HJO.Shuffle.MellitThm58Closed
public import HJO.Shuffle.MellitThm58Floor
public import HJO.Shuffle.MellitThm58Iteration
public import HJO.Shuffle.MellitThm58Transfer
public import HJO.Shuffle.MellitTwoPartTwoThree
public import HJO.Shuffle.MellitTwoPartTwoThreeClause
public import HJO.Shuffle.MellitTwoPartTwoThreeLambda
public import HJO.Shuffle.MellitTwoPartTwoThreeValue
public import HJO.Shuffle.MellitUnitShift
public import HJO.Shuffle.MellitUnsweptDrop
public import HJO.Shuffle.MellitVertexStepClosed
public import HJO.Shuffle.MellitVertexStepGeneral
public import HJO.Shuffle.MellitZopOneV1
public import HJO.Shuffle.QShiftInverse
public import HJO.Shuffle.ShuffleAbove
public import HJO.Shuffle.ShuffleClosed
public import HJO.Shuffle.ShuffleDownstream
public import HJO.Shuffle.ShuffleGeneral
public import HJO.Shuffle.ShuffleNarrowed
public import HJO.Shuffle.SlopeActions
public import HJO.Shuffle.SlopeBraid
public import HJO.Shuffle.SlopeMediant
public import HJO.Shuffle.SlopeTrajectory
public import HJO.Shuffle.SlopeWord
public import HJO.Shuffle.SternBrocot
public import HJO.Shuffle.SternBrocotParent
public import HJO.Shuffle.Sweep
public import HJO.Shuffle.SweepAppendBandGrading
public import HJO.Shuffle.SweepAppendBandInterleave
public import HJO.Shuffle.SweepAppendBandOneB
public import HJO.Shuffle.SweepAppendBandPerPath
public import HJO.Shuffle.SweepAppendBandRounds
public import HJO.Shuffle.SweepAppendGeneric
public import HJO.Shuffle.SweepAppendHalfTurnClosed
public import HJO.Shuffle.SweepAppendNilBand
public import HJO.Shuffle.SweepAppendNilDegenerate
public import HJO.Shuffle.SweepAppendNilTwo
public import HJO.Shuffle.SweepAppendOneB
public import HJO.Shuffle.SweepAppendOneTwo
public import HJO.Shuffle.SweepAppendOperatorRefuted
public import HJO.Shuffle.SweepAppendPairing
public import HJO.Shuffle.SweepAppendRefuted
public import HJO.Shuffle.SweepAppendTwoThree
public import HJO.Shuffle.SweepAppendTwoThreeOneOne
public import HJO.Shuffle.SweepAppendWidth
public import HJO.Shuffle.SweepBalance
public import HJO.Shuffle.SweepBalanceLeft
public import HJO.Shuffle.SweepBasis
public import HJO.Shuffle.SweepBlockExchange
public import HJO.Shuffle.SweepBoundaryConsume
public import HJO.Shuffle.SweepBoundaryWidthSharp
public import HJO.Shuffle.SweepBraidAuxSubalg
public import HJO.Shuffle.SweepBraidMonomial
public import HJO.Shuffle.SweepCharWord
public import HJO.Shuffle.SweepComputesClosed
public import HJO.Shuffle.SweepComputesLowering
public import HJO.Shuffle.SweepConsumeClosure
public import HJO.Shuffle.SweepConsumeRuleA
public import HJO.Shuffle.SweepCrossing
public import HJO.Shuffle.SweepEventCounts
public import HJO.Shuffle.SweepEventIndex
public import HJO.Shuffle.SweepEventTypes
public import HJO.Shuffle.SweepGeometry
public import HJO.Shuffle.SweepHookCells
public import HJO.Shuffle.SweepHookCount
public import HJO.Shuffle.SweepHookEvents
public import HJO.Shuffle.SweepHookLine
public import HJO.Shuffle.SweepHookSlope
public import HJO.Shuffle.SweepIndexShift
public import HJO.Shuffle.SweepInductionInstance
public import HJO.Shuffle.SweepInductionInstanceTwo
public import HJO.Shuffle.SweepInductionInstanceTwoAlphaDecided
public import HJO.Shuffle.SweepInductionInstanceTwoDecided
public import HJO.Shuffle.SweepLayerWidth
public import HJO.Shuffle.SweepModule
public import HJO.Shuffle.SweepMonomialValuesTwoThreeTwo
public import HJO.Shuffle.SweepOnePartDefectTable
public import HJO.Shuffle.SweepOnePartDefectValues
public import HJO.Shuffle.SweepOnePartLambdaStep
public import HJO.Shuffle.SweepOnePartStageTwoLetter
public import HJO.Shuffle.SweepOnePartStageTwoTable
public import HJO.Shuffle.SweepOnePartStageTwoZ
public import HJO.Shuffle.SweepOnePartZOneWeightEight
public import HJO.Shuffle.SweepOnePartZOneWeightSix
public import HJO.Shuffle.SweepOperatorValuesTwoThree
public import HJO.Shuffle.SweepPairIterate
public import HJO.Shuffle.SweepPiece
public import HJO.Shuffle.SweepPositions
public import HJO.Shuffle.SweepQPower
public import HJO.Shuffle.SweepQshiftElemSymm
public import HJO.Shuffle.SweepRankOrder
public import HJO.Shuffle.SweepRecognition
public import HJO.Shuffle.SweepReplicatedIterate
public import HJO.Shuffle.SweepReplicatedNoValueRecursion
public import HJO.Shuffle.SweepReplicatedWidthTwo
public import HJO.Shuffle.SweepRhsRewrite
public import HJO.Shuffle.SweepRoundBoundary
public import HJO.Shuffle.SweepRoundShiftGtOne
public import HJO.Shuffle.SweepShiftConjugate
public import HJO.Shuffle.SweepShiftPropagate
public import HJO.Shuffle.SweepStageTwoThreeOne
public import HJO.Shuffle.SweepStageWordTwoThreeTwoValue
public import HJO.Shuffle.SweepStandardisation
public import HJO.Shuffle.SweepTailLayer
public import HJO.Shuffle.SweepTrainMonomial
public import HJO.Shuffle.SweepTrainMonomialClosed
public import HJO.Shuffle.SweepTrainMonomialWidthTwo
public import HJO.Shuffle.SweepTrainPairValues
public import HJO.Shuffle.SweepTrainWidth
public import HJO.Shuffle.SweepTruncate
public import HJO.Shuffle.SweepWidth
public import HJO.Shuffle.SweepWidthThreeFour
public import HJO.Shuffle.SweepWitness
public import HJO.Shuffle.SweepWitnessAppend
public import HJO.Shuffle.SweepWitnessBraid
public import HJO.Shuffle.SweepWitnessColour
public import HJO.Shuffle.SweepWitnessLhs
public import HJO.Shuffle.SweepWitnessLhsRefuted
public import HJO.Shuffle.SweepWitnessLhsSingleton
public import HJO.Shuffle.SweepWordTransport
public import HJO.Shuffle.SweepWordV0
public import HJO.Shuffle.SweepWordValuesTwoThreeTwo
public import HJO.Shuffle.SweepWordValuesTwoThreeTwoAlpha
public import HJO.Shuffle.SweepWordValuesTwoThreeTwoAlphaUpper
public import HJO.Shuffle.SweepWordsTwoThreeTwo
public import HJO.Shuffle.SweepWordsTwoThreeTwoAlpha
public import HJO.Shuffle.ThetaCompleteHomogAxisTwoThree
public import HJO.Shuffle.ThetaCreationSeedGeneral
public import HJO.Shuffle.TotalCompletion
public import HJO.Shuffle.TotalGrading
public import HJO.Shuffle.ZDefectEBasisTable
public import HJO.SignExtraction.Basic
public import HJO.SignExtraction.Defs
public import HJO.SignExtraction.DescentPoly
public import HJO.SignExtraction.GesselCoeffUnique
public import HJO.SignExtraction.GesselIndependent
public import HJO.SignExtraction.LetterEval
public import HJO.SignExtraction.Words
public import HJO.SourceTranscription
public import HJO.SweepBlocks.Block
public import HJO.SweepBlocks.MarkedAttack
public import HJO.SweepBlocks.PartnerCorner
public import HJO.SweepBlocks.PositionStep
public import HJO.SweepBlocks.Transport
public import HJO.Symmetric.AxisFree
public import HJO.Symmetric.AxisSub
public import HJO.Symmetric.CopPower
public import HJO.Symmetric.Defs
public import HJO.Symmetric.DiffOrder
public import HJO.Symmetric.DopCommutator
public import HJO.Symmetric.DopRees
public import HJO.Symmetric.EpsilonSelection
public import HJO.Symmetric.Multiplication
public import HJO.Symmetric.RealisationReverse
public import HJO.Symmetric.ReesClosed
public import HJO.Symmetric.ReesRegular
public import HJO.Symmetric.ReesSpecial
public import HJO.Symmetric.SwapInvariant
public import HJO.Symmetric.SymmetricFunctions
public import HJO.Symmetric.ThetaSymmetry
public import HJO.Symmetric.TriangularBasis
public import HJO.Symmetric.UkRegular
public import HJO.TransferMatrix