Grace/Cumulus/FixedPoint.g17

Open in Workbench Download source

Imports

KnasterTarski · Interval · KuhnSimplex · KuhnNeighbour · KuhnFaces · KuhnRotation · KuhnTopFace · KuhnFamily · KuhnThrough · KuhnLabel · KuhnDoors · KuhnParity · KuhnWallFace · KuhnExtend · KuhnWallSimplex · KuhnLift · KuhnWallCount · KuhnInduction · CubeSequences · CubeContinuity · BrouwerGrid · BrouwerCube · CubeFunctions · CubeMask · CubeAssembly · BlockSums · WeightedSums · BlockSimplex · SimplexRetraction · BrouwerSimplex

Declarations

Source

1-- Fixed point theorems: Knaster–Tarski, the closed interval, Kuhn's lemma, and Brouwer for the cube and for products of simplices2-- Part of Cumulus, the Grace17 mathematics library.3-- Copyright (c) 2026 Grant Passmore.4-- Released under the Apache License 2.0. See LICENSE in the repository root.5-- Authors: Grant Passmore67module Grace.Cumulus.FixedPoint8import KnasterTarski9import Interval10import KuhnSimplex11import KuhnNeighbour12import KuhnFaces13import KuhnRotation14import KuhnTopFace15import KuhnFamily16import KuhnThrough17import KuhnLabel18import KuhnDoors19import KuhnParity20import KuhnWallFace21import KuhnExtend22import KuhnWallSimplex23import KuhnLift24import KuhnWallCount25import KuhnInduction26import CubeSequences27import CubeContinuity28import BrouwerGrid29import BrouwerCube30import CubeFunctions31import CubeMask32import CubeAssembly33import BlockSums34import WeightedSums35import BlockSimplex36import SimplexRetraction37import BrouwerSimplex38