Documentation
YoungDiagram
Search
return to top
source
Imports
Init
YoungDiagram.Chromosome
YoungDiagram.Gene
YoungDiagram.Lifting
YoungDiagram.ListAux
YoungDiagram.Mutations
YoungDiagram.Sigma
YoungDiagram.Theorem6
YoungDiagram.Variety
YoungDiagram.Chromosome.Basic
YoungDiagram.Chromosome.Lift
YoungDiagram.Chromosome.Order
YoungDiagram.Chromosome.Parity
YoungDiagram.Chromosome.Prime
YoungDiagram.Chromosome.Rank
YoungDiagram.Chromosome.Signature
YoungDiagram.Lifting.Lifting
YoungDiagram.Lifting.Mix2LambdaPi
YoungDiagram.Lifting.MixLambdaPi
YoungDiagram.Lifting.MixPi2Lambda
YoungDiagram.Lifting.MixPiLambda
YoungDiagram.Lifting.Pi
YoungDiagram.Mutations.Basic
YoungDiagram.Mutations.Defs
YoungDiagram.Mutations.Mix2LambdaPi
YoungDiagram.Mutations.MixLambdaPi
YoungDiagram.Mutations.MixPi2Lambda
YoungDiagram.Mutations.MixPiLambda
YoungDiagram.Mutations.Pi
YoungDiagram.Sigma.Basic
YoungDiagram.Sigma.CaseLemmas
YoungDiagram.Sigma.Diff
YoungDiagram.Sigma.Inequalities
YoungDiagram.Sigma.Mutation
YoungDiagram.Theorem6.Mix2LambdaJoint
YoungDiagram.Theorem6.Mix2LambdaPi
YoungDiagram.Theorem6.Mix2LambdaPrelim
YoungDiagram.Theorem6.MixCase4
YoungDiagram.Theorem6.MixLambdaPi
YoungDiagram.Theorem6.MixPi2Lambda
YoungDiagram.Theorem6.MixPiLambda
YoungDiagram.Theorem6.MixVarietyJoint
YoungDiagram.Theorem6.Pi
YoungDiagram.Variety.Basic
YoungDiagram.Variety.Label
YoungDiagram.Variety.Lambda
YoungDiagram.Variety.Mix
YoungDiagram.Variety.Pi
YoungDiagram.Mutations.Mix2LambdaPi.type10
YoungDiagram.Mutations.Mix2LambdaPi.type11
YoungDiagram.Mutations.Mix2LambdaPi.type12
YoungDiagram.Mutations.Mix2LambdaPi.type13
YoungDiagram.Mutations.Mix2LambdaPi.type14
YoungDiagram.Mutations.Mix2LambdaPi.type15
YoungDiagram.Mutations.Mix2LambdaPi.type16
YoungDiagram.Mutations.Mix2LambdaPi.type17
YoungDiagram.Mutations.Mix2LambdaPi.type9
YoungDiagram.Mutations.MixLambdaPi.type4
YoungDiagram.Mutations.MixLambdaPi.type5
YoungDiagram.Mutations.MixLambdaPi.type6
YoungDiagram.Mutations.MixLambdaPi.type7
YoungDiagram.Mutations.MixLambdaPi.type8
YoungDiagram.Mutations.MixPi2Lambda.type10
YoungDiagram.Mutations.MixPi2Lambda.type11
YoungDiagram.Mutations.MixPi2Lambda.type12
YoungDiagram.Mutations.MixPi2Lambda.type13
YoungDiagram.Mutations.MixPi2Lambda.type14
YoungDiagram.Mutations.MixPi2Lambda.type15
YoungDiagram.Mutations.MixPi2Lambda.type16
YoungDiagram.Mutations.MixPi2Lambda.type17
YoungDiagram.Mutations.MixPi2Lambda.type9
YoungDiagram.Mutations.MixPiLambda.type4
YoungDiagram.Mutations.MixPiLambda.type5
YoungDiagram.Mutations.MixPiLambda.type6
YoungDiagram.Mutations.MixPiLambda.type7
YoungDiagram.Mutations.MixPiLambda.type8
YoungDiagram.Mutations.Pi.type1
YoungDiagram.Mutations.Pi.type2
YoungDiagram.Mutations.Pi.type3
YoungDiagram.Theorem6.Mix2LambdaPi.Case1
YoungDiagram.Theorem6.Mix2LambdaPi.Case34
YoungDiagram.Theorem6.Mix2LambdaPi.Case34Gaps
YoungDiagram.Theorem6.Mix2LambdaPi.Case34Helpers
YoungDiagram.Theorem6.Mix2LambdaPi.Case34NegPartner
YoungDiagram.Theorem6.Mix2LambdaPi.Case34NoPair
YoungDiagram.Theorem6.Mix2LambdaPi.Case34NoPairRankGeThree
YoungDiagram.Theorem6.Mix2LambdaPi.Case34NoPairRankOne
YoungDiagram.Theorem6.Mix2LambdaPi.Case34NoPairRankOneDouble
YoungDiagram.Theorem6.Mix2LambdaPi.Case34NoPairRankOneDoubleSameGene
YoungDiagram.Theorem6.Mix2LambdaPi.Case34NoPairRankOneDoubleSameSign
YoungDiagram.Theorem6.Mix2LambdaPi.Case34PairBranch
YoungDiagram.Theorem6.Mix2LambdaPi.Case34PairFinallyBoundary
YoungDiagram.Theorem6.Mix2LambdaPi.Case34PairFinallyOne
YoungDiagram.Theorem6.Mix2LambdaPi.Case34PairFinallyQuad
YoungDiagram.Theorem6.Mix2LambdaPi.Case34PairFinallyTriple
YoungDiagram.Theorem6.Mix2LambdaPi.Case34PairRankOne
YoungDiagram.Theorem6.Mix2LambdaPi.Case34RemainderDouble
YoungDiagram.Theorem6.Mix2LambdaPi.Case34Remaining
YoungDiagram.Theorem6.Mix2LambdaPi.Case34SecondDouble
YoungDiagram.Theorem6.Mix2LambdaPi.Case34Seed
YoungDiagram.Theorem6.Mix2LambdaPi.Prelim
YoungDiagram.Theorem6.Mix2LambdaPi.Type10
YoungDiagram.Theorem6.Mix2LambdaPi.Type11
YoungDiagram.Theorem6.Mix2LambdaPi.Type12
YoungDiagram.Theorem6.Mix2LambdaPi.Type13
YoungDiagram.Theorem6.Mix2LambdaPi.Type14
YoungDiagram.Theorem6.Mix2LambdaPi.Type15
YoungDiagram.Theorem6.Mix2LambdaPi.Type16
YoungDiagram.Theorem6.Mix2LambdaPi.Type17
YoungDiagram.Theorem6.Mix2LambdaPi.Type9
YoungDiagram.Theorem6.Mix2LambdaPi.Window
YoungDiagram.Theorem6.MixLambdaPi.Case1
YoungDiagram.Theorem6.MixLambdaPi.Case3
YoungDiagram.Theorem6.MixLambdaPi.CaseA
YoungDiagram.Theorem6.MixLambdaPi.CaseB
YoungDiagram.Theorem6.MixLambdaPi.CaseB3
YoungDiagram.Theorem6.MixLambdaPi.CaseBProp
YoungDiagram.Theorem6.MixLambdaPi.Drops
YoungDiagram.Theorem6.MixLambdaPi.Prelim
YoungDiagram.Theorem6.MixLambdaPi.Propagation
YoungDiagram.Theorem6.MixLambdaPi.SigmaWindow
YoungDiagram.Theorem6.MixPi2Lambda.Case1
YoungDiagram.Theorem6.MixPi2Lambda.Case34
YoungDiagram.Theorem6.MixPi2Lambda.Case34Gaps
YoungDiagram.Theorem6.MixPi2Lambda.Case34Helpers
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPair
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairBranches
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairDispatcher
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankGeFour
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankGeFourSolver
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwo
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoBranches
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoClosed
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoDouble
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoDoubleEmpty
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoDoubleFallback
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoDoubleRest
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoSingle
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoSingleBoundary
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoSingleComplete
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoSingleContinuation
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoSingleOpposite
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoSinglePreferred
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairRankTwoSingleRest
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairSolver
YoungDiagram.Theorem6.MixPi2Lambda.Case34NoPairSplit
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairBoundary
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairDouble
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairDoubleAlmost
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairDoubleClosed
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairDoubleSolver
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairDoubleWrong
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairDoubleZero
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairRankOne
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairSingleBoundary
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairSingleNonzero
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairSingleRemainder
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairSingleSolver
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairSingleSplit
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairSolver
YoungDiagram.Theorem6.MixPi2Lambda.Case34PairSplit
YoungDiagram.Theorem6.MixPi2Lambda.Case34Seed
YoungDiagram.Theorem6.MixPi2Lambda.Case34Type17Boundary
YoungDiagram.Theorem6.MixPi2Lambda.Prelim
YoungDiagram.Theorem6.MixPi2Lambda.Type10
YoungDiagram.Theorem6.MixPi2Lambda.Type11
YoungDiagram.Theorem6.MixPi2Lambda.Type12
YoungDiagram.Theorem6.MixPi2Lambda.Type13
YoungDiagram.Theorem6.MixPi2Lambda.Type14
YoungDiagram.Theorem6.MixPi2Lambda.Type15
YoungDiagram.Theorem6.MixPi2Lambda.Type16
YoungDiagram.Theorem6.MixPi2Lambda.Type17
YoungDiagram.Theorem6.MixPi2Lambda.Type9
YoungDiagram.Theorem6.MixPi2Lambda.Window
YoungDiagram.Theorem6.MixPiLambda.Case1
YoungDiagram.Theorem6.MixPiLambda.Case3
YoungDiagram.Theorem6.MixPiLambda.CaseA
YoungDiagram.Theorem6.MixPiLambda.CaseA2
YoungDiagram.Theorem6.MixPiLambda.CaseA2Prop
YoungDiagram.Theorem6.MixPiLambda.CaseAProp
YoungDiagram.Theorem6.MixPiLambda.CaseB
YoungDiagram.Theorem6.MixPiLambda.CaseB3
YoungDiagram.Theorem6.MixPiLambda.CaseB3Prop
YoungDiagram.Theorem6.MixPiLambda.CaseB4
YoungDiagram.Theorem6.MixPiLambda.CaseProp5
YoungDiagram.Theorem6.MixPiLambda.Drops
YoungDiagram.Theorem6.MixPiLambda.Prelim
YoungDiagram.Theorem6.MixPiLambda.Propagation
YoungDiagram.Theorem6.MixPiLambda.SigmaWindow
YoungDiagram.Theorem6.Pi.Case1
YoungDiagram.Theorem6.Pi.Case2
YoungDiagram.Theorem6.Pi.Case3
YoungDiagram.Theorem6.Pi.Case4A
YoungDiagram.Theorem6.Pi.Case4B
YoungDiagram.Theorem6.Pi.CaseA
YoungDiagram.Theorem6.Pi.Prelim
YoungDiagram.Theorem6.Pi.Case4B.Common
YoungDiagram.Theorem6.Pi.Case4B.EvenGapEvenRank
YoungDiagram.Theorem6.Pi.Case4B.EvenGapOddRank
YoungDiagram.Theorem6.Pi.Case4B.OddGapEvenRank
YoungDiagram.Theorem6.Pi.Case4B.OddGapOddRank
Imported by