Documentation
Atlas
.
Buildings
.
Buildings
Search
return to top
source
Imports
Init
Atlas.Buildings.code.BuildingsStructuralAudit
Atlas.Buildings.code.IsometryAffine
Atlas.Buildings.code.IsometryExtensionLemma
Atlas.Buildings.code.AffineCoxeter.AffineCoxeterHypProof
Atlas.Buildings.code.AffineCoxeter.AffineCriterion
Atlas.Buildings.code.AffineCoxeter.AffineWeylBook
Atlas.Buildings.code.AffineCoxeter.CanonicalMetric
Atlas.Buildings.code.AffineCoxeter.CoxeterComplexIsometry
Atlas.Buildings.code.AffineCoxeter.CoxeterSimilitude
Atlas.Buildings.code.AffineCoxeter.Faces
Atlas.Buildings.code.AffineCoxeter.FiniteProperParabolicsInstance
Atlas.Buildings.code.AffineCoxeter.GeometricRealization
Atlas.Buildings.code.AffineCoxeter.LatticeFiniteness
Atlas.Buildings.code.AffineCoxeter.LocalFiniteness
Atlas.Buildings.code.AffineCoxeter.PerronFrobeniusCorollary
Atlas.Buildings.code.AffineCoxeter.PerronFrobeniusProof
Atlas.Buildings.code.AffineCoxeter.SemidirectProduct
Atlas.Buildings.code.AffineCoxeter.SphericalFiniteInstance
Atlas.Buildings.code.AffineCoxeter.TitsCone
Atlas.Buildings.code.AffineCoxeter.TitsConeConvexity
Atlas.Buildings.code.AffineCoxeter.TitsConeCorollary
Atlas.Buildings.code.AffineCoxeter.TitsConeFiniteParabolic
Atlas.Buildings.code.AffineCoxeter.TitsConeInterior
Atlas.Buildings.code.AffineCoxeter.TitsConeProperties
Atlas.Buildings.code.AffineCoxeter.TransitiveAlcovesHelper
Atlas.Buildings.code.BNPair.Basic
Atlas.Buildings.code.BNPair.BruhatPropertiesInstance
Atlas.Buildings.code.BNPair.BruhatPropertiesWiring
Atlas.Buildings.code.BNPair.BuildingAxiomsFromBNPairs
Atlas.Buildings.code.BNPair.BuildingsFromBNPairs
Atlas.Buildings.code.BNPair.CellCoverProof
Atlas.Buildings.code.BNPair.CellDisjointHelpers
Atlas.Buildings.code.BNPair.CellDisjointProof
Atlas.Buildings.code.BNPair.CellInvProof
Atlas.Buildings.code.BNPair.CellMulFiniteProof
Atlas.Buildings.code.BNPair.CellMulParabolicProof
Atlas.Buildings.code.BNPair.ConjugatorProof
Atlas.Buildings.code.BNPair.DoubleCosets
Atlas.Buildings.code.BNPair.FromBuilding
Atlas.Buildings.code.BNPair.FurtherBruhatTits
Atlas.Buildings.code.BNPair.Generalized
Atlas.Buildings.code.BNPair.NormalizerParabolicProof
Atlas.Buildings.code.BNPair.ParabolicDefs
Atlas.Buildings.code.BNPair.Parabolics
Atlas.Buildings.code.BNPair.ParabolicsUnconditional
Atlas.Buildings.code.BNPair.PropositionParabolics
Atlas.Buildings.code.BNPair.SphericalCase
Atlas.Buildings.code.BNPair.SubgroupOverBProof
Atlas.Buildings.code.BNPair.TKernel
Atlas.Buildings.code.Building.Affine
Atlas.Buildings.code.Building.AffineCurvature
Atlas.Buildings.code.Building.AffineIsometry
Atlas.Buildings.code.Building.AffineIsometryAxiomsAction
Atlas.Buildings.code.Building.AffineIsometryGroups
Atlas.Buildings.code.Building.AffineMetric
Atlas.Buildings.code.Building.AffineMetricGR
Atlas.Buildings.code.Building.AffineSLV
Atlas.Buildings.code.Building.AffineSLVStrong
Atlas.Buildings.code.Building.AffineSLVWellDef
Atlas.Buildings.code.Building.ApartmentsCoxeter
Atlas.Buildings.code.Building.ApplicationsToGroups
Atlas.Buildings.code.Building.AptCommonChamber
Atlas.Buildings.code.Building.AptFoldingFromRetraction
Atlas.Buildings.code.Building.AptIsCoxeterProof
Atlas.Buildings.code.Building.AptIsCoxeterUnconditional
Atlas.Buildings.code.Building.AptIsoFixesIntersection
Atlas.Buildings.code.Building.AptSufficientFoldings
Atlas.Buildings.code.Building.AptThinness
Atlas.Buildings.code.Building.Basic
Atlas.Buildings.code.Building.BornologyGroups
Atlas.Buildings.code.Building.BornologyProposition
Atlas.Buildings.code.Building.BruhatTitsFixedPoint
Atlas.Buildings.code.Building.ChamberCompactClosure
Atlas.Buildings.code.Building.CombinatorialGeometry
Atlas.Buildings.code.Building.CompactOpenPointwiseFixer
Atlas.Buildings.code.Building.CompactSubgroups
Atlas.Buildings.code.Building.Convexity
Atlas.Buildings.code.Building.CoxeterComplexFoldings
Atlas.Buildings.code.Building.DiagBlockEmbed
Atlas.Buildings.code.Building.DiscreteFibers
Atlas.Buildings.code.Building.FixedPointSubgroups
Atlas.Buildings.code.Building.GalleryProjectionHelper
Atlas.Buildings.code.Building.GoodMaximalBounded
Atlas.Buildings.code.Building.GroupApplicationsCh17
Atlas.Buildings.code.Building.Infinity
Atlas.Buildings.code.Building.InfinityConstruction
Atlas.Buildings.code.Building.InfinityMaps
Atlas.Buildings.code.Building.InfinityTheorem
Atlas.Buildings.code.Building.IwahoriDecompCheck
Atlas.Buildings.code.Building.IwahoriGLn
Atlas.Buildings.code.Building.IwahoriGLnBaseCase
Atlas.Buildings.code.Building.IwahoriGLnClearing
Atlas.Buildings.code.Building.IwahoriGLnDefs
Atlas.Buildings.code.Building.IwahoriGLnExistence
Atlas.Buildings.code.Building.IwahoriGLnHelpers
Atlas.Buildings.code.Building.IwahoriGLnUniqueness
Atlas.Buildings.code.Building.LabelPreservingIso
Atlas.Buildings.code.Building.Labels
Atlas.Buildings.code.Building.Link
Atlas.Buildings.code.Building.LinkAdjacencyLifting
Atlas.Buildings.code.Building.LinkBuilding
Atlas.Buildings.code.Building.LinkBuildingIsoHelper
Atlas.Buildings.code.Building.LinkCoxeterHelper
Atlas.Buildings.code.Building.MaximalApartments
Atlas.Buildings.code.Building.MaximalAptSystemVerification
Atlas.Buildings.code.Building.OppositeChambers
Atlas.Buildings.code.Building.PropositionRetractionProperties
Atlas.Buildings.code.Building.Retraction
Atlas.Buildings.code.Building.RetractionDef
Atlas.Buildings.code.Building.RetractionOntoApartment
Atlas.Buildings.code.Building.RetractionProperties
Atlas.Buildings.code.Building.Spherical
Atlas.Buildings.code.Building.SphericalFiniteDiameter
Atlas.Buildings.code.Building.StrongIsoExtHelper
Atlas.Buildings.code.Building.StrongIsometryExt
Atlas.Buildings.code.Building.StrongIsometryExtMain
Atlas.Buildings.code.Building.SubsetsOfApartments
Atlas.Buildings.code.Building.ThicknessAptStructureProof
Atlas.Buildings.code.Building.ThicknessFoldings
Atlas.Buildings.code.Building.ThicknessHypAssembly
Atlas.Buildings.code.Building.TitsExchangeFromFoldings
Atlas.Buildings.code.Building.TitsTheoremAssembly
Atlas.Buildings.code.Building.TitsTheoremProof
Atlas.Buildings.code.Building.UniqueLabellingHelper
Atlas.Buildings.code.Building.UniqueRetraction
Atlas.Buildings.code.Building.VertexActionHelper
Atlas.Buildings.code.Building.WallReflectionAction
Atlas.Buildings.code.ChamberComplex.Basic
Atlas.Buildings.code.ChamberComplex.CoxeterComplex
Atlas.Buildings.code.ChamberComplex.Folding
Atlas.Buildings.code.ChamberComplex.FoldingCorollaries
Atlas.Buildings.code.ChamberComplex.GalleryConcatenation
Atlas.Buildings.code.ChamberComplex.GalleryTypes
Atlas.Buildings.code.ChamberComplex.Uniqueness
Atlas.Buildings.code.ChamberComplex.UniquenessBook
Atlas.Buildings.code.CoxeterGroup.Basic
Atlas.Buildings.code.CoxeterGroup.BraidRelation
Atlas.Buildings.code.CoxeterGroup.BraidRelationProof
Atlas.Buildings.code.CoxeterGroup.BruhatChainUnconditional
Atlas.Buildings.code.CoxeterGroup.BruhatOrder
Atlas.Buildings.code.CoxeterGroup.BruhatOrderUnconditional
Atlas.Buildings.code.CoxeterGroup.BruhatSubexpression
Atlas.Buildings.code.CoxeterGroup.CoxeterHomomorphism
Atlas.Buildings.code.CoxeterGroup.CoxeterSystemFromDeletion
Atlas.Buildings.code.CoxeterGroup.CyclicRotation
Atlas.Buildings.code.CoxeterGroup.DeletionCondition
Atlas.Buildings.code.CoxeterGroup.DeletionInjectivity
Atlas.Buildings.code.CoxeterGroup.DeletionInjectivityHelpers
Atlas.Buildings.code.CoxeterGroup.DeletionWordRelation
Atlas.Buildings.code.CoxeterGroup.DescentInversionBridge
Atlas.Buildings.code.CoxeterGroup.DihedralLengthBound
Atlas.Buildings.code.CoxeterGroup.DihedralPositivity
Atlas.Buildings.code.CoxeterGroup.DihedralPositivityFinite
Atlas.Buildings.code.CoxeterGroup.DihedralWordPositivity
Atlas.Buildings.code.CoxeterGroup.ExchangeConditionGenuine
Atlas.Buildings.code.CoxeterGroup.ExchangeConditionProof
Atlas.Buildings.code.CoxeterGroup.ExchangeConditionWiring
Atlas.Buildings.code.CoxeterGroup.ExchangeDeletion
Atlas.Buildings.code.CoxeterGroup.ExchangeUniqueness
Atlas.Buildings.code.CoxeterGroup.GeometricRepresentation
Atlas.Buildings.code.CoxeterGroup.InversionMultiplication
Atlas.Buildings.code.CoxeterGroup.InversionSet
Atlas.Buildings.code.CoxeterGroup.LengthDecreaseNeg
Atlas.Buildings.code.CoxeterGroup.LengthInduction
Atlas.Buildings.code.CoxeterGroup.ListAlternating
Atlas.Buildings.code.CoxeterGroup.LuckyCaseInductiveStep
Atlas.Buildings.code.CoxeterGroup.OrderAxiom
Atlas.Buildings.code.CoxeterGroup.ParabolicDecomp
Atlas.Buildings.code.CoxeterGroup.ParabolicInjective
Atlas.Buildings.code.CoxeterGroup.ParabolicPositivity
Atlas.Buildings.code.CoxeterGroup.ParabolicSubgroups
Atlas.Buildings.code.CoxeterGroup.ParitySign
Atlas.Buildings.code.CoxeterGroup.PosOfAscentProof
Atlas.Buildings.code.CoxeterGroup.ReflectionIdentificationGenuine
Atlas.Buildings.code.CoxeterGroup.ReflectionInvolution
Atlas.Buildings.code.CoxeterGroup.ReflectionLengthDecrease
Atlas.Buildings.code.CoxeterGroup.Reflections
Atlas.Buildings.code.CoxeterGroup.RootConjugacy
Atlas.Buildings.code.CoxeterGroup.RootReflectionLemmas
Atlas.Buildings.code.CoxeterGroup.RootSignChangeProof
Atlas.Buildings.code.CoxeterGroup.RootSystem
Atlas.Buildings.code.CoxeterGroup.Roots
Atlas.Buildings.code.CoxeterGroup.SevenFamilies
Atlas.Buildings.code.CoxeterGroup.SigmaOrder
Atlas.Buildings.code.CoxeterGroup.SignChangeExchangeFinal
Atlas.Buildings.code.CoxeterGroup.SignChangeExchangeProof
Atlas.Buildings.code.CoxeterGroup.SignChangeGeneratorIdentity
Atlas.Buildings.code.CoxeterGroup.SignedPermGroup
Atlas.Buildings.code.CoxeterGroup.SimpleReflectionInversions
Atlas.Buildings.code.CoxeterGroup.StrongExchangeBridge
Atlas.Buildings.code.CoxeterGroup.StrongExchangeProof
Atlas.Buildings.code.CoxeterGroup.StrongExchangeUnconditional
Atlas.Buildings.code.CoxeterGroup.SupportWellDefined
Atlas.Buildings.code.CoxeterGroup.TypeABridge
Atlas.Buildings.code.CoxeterGroup.TypeACoxeterSystem
Atlas.Buildings.code.CoxeterGroup.TypeAInjectivityHelper
Atlas.Buildings.code.CoxeterGroup.TypeAIsomorphism
Atlas.Buildings.code.CoxeterGroup.TypeCInjectivityHelper
Atlas.Buildings.code.CoxeterGroup.UnconditionalExchange
Atlas.Buildings.code.CoxeterGroup.UnluckyCase
Atlas.Buildings.code.CoxeterGroup.WordSigmaInvariance
Atlas.Buildings.code.CoxeterGroup.Words
Atlas.Buildings.code.GeometricAlgebra.AnisotropicDecomposition
Atlas.Buildings.code.GeometricAlgebra.AnisotropicHyperbolicTrivial
Atlas.Buildings.code.GeometricAlgebra.AnisotropicReflectionStep
Atlas.Buildings.code.GeometricAlgebra.BilinFormComplementation
Atlas.Buildings.code.GeometricAlgebra.BilinHermitianProps
Atlas.Buildings.code.GeometricAlgebra.BilinearForms
Atlas.Buildings.code.GeometricAlgebra.CoordinateExamples
Atlas.Buildings.code.GeometricAlgebra.CorBilinearHermitianForms
Atlas.Buildings.code.GeometricAlgebra.ExtendingIsometries
Atlas.Buildings.code.GeometricAlgebra.FinrankOrthogonal
Atlas.Buildings.code.GeometricAlgebra.FlagEquivalenceInstance
Atlas.Buildings.code.GeometricAlgebra.FlagsParabolics
Atlas.Buildings.code.GeometricAlgebra.HyperbolicCancellation
Atlas.Buildings.code.GeometricAlgebra.IsometryDet
Atlas.Buildings.code.GeometricAlgebra.IsotropicExtensionStep
Atlas.Buildings.code.GeometricAlgebra.IsotropicFlagsParabolics
Atlas.Buildings.code.GeometricAlgebra.KernelDecompInductionHelper
Atlas.Buildings.code.GeometricAlgebra.KernelDecomposition
Atlas.Buildings.code.GeometricAlgebra.LagrangianDimBound
Atlas.Buildings.code.GeometricAlgebra.LagrangianFinrank
Atlas.Buildings.code.GeometricAlgebra.LagrangianHardProof
Atlas.Buildings.code.GeometricAlgebra.MaximalIsotropicHelper
Atlas.Buildings.code.GeometricAlgebra.NondegenerateThreeWay
Atlas.Buildings.code.GeometricAlgebra.OppositeConjugacyComposition
Atlas.Buildings.code.GeometricAlgebra.OppositeConjugacyInstance
Atlas.Buildings.code.GeometricAlgebra.OppositeConjugacyProof
Atlas.Buildings.code.GeometricAlgebra.SemidirectExistence
Atlas.Buildings.code.GeometricAlgebra.SemidirectExistenceInstance
Atlas.Buildings.code.GeometricAlgebra.WittAssembly
Atlas.Buildings.code.GeometricAlgebra.WittCancellationDirectSum
Atlas.Buildings.code.GeometricAlgebra.WittCancellationIndependent
Atlas.Buildings.code.GeometricAlgebra.WittExtensionProof
Atlas.Buildings.code.GeometricAlgebra.WittTheorem
Atlas.Buildings.code.HeckeAlgebra.Generalized
Atlas.Buildings.code.HeckeAlgebra.Generic
Atlas.Buildings.code.HeckeAlgebra.GenericAlgebraUniqueness
Atlas.Buildings.code.HeckeAlgebra.HeckeStructureTheorem
Atlas.Buildings.code.HeckeAlgebra.OperatorCommutativity
Atlas.Buildings.code.HeckeAlgebra.Section6_1_Theorem
Atlas.Buildings.code.Reflection.AffineReflectionProposition
Atlas.Buildings.code.Reflection.AffineWeylGroupConstruction
Atlas.Buildings.code.Reflection.AffineWeylGroups
Atlas.Buildings.code.Reflection.AffineWeylProposition12_5
Atlas.Buildings.code.Reflection.AffineWeylSemidirectMulEquiv
Atlas.Buildings.code.Reflection.AlcoveWallHyperplanes
Atlas.Buildings.code.Reflection.DihedralRootHelpers
Atlas.Buildings.code.Reflection.FiniteReflectionGroups
Atlas.Buildings.code.Reflection.GenericFunctional
Atlas.Buildings.code.Reflection.HyperplaneChambers
Atlas.Buildings.code.Reflection.InnerProductWalls
Atlas.Buildings.code.Reflection.NonParallelWallsProof
Atlas.Buildings.code.Reflection.ReflectionGroupsCoxeter
Atlas.Buildings.code.Reflection.UniqueAdjacentChamber
Atlas.Buildings.code.Reflection.WallSeparation
Atlas.Buildings.code.Reflection.WallSeparationCorollary
Atlas.Buildings.code.SphericalBuilding.AdaptedBasisProof
Atlas.Buildings.code.SphericalBuilding.AdaptedBasisSingle
Atlas.Buildings.code.SphericalBuilding.BasisExtensionChain
Atlas.Buildings.code.SphericalBuilding.BasisFromFlagProof
Atlas.Buildings.code.SphericalBuilding.FinsetGapCorrespondenceProof
Atlas.Buildings.code.SphericalBuilding.GLn
Atlas.Buildings.code.SphericalBuilding.GLnApartmentIsoUnconditional
Atlas.Buildings.code.SphericalBuilding.GLnB0Cascade
Atlas.Buildings.code.SphericalBuilding.GLnBaseFlag
Atlas.Buildings.code.SphericalBuilding.GLnBuildingInstance
Atlas.Buildings.code.SphericalBuilding.GLnChainRefinement
Atlas.Buildings.code.SphericalBuilding.GLnCommonApartment
Atlas.Buildings.code.SphericalBuilding.GLnCommonApartmentUnconditional
Atlas.Buildings.code.SphericalBuilding.GLnFlagToFrame
Atlas.Buildings.code.SphericalBuilding.GLnGapAnalysis
Atlas.Buildings.code.SphericalBuilding.GLnInstance
Atlas.Buildings.code.SphericalBuilding.GLnPanelExtension
Atlas.Buildings.code.SphericalBuilding.GLnSimultaneousRefinement
Atlas.Buildings.code.SphericalBuilding.GLnThinApartment
Atlas.Buildings.code.SphericalBuilding.GLnThinApartmentUnconditional
Atlas.Buildings.code.SphericalBuilding.IsometryApartmentExchange
Atlas.Buildings.code.SphericalBuilding.IsometryBuildingInstance
Atlas.Buildings.code.SphericalBuilding.IsometryBuildingWiring
Atlas.Buildings.code.SphericalBuilding.IsometryCommonApartment
Atlas.Buildings.code.SphericalBuilding.IsometryGroups
Atlas.Buildings.code.SphericalBuilding.JordanHolderFrame
Atlas.Buildings.code.SphericalBuilding.JordanHolderPermutation
Atlas.Buildings.code.SphericalBuilding.LagrangianExtension
Atlas.Buildings.code.SphericalBuilding.Oriflamme
Atlas.Buildings.code.SphericalBuilding.OriflammeBuilding
Atlas.Buildings.code.SphericalBuilding.RefinementCompatibility
Atlas.Buildings.code.SphericalBuilding.RefinementDimJumps
Atlas.Buildings.code.SphericalBuilding.RefinementFrame
Atlas.Buildings.code.SphericalBuilding.SOActionLemma
Atlas.Buildings.code.SphericalBuilding.SchreierRefinement
Atlas.Buildings.code.SphericalBuilding.TwoChamberHypFinal
Atlas.Buildings.code.Valuation.DVRInstances
Atlas.Buildings.code.Valuation.DiscreteValuationBook
Atlas.Buildings.code.Valuation.IwahoriDecomp
Atlas.Buildings.code.Valuation.LatticesValuations
Atlas.Buildings.code.Valuation.MaximalLattice
Atlas.Buildings.code.BNPair.Generalized.Defs
Atlas.Buildings.code.BNPair.Generalized.Theorems
Atlas.Buildings.code.BNPair.Generalized.TypePreserving
Atlas.Buildings.code.Building.AffineIsometry.Contexts
Atlas.Buildings.code.Building.AffineIsometry.LatticeChains
Atlas.Buildings.code.Building.AffineIsometry.Theorems
Atlas.Buildings.code.Building.AffineIsometryGroups.GroupAction
Atlas.Buildings.code.Building.AffineIsometryGroups.StrongTransitivity
Atlas.Buildings.code.Building.CombinatorialGeometry.GateConvex
Atlas.Buildings.code.Building.CombinatorialGeometry.PrescribedGallery
Atlas.Buildings.code.Building.CombinatorialGeometry.PropStrongIsoCombinatorial
Atlas.Buildings.code.Building.CombinatorialGeometry.RetractionHalfApartments
Atlas.Buildings.code.Building.CombinatorialGeometry.StrongIsoAuxiliary
Atlas.Buildings.code.Building.CombinatorialGeometry.ThreeChamber
Atlas.Buildings.code.Building.Infinity.AffineFunc
Atlas.Buildings.code.Building.Infinity.ChamberSectorConfig
Atlas.Buildings.code.Building.Infinity.CorSectorParallelism
Atlas.Buildings.code.Building.Infinity.SectorGallery
Atlas.Buildings.code.Building.Infinity.SectorParallelism
Atlas.Buildings.code.Building.Infinity.Sectors
Atlas.Buildings.code.Building.Infinity.SimplexAtInfinity
Atlas.Buildings.code.ChamberComplex.GalleryTypes.CoxeterFolding
Atlas.Buildings.code.ChamberComplex.GalleryTypes.CoxeterFoldingHelpers
Atlas.Buildings.code.ChamberComplex.GalleryTypes.CoxeterProperties
Atlas.Buildings.code.ChamberComplex.GalleryTypes.IsCoxeterCharacterized
Atlas.Buildings.code.ChamberComplex.GalleryTypes.ThinFolding
Atlas.Buildings.code.ChamberComplex.GalleryTypes.TitsForwardHelpers
Atlas.Buildings.code.ChamberComplex.GalleryTypes.WallCrossing
Atlas.Buildings.code.CoxeterGroup.BraidRelationProof.Assembly
Atlas.Buildings.code.CoxeterGroup.BraidRelationProof.DihedralHelpers
Atlas.Buildings.code.Reflection.FiniteReflectionGroups.Defs
Atlas.Buildings.code.Reflection.FiniteReflectionGroups.Theorems
Imported by