Grace/Cumulus/Lattice.g17

Open in Workbench Download source

Imports

Bounds · Order · Lattice · LatticeLaws · Join · Bounded · BoundedOrder · Complete · CompleteLattice · Distributive · DistribLattice · Monotone · OrderHom · Tarski · FixedPoints · LinearLattice · Linear · Boolean · BooleanAlgebra · LatticeHom · Hom · Sublattice · Sublattices · Ideal · Ideals

Declarations

Source

1-- Order theory and lattices2-- 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.Lattice8import Bounds9import Order10import Lattice11import LatticeLaws12import Join13import Bounded14import BoundedOrder15import Complete16import CompleteLattice17import Distributive18import DistribLattice19import Monotone20import OrderHom21import Tarski22import FixedPoints23import LinearLattice24import Linear25import Boolean26import BooleanAlgebra27import LatticeHom28import Hom29import Sublattice30import Sublattices31import Ideal32import Ideals33